default search action

combined dblp search
author search
venue search
publication search

ask others

Hanna Lachnitt

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LachnittFARBNBT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LachnittFARBNBT24
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. TACAS (1) 2024: 311-330
2023
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BarbosaBCDKLNNOPRTZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BarbosaBCDKLNNOPRTZ23
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar:
Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 66(10): 86-95 (2023)
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/LachnittFA0BNBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/LachnittFA0BNBT23
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
Automatic Verification of SMT Rewrites in Isabelle/HOL. SMT 2023: 78
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AndreottiLB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AndreottiLB23
Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa:
Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format. TACAS (1) 2023: 367-386
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/LachnittFARBNBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LachnittFARBNBT23
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli:
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. Zenodo, 2023
2022
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/BarbosaRKLNNOPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BarbosaRKLNNOPV22
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett:
Flexible Proof Production in an Industrial-Strength SMT Solver. IJCAR 2022: 15-35
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isca/MosierLNT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isca/MosierLNT22
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel:
Axiomatic hardware-software contracts for security. ISCA 2022: 72-86
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BarbosaBBKLMMMN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BarbosaBBKLMMMN22
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, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar:
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) 2022: 415-442
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BordgLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BordgLH21
Anthony Bordg, Hanna Lachnitt, Yijun He:
Certified Quantum Computation in Isabelle/HOL. J. Autom. Reason. 65(5): 691-709 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-03607
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-03607
Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CoRR abs/2103.03607 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-10511
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-10511
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel:
Relational Models of Microarchitectures for Formal Security Analyses. CoRR abs/2112.10511 (2021)
2020
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/BordgLH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/BordgLH20
Anthony Bordg, Hanna Lachnitt, Yijun He:
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information. Arch. Formal Proofs 2020 (2020)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KovacsLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KovacsLS20
Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CICM 2020: 190-205
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-13925
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-13925
Anthony Bordg, Hanna Lachnitt, Yijun He:
Certified Quantum Computation in Isabelle/HOL. CoRR abs/2012.13925 (2020)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.