Formalizing Graph Trail Properties in Isabelle/HOL. - Laura Kovács; Hanna Lachnitt; Stefan Szeider (CICM, 2020)

Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. - Anthony Bordg; Hanna Lachnitt; Yijun He (Arch. Formal Proofs, 2020)

Relational Models of Microarchitectures for Formal Security Analyses. - Nicholas Mosier; Hanna Lachnitt; Hamed Nemati; Caroline Trippel (CoRR, 2021)

Certified Quantum Computation in Isabelle/HOL. - Anthony Bordg; Hanna Lachnitt; Yijun He (J. Autom. Reason., 2021)

Flexible Proof Production in an Industrial-Strength SMT Solver. - Haniel Barbosa; Andrew Reynolds 001; Gereon Kremer; Hanna Lachnitt; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; Arjun Viswanathan 001; Scott Viteri; Yoni Zohar; Cesare Tinelli; et al. (IJCAR, 2022)

Axiomatic hardware-software contracts for security. - Nicholas Mosier; Hanna Lachnitt; Hamed Nemati; Caroline Trippel (ISCA, 2022)

cvc5: A Versatile and Industrial-Strength SMT Solver. - Haniel Barbosa; Clark W. Barrett; Martin Brain; Gereon Kremer; Hanna Lachnitt; Makai Mann; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; et al. (TACAS (1), 2022)

Automatic Verification of SMT Rewrites in Isabelle/HOL. - Hanna Lachnitt; Mathias Fleury; Leni Aniva; Andrew Reynolds 001; Haniel Barbosa; Andres Nötzli; Clark W. Barrett; Cesare Tinelli (SMT, 2023)

Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. - Bruno Andreotti; Hanna Lachnitt; Haniel Barbosa (TACAS (1), 2023)

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. - Hanna Lachnitt; Mathias Fleury; Leni Aniva; Andrew Reynolds 001; Haniel Barbosa; Andres Nötzli; Clark W. Barrett; Cesare Tinelli (Zenodo, 2023)

Generating and Exploiting Automated Reasoning Proof Certificates. - Haniel Barbosa; Clark W. Barrett; Byron Cook; Bruno Dutertre; Gereon Kremer; Hanna Lachnitt; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Cesare Tinelli; et al. (Commun. ACM, 2023)

Extending DRAT to SMT. - S. Hitarth; Cayden R. Codel; Hanna Lachnitt; Bruno Dutertre (FMCAD, 2024)

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. - Hanna Lachnitt; Mathias Fleury; Leni Aniva; Andrew Reynolds 001; Haniel Barbosa; Andres Nötzli; Clark W. Barrett; Cesare Tinelli (TACAS (1), 2024)

cvc5 for SMT-COMP 2024. - Leni Aniva; Haniel Barbosa; Clark W. Barrett; Hanna Lachnitt; Daniel Larraz; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Hans-Jörg Schurr; et al. (Zenodo, 2024)