|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 2 | | Hunold, Sascha | Unveiling the Complexities of Performance Analysis and Optimization in HPC Systems | Presentation Vortrag | 8-Dec-2023 |
| 3 | | Laso Rodriguez, Ruben ; Casado, Fernando E. | The research career after the PhD | Presentation Vortrag | 3-Nov-2023 |
| 4 | | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana | Simplicial Introduction | Presentation Vortrag | 6-Oct-2023 |
| 5 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 and its decidability | Presentation Vortrag | 27-Sep-2023 |
| 6 |  | Scheuchenstuhl, Daniel ; Ulmer, Stefan ; Resch, Felix ; Berducci, Luigi ; Grosu, Radu | Enhancing Robot Learning through Learned Human-Attention Feature Maps | Presentation Vortrag   | 29-May-2023 |
| 7 | | Esterbauer, Leonhard | Energiegemeinschaften: Vor- und Nachteile des smarten Energie-Sharings | Special Contribution Spezialbeitrag | 28-Apr-2023 |
| 8 | | Steindl, Gernot | RES² – IoT Architecture for a Sector-Coupled Smart Local Energy Community | Presentation Vortrag | 21-Apr-2023 |
| 9 |  | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique | Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example | Presentation Vortrag | 20-Apr-2023 |
| 10 | | Esterbauer, Leonhard | Improving Energy Community interoperability: A Web of Things approach | Presentation Vortrag | 17-Mar-2023 |
| 11 |  | Ádám, Zsófia ; Lopez Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja | Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements | Report Bericht | Mar-2023 |
| 12 | | Kuznets, Roman | Messages Agents Send; Agents Who Send Messages | Presentation Vortrag | 24-Feb-2023 |
| 13 | | Kuznets, Roman | On Interpolation | Presentation Vortrag | 28-Jan-2023 |
| 14 |  | 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 |
| 15 | | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Nested Sequents, Kripke Models, and Uniform Interpolation | Presentation Vortrag | 1-Nov-2022 |
| 16 |  | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | An Accurate Hybrid Delay Model for Multi-Input Gates | Report Bericht | 31-Oct-2022 |
| 17 | | 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 |
| 18 | | Vana Gür, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Georg | Posterior predictive model assessment using formal methods in a spatio-temporal model | Preprint Preprint | 3-Oct-2022 |
| 19 | | van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman | Framing faultiness Kripke style | Presentation Vortrag | 6-Sep-2022 |
| 20 | | Pannosch, Jürgen | Smart Homes: Wie sicher sind sie und wie lassen sie sich schützen? | Special Contribution Spezialbeitrag | 19-Jul-2022 |
