Get started
Author

Hanna Lachnitt

Observed names: Hanna, Lachnitt, Lachnitt, Hanna, Lachnitt, Hanna Elif
Institution: Stanford University
ORCID: 0000-0003-3355-7828
Observed ORCID: 0000-0003-3355-7828
OpenAlex ID: A5008733385
cvc5: A Versatile and Industrial-Strength SMT Solver
2022 · Haniel Barbosa, Clark Barrett, et al. · Lecture notes in computer science · 470
PDF
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
2025 · Lachnitt, Hanna, Fleury, Mathias, et al. · Leibniz international proceedings in informatics · 44
Axiomatic hardware-software contracts for security
2022 · Nicholas Mosier, Hanna Lachnitt, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 26
Flexible Proof Production in an Industrial-Strength SMT Solver
2022 · Haniel Barbosa, Andrew Reynolds, et al. · Lecture notes in computer science · 25
PDF
Certified Quantum Computation in Isabelle/HOL
2020 · Anthony Bordg, Hanna Lachnitt, et al. · Journal of Automated Reasoning · 24
PDF
Generating and Exploiting Automated Reasoning Proof Certificates
2023 · Haniel Barbosa, Clark Barrett, et al. · Communications of the ACM · 19
PDF
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format
2023 · Bruno Andreotti, Hanna Lachnitt, et al. · Lecture notes in computer science · 14
PDF
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
2024 · Hanna Lachnitt, Mathias Fleury, et al. · Lecture notes in computer science · 7
PDF
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
2025 · Lachnitt, Hanna, Fleury, Mathias, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information.
2020 · Anthony Bordg, Hanna Lachnitt, et al. · Arch. Formal Proofs · 3
The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026 · Andrew Reynolds, Hans-Jörg Schurr, et al. · Lecture notes in computer science · 1
PDF
Formalizing Graph Trail Properties in Isabelle/HOL
2020 · Laura Kovács, Hanna Lachnitt, et al. · Lecture notes in computer science · 1
Alethe Toolkit Artifact
2026 · Andreotti, Bruno, Barbosa, Haniel, et al. · Zenodo (CERN European Organization for Nuclear Research)
cvc5 for SMT-COMP 2026
2026 · Barbosa, Haniel, Barrett, Clark, et al. · Zenodo (CERN European Organization for Nuclear Research)
Artifact #71 CAV26 - The Cooperating Proof Calculus: Comprehensive Proofs for an SMT Solver
2026 · Reynolds, Andrew, Schurr, Hans-Jörg, et al. · Zenodo (CERN European Organization for Nuclear Research)
Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar
2026 · Binder, Sage, Lachnitt, Hanna, et al. · arXiv (Cornell University)
PDF
Apply2Isar
2026 · Sage Binder, Hanna Lachnitt, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar
2026 · Binder, Sage, Lachnitt, Hanna, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Relational Models of Microarchitectures for Formal Security Analyses
2021 · Mosier, Nicholas, Lachnitt, Hanna, et al. · arXiv (Cornell University)
PDF
Formalizing graph trail properties
2020 · Lachnitt, Hanna Elif · reposiTUm (TU Wien)
PDF
Works count: 32
Citation count: 644
H-index: 7
I10-index: 7
Year
Topic
Type