| 2026 | DATE | Drafting and Multi-Input Switching in Digital Dynamic Timing Simulation for Multi-Input Gates. | Arman Ferdowsi, Ulrich Schmid, Josef Salzmann |
| 2025 | DATE | Signal Prediction for Digital Circuits by Sigmoidal Approximations Using Neural Networks. | Josef Salzmann, Ulrich Schmid |
| 2024 | IJCAR | A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. | Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid |
| 2024 | SIROCCO | Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems. | Hugo Rincon Galeana, Ulrich Schmid |
| 2023 | DDECS | A Digital Delay Model Supporting Large Adversarial Delay Variations. | Daniel hlinger, Ulrich Schmid |
| 2023 | DSD | A Hybrid Delay Model for Interconnected Multi-Input Gates. | Arman Ferdowsi, Matthias Fgger, Josef Salzmann, Ulrich Schmid |
| 2023 | ICCAD | Accurate Hybrid Delay Models for Dynamic Timing Analysis. | Arman Ferdowsi, Ulrich Schmid, Josef Salzmann |
| 2022 | DATE | A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. | Arman Ferdowsi, Jrgen Maier, Daniel hlinger, Ulrich Schmid |
| 2021 | FCT | Valency-Based Consensus Under Message Adversaries Without Limit-Closure. | Kyrill Winkler, Ulrich Schmid, Thomas Nowak |
| 2021 | SSS | Round-Oblivious Stabilizing Consensus in Dynamic Networks. | Manfred Schwarz, Ulrich Schmid |
| 2020 | PRIMA | The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks. | Thomas Schlgl, Ulrich Schmid, Roman Kuznets |
| 2019 | OPODIS | A Characterization of Consensus Solvability for Closed Message Adversaries. | Kyrill Winkler, Ulrich Schmid, Yoram Moses |
| 2019 | PODC | 2019 Principles of Distributed Computing Doctoral Dissertation Award. | Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid |
| 2019 | PODC | Topological Characterization of Consensus under General Message Adversaries. | Thomas Nowak, Ulrich Schmid, Kyrill Winkler |
| 2019 | SSS | A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. | Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum |
| 2018 | DATE | A faithful binary circuit model with adversarial noise. | Matthias Fgger, Jrgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid |
| 2018 | IOLTS | Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures. | Martin Perner, Ulrich Schmid |
| 2018 | PODC | 2018 Edsger W. Dijkstra Prize in Distributed Computing. | Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld |
| 2018 | SIROCCO | On the Strongest Message Adversary for Consensus in Directed Dynamic Networks. | Ulrich Schmid, Manfred Schwarz, Kyrill Winkler |
| 2018 | SIROCCO | On Knowledge and Communication Complexity in Distributed Systems. | Daniel Pfleger, Ulrich Schmid |
| 2016 | ICDCN | Fast consensus under eventually stabilizing message adversaries. | Manfred Schwarz, Kyrill Winkler, Ulrich Schmid |
| 2015 | DATE | Towards binary circuit models that faithfully capture physical solvability. | Matthias Fgger, Robert Najvirt, Thomas Nowak, Ulrich Schmid |
| 2014 | PODC | Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures. | Manfred Schwarz, Kyrill Winkler, Ulrich Schmid, Martin Biely, Peter Robinson |
| 2014 | RTSS | A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. | Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kler, Ulrich Schmid |
| 2013 | Algosensors | The Effect of Forgetting on the Performance of a Synchronizer. | Matthias Fgger, Alexander Kler, Thomas Nowak, Ulrich Schmid, Martin Zeiner |
| 2013 | DSD | Efficient Construction of Global Time in SoCs Despite Arbitrary Faults. | Christoph Lenzen, Matthias Fgger, Markus Hofstatter, Ulrich Schmid |
| 2013 | FMCAD | Parameterized model checking of fault-tolerant distributed algorithms by abstraction. | Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder |
| 2013 | PODC | Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. | Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder |
| 2013 | SPAA | HEX: scaling honeycombs is easier than scaling clock trees. | Danny Dolev, Matthias Fgger, Christoph Lenzen, Martin Perner, Ulrich Schmid |
| 2012 | DSD | Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip. | Varadan Savulimedu Veeravalli, Thomas Polzer, Andreas Steininger, Ulrich Schmid |
| 2012 | SIROCCO | Agreement in Directed Dynamic Networks. | Martin Biely, Peter Robinson, Ulrich Schmid |
| 2011 | OPODIS | Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems. | Martin Biely, Peter Robinson, Ulrich Schmid |
| 2011 | PODC | Easy impossibility proofs for k-set agreement in message passing systems. | Martin Biely, Peter Robinson, Ulrich Schmid |
| 2011 | SIROCCO | Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing - (Extended Abstract). | Heinrich Moser, Ulrich Schmid |
| 2011 | SSS | Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract]. | Danny Dolev, Matthias Fgger, Christoph Lenzen, Ulrich Schmid |
| 2010 | EDCC | How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. | Matthias Fgger, Andreas Dielacher, Ulrich Schmid |
| 2009 | OPODIS | Weak Synchrony Models and Failure Detectors for Message Passing ( | Martin Biely, Peter Robinson, Ulrich Schmid |
| 2009 | PODC | Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. | Andreas Dielacher, Matthias Fgger, Ulrich Schmid |
| 2008 | DSD | Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. | Gottfried Fuchs, Matthias Fgger, Ulrich Schmid, Andreas Steininger |
| 2008 | OPODIS | Optimal Deterministic Remote Clock Estimation in Real-Time Systems. | Heinrich Moser, Ulrich Schmid |
| 2008 | PODC | The asynchronous bounded-cycle model. | Peter Robinson, Ulrich Schmid |
| 2008 | SSS | The Asynchronous Bounded-Cycle Model. | Peter Robinson, Ulrich Schmid |
| 2008 | SSS | Keynote: Distributed Algorithms and VLSI. | Ulrich Schmid |
| 2006 | EDCC | Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip. | Matthias Fgger, Ulrich Schmid, Gottfried Fuchs, Gerald Kempf |
| 2006 | OPODIS | Optimal Clock Synchronization Revisited: Upper and Lower Bounds in Real-Time Systems. | Heinrich Moser, Ulrich Schmid |
| 2006 | SSS | Brief Announcement: Chasing the Weakest System Model for Implementing | Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou |
| 2005 | EDCC | Failure Detection with Booting in Partially Synchronous Systems. | Josef Widder, Grard Le Lann, Ulrich Schmid |
| 2005 | ICDCS | On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times. | Christof Fetzer, Ulrich Schmid, Martin Skraut |
| 2004 | PODC | Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times. | Christof Fetzer, Ulrich Schmid |
| 2003 | SRDS | Randomized Asynchronous Consensus with Imperfect Communications. | Ulrich Schmid, Christof Fetzer |
| 2002 | ICDCS | Formally Verified Byzantine Agreement in Presence of Link Faults. | Ulrich Schmid, Bettina Weiss, John M. Rushby |
| 2001 | DSN | How to Model Link Failures: A Perception-Based Fault Model. | Ulrich Schmid |
| 2001 | SRDS | Consensus with Written Messages Under Link Faults. | Bettina Weiss, Ulrich Schmid |
| 1999 | MASCOTS | The SimUTC Fault-Tolerant Distributed Systems Simulation Toolkit. | Bettina Weiss, Gnther Gridling, Ulrich Schmid, Klaus Schossmaier |
| 1998 | COMPSAC | Real-Time Systems - Panel Overview. | Wolfgang A. Halang, K. H. Kim, Kinji Mori, Ulrich Schmid, Horst F. Wedde |
| 1992 | ICALP | The Average CRI-Length of a Tree Collision Resolution Algorithm in Presence of Multiplicity-Dependent Capture Effects. | Ulrich Schmid |