-
1كتاب إلكتروني
المؤلفون: Lachnitt, HannaAff9, Fleury, MathiasAff12, Aniva, LeniAff9, Reynolds, AndrewAff10, Barbosa, HanielAff11, Nötzli, AndresAff13, Barrett, ClarkAff9, Tinelli, CesareAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Finkbeiner, Bernd, editorAff7, Kovács, Laura, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:311-330
-
2تقرير
-
3كتاب إلكتروني
المؤلفون: Andreotti, BrunoAff9, Lachnitt, HannaAff10, Barbosa, HanielAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:367-386
-
4تقرير
المؤلفون: Kovacs, Laura, Lachnitt, Hanna, Szeider, Stefan
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2103.03607
-
5تقرير
المؤلفون: Bordg, Anthony, Lachnitt, Hanna, He, Yijun
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Quantum Physics, 03B35, 03B15, 81P68, 68Q12
URL الوصول: http://arxiv.org/abs/2012.13925
-
6كتاب إلكتروني
المؤلفون: Barbosa, HanielAff10, Reynolds, AndrewAff11, Kremer, GereonAff12, Lachnitt, HannaAff12, Niemetz, AinaAff12, Nötzli, AndresAff12, Ozdemir, AlexAff12, Preiner, MathiasAff12, Viswanathan, ArjunAff11, Viteri, ScottAff12, Zohar, YoniAff13, Tinelli, CesareAff11, Barrett, ClarkAff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Blanchette, Jasmin, editorAff7, Kovács, Laura, editorAff8, Pattinson, Dirk, editorAff9
المصدر: Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 13385:15-35
-
7كتاب إلكتروني
المؤلفون: Barbosa, HanielAff12, Barrett, ClarkAff10, Brain, MartinAff13, Kremer, GereonAff10, Lachnitt, HannaAff10, Mann, MakaiAff10, Mohamed, AbdalrhmanAff11, Mohamed, MudathirAff11, Niemetz, AinaAff10, Nötzli, AndresAff10, Ozdemir, AlexAff10, Preiner, MathiasAff10, Reynolds, AndrewAff11, Sheng, YingAff10, Tinelli, CesareAff11, Zohar, YoniAff10, Aff14
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Fisman, Dana, editorAff8, Rosu, Grigore, editorAff9
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. 13243:415-442
-
8دورية
المؤلفون: BARBOSA, HANIEL, BARRETT, CLARK, COOK, BYRON, DUTERTRE, BRUNO, KREMER, GEREON, LACHNITT, HANNA, NIEMETZ, AINA, NÖTZLI, ANDRES, OZDEMIR, ALEX, PREINER, MATHIAS, REYNOLDS, ANDREW, TINELLI, CESARE, ZOHAR, YONI
المصدر: Communications of the ACM; Oct2023, Vol. 66 Issue 10, p86-95, 10p, 1 Color Photograph, 1 Black and White Photograph, 2 Diagrams
مصطلحات موضوعية: REASONING, AUTOMATION, DEBUGGING, COMPUTER security vulnerabilities, SATISFIABILITY (Computer science), TRUST
-
9كتاب إلكتروني
المؤلفون: Kovács, LauraAff10, Lachnitt, HannaAff10, Szeider, StefanAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Benzmüller, Christoph, editorAff8, Miller, Bruce, editorAff9
المصدر: Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings. 12236:190-205
-
10دورية أكاديمية
المؤلفون: Bordg, AnthonyAff1, Lachnitt, Hanna, He, Yijun
المصدر: Journal of Automated Reasoning. 65(5):691-709