|
| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Pluska, Alexander ; Zuleger, Florian | Embedding Intuitionistic into Classical Logic | Inproceedings Konferenzbeitrag  | 3-Jun-2023 |
| 62 |  | Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification | Inproceedings Konferenzbeitrag   | 3-Jun-2023 |
| 63 |  | Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes | Refining Unification with Abstraction | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 64 | | Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura | SMT Solving over Finite Field Arithmetic | Inproceedings Konferenzbeitrag | Jun-2023 |
| 65 |  | Kaufmann, Daniela ; Biere, Armin | Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra | Article Artikel | Apr-2023 |
| 66 | | Kovács, Laura | Symbolic Computation in Automated Program Reasoning | Inproceedings Konferenzbeitrag | 3-Mar-2023 |
| 67 | | Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura | Satisfiability Modulo Custom Theories in Z3 | Inproceedings Konferenzbeitrag | Jan-2023 |
| 68 | | Matheja, Christoph ; Pagel, Jens ; Zuleger, Florian | A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions | Article Artikel | Jan-2023 |
| 69 | | Rain, Sophie ; Avarikioti, Georgia ; Kovacs, Laura ; Maffei, Matteo | Towards a Game-Theoretic Security Analysis of Off-Chain Protocols | Inproceedings Konferenzbeitrag | 2023 |
| 70 | | Rebola Pardo, Adrian | Even Shorter Proofs Without New Variables | Inproceedings Konferenzbeitrag | 2023 |
| 71 | | Kovacs, Laura | Algebraic Reasoning for (Un)Solvable Loops (Invited Talk) | Inproceedings Konferenzbeitrag | 2023 |
| 72 | | Kovács, Laura | Algebra-Based Loop Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 73 | | Kovács, Laura ; Varonka, Anton | What Else is Undecidable About Loops? | Inproceedings Konferenzbeitrag | 2023 |
| 74 |  | Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei | ALASCA: Reasoning in Quantified Linear Arithmetic | Inproceedings Konferenzbeitrag | 2023 |
| 75 |  | Iosif, Radu ; Zuleger, Florian | Expressiveness Results for an Inductive Logic of Separated Relations | Inproceedings Konferenzbeitrag | 2023 |
| 76 |  | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian | Stochastic Best-Effort Strategies for Borel Goals | Inproceedings Konferenzbeitrag | 2023 |
| 77 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei | Getting Saturated with Induction | Book Contribution Buchbeitrag | 29-Dec-2022 |
| 78 | | Kovacs, Laura | First-Order Theorem Proving and Vampire | Presentation Vortrag | 6-Dec-2022 |
| 79 | | Rawson, Michael | Linear Refutation and Clause Splitting | Preprint Preprint | 5-Dec-2022 |
| 80 | | Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura | This Is the Moment for Probabilistic Loops | Article Artikel | 31-Oct-2022 |
