| 2026 |
J |
jnl |
CoRR
Sage Binder, Hanna Lachnitt, Katherine Kosaian
|
| 2025 |
B |
conf |
ITP
Hanna Lachnitt, Mathias Fleury, Haniel Barbosa, Jibiana Jakpor, Bruno Andreotti, Andrew Reynolds, Hans-Jörg Schurr, Clark W. Barrett, Cesare Tinelli
|
| 2024 |
B |
conf |
FMCAD
S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre
|
| 2024 |
— |
conf |
TACAS (1)
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
|
| 2023 |
— |
conf |
SMT
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
|
| 2023 |
— |
conf |
TACAS (1)
Bruno Andreotti, Hanna Lachnitt, Haniel Barbosa
|
| 2023 |
J |
jnl |
Commun. ACM
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
|
| 2022 |
A* |
conf |
ISCA
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
|
| 2022 |
A |
conf |
IJCAR
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
|
| 2022 |
— |
conf |
TACAS (1)
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
|
| 2021 |
J |
jnl |
J. Autom. Reason.
Anthony Bordg, Hanna Lachnitt, Yijun He
|
| 2021 |
J |
jnl |
CoRR
Laura Kovács, Hanna Lachnitt, Stefan Szeider
|
| 2021 |
J |
jnl |
CoRR
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati, Caroline Trippel
|
| 2020 |
J |
jnl |
CoRR
Anthony Bordg, Hanna Lachnitt, Yijun He
|
| 2020 |
C |
conf |
CICM
Laura Kovács, Hanna Lachnitt, Stefan Szeider
|
| 2020 |
J |
jnl |
Arch. Formal Proofs
Anthony Bordg, Hanna Lachnitt, Yijun He
|