المؤلفون: Lachnitt, Hanna^Aff9, Fleury, Mathias^Aff12, Aniva, Leni^Aff9, Reynolds, Andrew^Aff10, Barbosa, Haniel^Aff11, Nötzli, Andres^Aff13, Barrett, Clark^Aff9, Tinelli, Cesare^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Finkbeiner, Bernd, editor^Aff7, Kovács, Laura, editor^Aff8

المصدر: 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

المؤلفون: Mosier, Nicholas, Lachnitt, Hanna, Nemati, Hamed, Trippel, Caroline

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture

URL الوصول: http://arxiv.org/abs/2112.10511

المؤلفون: Andreotti, Bruno^Aff9, Lachnitt, Hanna^Aff10, Barbosa, Haniel^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Sankaranarayanan, Sriram, editor^Aff7, Sharygina, Natasha, editor^Aff8

المصدر: 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

المؤلفون: Kovacs, Laura, Lachnitt, Hanna, Szeider, Stefan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2103.03607

المؤلفون: 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

المؤلفون: Barbosa, Haniel^Aff10, Reynolds, Andrew^Aff11, Kremer, Gereon^Aff12, Lachnitt, Hanna^Aff12, Niemetz, Aina^Aff12, Nötzli, Andres^Aff12, Ozdemir, Alex^Aff12, Preiner, Mathias^Aff12, Viswanathan, Arjun^Aff11, Viteri, Scott^Aff12, Zohar, Yoni^Aff13, Tinelli, Cesare^Aff11, Barrett, Clark^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Blanchette, Jasmin, editor^Aff7, Kovács, Laura, editor^Aff8, Pattinson, Dirk, editor^Aff9

المصدر: Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 13385:15-35

المؤلفون: Barbosa, Haniel^Aff12, Barrett, Clark^Aff10, Brain, Martin^Aff13, Kremer, Gereon^Aff10, Lachnitt, Hanna^Aff10, Mann, Makai^Aff10, Mohamed, Abdalrhman^Aff11, Mohamed, Mudathir^Aff11, Niemetz, Aina^Aff10, Nötzli, Andres^Aff10, Ozdemir, Alex^Aff10, Preiner, Mathias^Aff10, Reynolds, Andrew^Aff11, Sheng, Ying^Aff10, Tinelli, Cesare^Aff11, Zohar, Yoni^{Aff10, Aff14}

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Fisman, Dana, editor^Aff8, Rosu, Grigore, editor^Aff9

المصدر: 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

المؤلفون: 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

المؤلفون: Kovács, Laura^Aff10, Lachnitt, Hanna^Aff10, Szeider, Stefan^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Benzmüller, Christoph, editor^Aff8, Miller, Bruce, editor^Aff9

المصدر: Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings. 12236:190-205

المؤلفون: Bordg, Anthony^Aff1, Lachnitt, Hanna, He, Yijun

المصدر: Journal of Automated Reasoning. 65(5):691-709