| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Georgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura | Saturating Sorting without Sorts | Preprint Preprint | 6-Mar-2024 |
| 2 | | Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela | Fuzzing-based grammar learning from a minimal set of seed inputs | Article Artikel | Mar-2024 |
| 3 | | Eisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael | Embedding the Connection Calculus in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | Jan-2024 |
| 4 | | Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian | A Formalization of Heisenbugs and Their Causes | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 5 | | Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang | Lemmas: Generation, Selection, Application | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 6 | | Eisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura | Non-Classical Logics in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
| 7 | | Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael | Superposition with Delayed Unification | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 8 | | Hozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei | Program Synthesis in Saturation | Inproceedings Konferenzbeitrag | 2-Sep-2023 |
| 9 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
| 10 | | Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James | Positivity Problems for Reversible Linear Recurrence Sequences | Inproceedings Konferenzbeitrag | 5-Jul-2023 |
| 11 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag | Jul-2023 |
| 12 | | Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 13 | | Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes | Refining Unification with Abstraction | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 14 | | Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura | SMT Solving over Finite Field Arithmetic | Inproceedings Konferenzbeitrag | Jun-2023 |
| 15 | | Kovács, Laura | Symbolic Computation in Automated Program Reasoning | Inproceedings Konferenzbeitrag | 3-Mar-2023 |
| 16 | | Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura | Satisfiability Modulo Custom Theories in Z3 | Inproceedings Konferenzbeitrag | Jan-2023 |
| 17 | | Kovacs, Laura | Algebraic Reasoning for (Un)Solvable Loops (Invited Talk) | Inproceedings Konferenzbeitrag | 2023 |
| 18 | | Kovács, Laura | Algebra-Based Loop Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 19 | | Kovács, Laura ; Varonka, Anton | What Else is Undecidable About Loops? | Inproceedings Konferenzbeitrag | 2023 |
| 20 | | Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei | ALASCA: Reasoning in Quantified Linear Arithmetic | Inproceedings Konferenzbeitrag | 2023 |