|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 141 |  | Brugger, Lea Salome ; Kovacs, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael | Automating Security Analysis of Off-Chain Protocols | Presentation Vortrag   | 11-Aug-2022 |
| 142 | | Blanchette, Jasmin Christian ; Kovacs, Laura ; Pattinson, Dirk | Automated Reasoning: 11th International Joint Conference (IJCAR 2022) | Proceedings Konferenzband | 8-Aug-2022 |
| 143 | | Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian | Automated Expected Amortised Cost Analysis of Probabilistic Data Structures | Inproceedings Konferenzbeitrag  | 6-Aug-2022 |
| 144 | | Hader, Thomas ; Kovacs, Laura | An SMT Approach for Solving Polynomials over Finite Fields | Inproceedings Konferenzbeitrag | 1-Aug-2022 |
| 145 | | Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura | The probabilistic termination tool amber | Article Artikel | Aug-2022 |
| 146 | | Petkovic Komel, Anja | The essence of type-theoretic elaboration | Presentation Vortrag | 31-Jul-2022 |
| 147 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Verification of agent navigation in partially-known environments | Article Artikel | Jul-2022 |
| 148 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian | Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments | Inproceedings Konferenzbeitrag | Jul-2022 |
| 149 | | Kovacs, Laura | Automated Reasoning for Trustworthy Software | Presentation Vortrag | 21-Jun-2022 |
| 150 | | Kovacs, Laura | First-Order Theorem Proving and Vampire | Presentation Vortrag | 17-Jun-2022 |
| 151 | | Kovacs, Laura | Algebraic Synthesis of Loops and their Invariants | Presentation Vortrag | 6-Jun-2022 |
| 152 | | Meinke, Karl ; Kovacs, Laura | Tests and Proofs | Proceedings Konferenzband | 1-Jun-2022 |
| 153 |  | Fermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic | Article Artikel | Jun-2022 |
| 154 | | Kovacs, Laura | Automated Program Reasoning | Presentation Vortrag | 30-May-2022 |
| 155 | | Petkovic Komel, Anja | The essence of elaboration | Presentation Vortrag | 20-May-2022 |
| 156 | | Kovacs, Laura | Enjoying Research at the Intersection of Math and Computer Science | Presentation Vortrag | 3-Apr-2022 |
| 157 | | Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura | Algebra-Based Reasoning for Loop Synthesis | Article Artikel | 1-Apr-2022 |
| 158 |  | Eisenhofer, Clemens ; Riener, Martin | Automated Instantiation of Control Flow Tracing Exercises | Inproceedings Konferenzbeitrag | 8-Feb-2022 |
| 159 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying safety of synchronous fault-tolerant algorithms by bounded model checking | Article Artikel | Feb-2022 |
| 160 | | Kovacs, Laura | Getting Saturated with Induction | Presentation Vortrag | 27-Jan-2022 |
