|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Salzmann, Josef | Distributed Locally Synchronous Grid Oscillator via Perpetual Token Exchange | Inproceedings Konferenzbeitrag  | 5-Jun-2025 |
| 2 | | Salzmann, Josef ; Schmid, Ulrich | Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks | Inproceedings Konferenzbeitrag | 21-May-2025 |
| 3 |  | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich ; Drmota, Michael | Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs | Article Artikel   | May-2025 |
| 4 | | Nowak, Thomas ; Schmid, Ulrich ; Winkler, Kyrill | Topological Characterization of Consensus in Distributed Systems | Article Artikel | Dec-2024 |
| 5 | | Ditmarsch, Hans van ; Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich | A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems | Inproceedings Konferenzbeitrag | 2-Jul-2024 |
| 6 | | Rincon Galeana, Hugo ; Schmid, Ulrich | Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems | Inproceedings Konferenzbeitrag | 23-May-2024 |
| 7 | | Cignarale, Giorgio ; Kuznets, Roman ; Schlögl, Thomas | Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling | Inproceedings Konferenzbeitrag | 29-Mar-2024 |
| 8 | | Ferdowsi, Arman ; Függer, Matthias ; Salzmann, Josef ; Schmid, Ulrich | A Hybrid Delay Model for Interconnected Multi-Input Gates | Inproceedings Konferenzbeitrag | 19-Mar-2024 |
| 9 | | Schlögl, Thomas ; Schmid, Ulrich | A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems | Inproceedings Konferenzbeitrag | 11-Jul-2023 |
| 10 | | Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich | Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models | Inproceedings Konferenzbeitrag | May-2023 |
| 11 | | Öhlinger, Daniel ; Schmid, Ulrich | A Digital Delay Model Supporting Large Adversarial Delay Variations | Inproceedings Konferenzbeitrag | 2023 |
| 12 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | Accurate Hybrid Delay Models for Dynamic Timing Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 13 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | An Accurate Hybrid Delay Model for Multi-Input Gates | Preprint Preprint | 19-Nov-2022 |
| 14 | | Ferdowsi, Arman ; Maier, Jurgen ; Öhlinger, Daniel ; Schmid, Ulrich | A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate | Inproceedings Konferenzbeitrag | 2022 |
| 15 | | Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich | On Specifications and Proofs of Timed Circuits | Book Contribution Buchbeitrag | 2022 |
| 16 |  | Maier, Jürgen | Gain and Pain of a Reliable Delay Model | Inproceedings Konferenzbeitrag | 11-Oct-2021 |
| 17 |  | Maier, Jürgen ; Öhlinger, Daniel ; Schmid, Ulrich ; Függer, Matthias ; Nowak, Thomas | A Composable Glitch-Aware Delay Model | Inproceedings Konferenzbeitrag | 22-Jun-2021 |
| 18 |  | Öhlinger, Daniel ; Maier, Jürgen ; Függer, Matthias ; Schmid, Ulrich | The involution tool for accurate digital timing and power analysis | Article Artikel | Sep-2020 |
