| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 532 | 2022 |
| Axiomatic hardware-software contracts for security N Mosier, H Lachnitt, H Nemati, C Trippel Proceedings of the 49th Annual International Symposium on Computer …, 2022 | 47 | 2022 |
| Flexible proof production in an industrial-strength SMT solver H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ... International Joint Conference on Automated Reasoning, 15-35, 2022 | 29 | 2022 |
| Certified quantum computation in Isabelle/HOL A Bordg, H Lachnitt, Y He Journal of Automated Reasoning 65 (5), 691-709, 2021 | 24 | 2021 |
| Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format B Andreotti, H Lachnitt, H Barbosa International Conference on Tools and Algorithms for the Construction and …, 2023 | 12 | 2023 |
| Generating and exploiting automated reasoning proof certificates H Barbosa, C Barrett, B Cook, B Dutertre, G Kremer, H Lachnitt, A Niemetz, ... Communications of the ACM 66 (10), 86-95, 2023 | 8 | 2023 |
| Isabelle marries dirac: A library for quantum computation and quantum information A Bordg, H Lachnitt, Y He Archive of Formal Proofs, 2020 | 7 | 2020 |
| CVC5 at the SMT Competition 2022 H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, A Mohamed, ... | 5 | 2022 |
| Formalizing graph trail properties in Isabelle/HOL L Kovács, H Lachnitt, S Szeider Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 2 | 2020 |
| Automatic Verification of SMT Rewrites in Isabelle/HOL. H Lachnitt, M Fleury, L Aniva, A Reynolds, H Barbosa, A Nötzli, ... SMT, 78, 2023 | 1 | 2023 |
| Relational models of microarchitectures for formal security analyses N Mosier, H Lachnitt, H Nemati, C Trippel arXiv preprint arXiv:2112.10511, 2021 | 1 | 2021 |
| Systematic verification of the intuitionistic modal logic cube in isabelle/hol H Lachnitt Bachelor Thesis at the Freie Universität Berlin, Institut für Informatik, 2017 | 1 | 2017 |
| IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL H Lachnitt, M Fleury, L Aniva, A Reynolds, H Barbosa, A Nötzli, C Barrett, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
| Extending DRAT to SMT S Hitharth, C Codel, H Lachnitt, B Dutertre # PLACEHOLDER_PARENT_METADATA_VALUE#, 18-28, 2024 | | 2024 |
| Formalizing graph trail properties HE Lachnitt Wien, 2020 | | 2020 |
| Systematic Verification of the Intuitionistic Modal Logic Cube in Isabelle/HOL C Benzmüller, M Claus, H Lachnitt | | |
| CVC5 at the SMT Competition 2023 L Aniva, H Barbosa, C Barrett, M Brain, V Camillo, G Kremer, H Lachnitt, ... | | |
| Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? HE Lachnitt, M Claus, C Benzmüller | | |