|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag  | 24-Jul-2026 |
| 2 | | Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura | Generalizing CDCL with Graph Backtracking | Inproceedings Konferenzbeitrag | 2026 |
| 3 | | Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Fuzzing Processing Pipelines for Zero-Knowledge Circuits | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 4 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 5 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 6 | | Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael | Divide and Conquer: A Compositional Approach to Game-Theoretic Security | Article Artikel | Oct-2025 |
| 7 | | Hajdu, Marton ; Kovács, Laura ; Voronkov, Andrei | Partial Redundancy in Saturation | Inproceedings Konferenzbeitrag | 24-Sep-2025 |
| 8 | | Bártek, Filip ; Bhayat, Ahmed ; Coutelier, Robin ; Hajdu, Márton ; Hetzenberger, Matthias ; Hozzová, Petra ; Kovács, Laura ; Rath, Jakob ; Rawson, Michael ; Reger, Giles ; Suda, Martin ; Schoisswohl, Johannes ; Voronkov, Andrei | The Vampire Diary | Inproceedings Konferenzbeitrag | 24-Sep-2025 |
| 9 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 10 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 11 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel   | 11-Nov-2024 |
| 12 |  | Hochrainer, Christoph ; Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria | Fuzzing Processing Pipelines for Zero-Knowledge Circuits | Preprint Preprint | 4-Nov-2024 |
| 13 | | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 14 |  | Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie | Inductive Predicate Synthesis Modulo Programs (Extended) | Preprint Preprint | 11-Jul-2024 |
| 15 |  | Georgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura | Saturating Sorting without Sorts | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 16 |  | Hajdu, Marton ; Kovács, Laura ; Rawson, Michael | Rewriting and Inductive Reasoning | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 17 |  | Schoisswohl, Johannes ; Kovács, Laura ; Korovin, Konstantin | VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 18 |  | Eisenhofer, Clemens ; Kovács, Laura ; Rawson, Michael | Embedding the Connection Calculus in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | Jan-2024 |
| 19 | | Jeanteur, Simon ; Kovács, Laura ; Maffei, Matteo ; Rawson, Michael | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model | Inproceedings Konferenzbeitrag | 2024 |
| 20 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Solitro, Magdalena Maria ; Maffei, Matteo | Wappler: Sound Reachability Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 2024 |
