|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel  | 12-Mar-2026 |
| 2 | | El Manssour, Rida Ait ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton ; Worrell, James B | Determination Problems for Orbit Closures and Matrix Groups | Inproceedings Konferenzbeitrag | 8-Jan-2026 |
| 3 | | Rawson, Michael ; Eisenhofer, Clemens ; Kovács, Laura | Constraint Learning for Non-confluent Proof Search | Inproceedings Konferenzbeitrag | 2026 |
| 4 | | Eisenhofer, Clemens ; Seiser, Theodor ; Bjørner, Nikolaj ; Kovács, Laura | On Solving String Equations via Powers and Parikh Images | Inproceedings Konferenzbeitrag | 2026 |
| 5 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 6 | | Winkler, Lorenz ; Kovács, Laura | Positive Almost-Sure Termination of Polynomial Random Walks | Inproceedings Konferenzbeitrag | 2-Oct-2025 |
| 7 | | 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 |
| 8 | | Hajdu, Marton ; Kovács, Laura ; Voronkov, Andrei | Partial Redundancy in Saturation | Inproceedings Konferenzbeitrag | 24-Sep-2025 |
| 9 | | 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 |
| 10 | | Varonka, Anton ; Watanabe, Kazuki | On Piecewise Affine Reachability with Bellman Operators | Inproceedings Konferenzbeitrag | 20-Aug-2025 |
| 11 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 12 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLM-based Generation of Weakest Preconditions and Precise Array Invariants | Inproceedings Konferenzbeitrag | 12-Jun-2025 |
| 13 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Inproceedings Konferenzbeitrag | 3-May-2025 |
| 14 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 15 | | Ait El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Applications | Inproceedings Konferenzbeitrag   | 2025 |
| 16 |  | Brechelmacher, Otto ; Ničković, Dejan ; Nießen, Tobias ; Sallinger, Sarah Sophie ; Weissenbacher, Georg | Differential Property Monitoring for Backdoor Detection | Inproceedings Konferenzbeitrag | 29-Nov-2024 |
| 17 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 18 | | Ait El Manssour, Rida ; Kenison, George James ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Synthesis | Presentation Vortrag | 19-Sep-2024 |
| 19 |  | Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Bura, Efstathia | Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments | Article Artikel | 10-Jul-2024 |
| 20 | | Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper) | Inproceedings Konferenzbeitrag | 1-Jul-2024 |
