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