|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 2 | | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana | Simplicial Introduction | Presentation Vortrag | 6-Oct-2023 |
| 3 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 and its decidability | Presentation Vortrag | 27-Sep-2023 |
| 4 | | Kuznets, Roman | Messages Agents Send; Agents Who Send Messages | Presentation Vortrag | 24-Feb-2023 |
| 5 | | Kuznets, Roman | On Interpolation | Presentation Vortrag | 28-Jan-2023 |
| 6 |  | Prabakaran, Bharath Srinivas ; Fasching, Felix ; Schreib, Juri ; Steininger, Andreas ; Shafique, Muhammad | ATLAS: An IoT Architecture and Secure Open-source Networking Stack for Anonymous Localization and Tracking Using Smartphones and Bluetooth Beacons | Preprint Preprint   | 20-Dec-2022 |
| 7 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Nested Sequents, Kripke Models, and Uniform Interpolation | Presentation Vortrag | 1-Nov-2022 |
| 8 |  | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | An Accurate Hybrid Delay Model for Multi-Input Gates | Report Bericht | 31-Oct-2022 |
| 9 | | Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich | Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed Systems | Presentation Vortrag | 24-Oct-2022 |
| 10 | | van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman | Framing faultiness Kripke style | Presentation Vortrag | 6-Sep-2022 |
| 11 | | Prabakaran, Bharath Srinivas | Hardware and Software Architectures for Energy-Efficient Smart Healthcare Systems | Presentation Vortrag | Jul-2022 |
| 12 | | Cignarale, Giorgio | A Tribute to Philosophical A Priori Knowledge Research in the Design and Analysis of Fault-Tolerant Distributed Systems | Presentation Vortrag | 18-Jan-2022 |
| 13 | | Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich | Knowledge-based analysis of the Firing Rebels problem | Presentation Vortrag | 2-Nov-2021 |
| 14 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Uniform interpolation via nested sequents and hypersequents | Bericht Report | 2021 |
| 15 | | Schmid, Ulrich | Honors at TU Wien | Präsentation Presentation | 2021 |
| 16 | | Tauner, Stefan ; Telesklav, Mario ; Halder, Linus | Hardware-Assisted Control Flow Integrity Schemes on RISC-V | Präsentation Presentation | 2021 |
| 17 | | Kuznets, Roman ; Marin, Sonia ; Strassburger, Lutz | Intuiting Duals of Proofs | Präsentation Presentation | 2021 |
| 18 | | Kuznets, Roman ; Lellmann, Björn | Interpolation for Intermediate Logics via Injective Nested Sequents | Präsentation Presentation | 2020 |
| 19 | | Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina | Byzantine Causal Cone | Präsentation Presentation | 2019 |
| 20 | | Kuznets, Roman | Causality in the Age of Fake News | Präsentation Presentation | 2019 |
