| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian | A Formalization of Heisenbugs and Their Causes | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 2 | | Pluska, Alexander ; Zuleger, Florian | Embedding Intuitionistic into Classical Logic | Inproceedings Konferenzbeitrag | 3-Jun-2023 |
| 3 | | 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 |
| 4 | | Iosif, Radu ; Zuleger, Florian | Expressiveness Results for an Inductive Logic of Separated Relations | Inproceedings Konferenzbeitrag | 2023 |
| 5 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian | Stochastic Best-Effort Strategies for Borel Goals | Inproceedings Konferenzbeitrag | 2023 |
| 6 | | Pagel, Jens ; Zuleger, Florian | Strong-separation Logic (Extended Version) | Article Artikel | Sep-2022 |
| 7 | | Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian | Automated Expected Amortised Cost Analysis of Probabilistic Data Structures | Inproceedings Konferenzbeitrag | 6-Aug-2022 |
| 8 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Verification of agent navigation in partially-known environments | Article Artikel | Jul-2022 |
| 9 | | Aminof, Benjamin ; De Giacomo, Giuseppe ; Rubin, Sasha ; Zuleger, Florian | Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments | Inproceedings Konferenzbeitrag | Jul-2022 |
| 10 | | Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian | Low-Level Bi-Abduction | Inproceedings Konferenzbeitrag | 23-Jun-2022 |
| 11 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying safety of synchronous fault-tolerant algorithms by bounded model checking | Article Artikel | Feb-2022 |
| 12 | | Pagel, Jens ; Zuleger, Florian | Strong-separation Logic | Konferenzbeitrag Inproceedings | 2022 |
| 13 | | Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian | ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures | Konferenzbeitrag Inproceedings | 2022 |
| 14 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Rely-guarantee bound analysis of parameterized concurrent shared-memory programs | Artikel Article | 2021 |
| 15 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Eliminating Message Counters in Synchronous Threshold Automata | Konferenzbeitrag Inproceedings | 2021 |
| 16 | | Pescosta, Emmanuel ; Weissenbacher, Georg ; Zuleger, Florian | Bounded Model Checking of Speculative Non-Interference | Konferenzbeitrag Inproceedings | 2021 |
| 17 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Eliminating Message Counters in Threshold Automata | Inproceedings Konferenzbeitrag | 12-Oct-2020 |
| 18 | | Pagel, Jens ; Zuleger, Florian | Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions | Konferenzbeitrag Inproceedings | 2020 |
| 19 | | Zuleger, Florian | The Polynomial Complexity of Vector Addition Systems with States | Konferenzbeitrag Inproceedings | 2020 |
| 20 | | Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian | Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness | Konferenzbeitrag Inproceedings | 2020 |