| 2021 | GI | Environmental Wellbeing through Guerilla Sensing. | Marvin Banse, Florian Schmalriede, Oliver E. Theel, Andreas Winter |
| 2021 | PRDC | Extending the Concept of Voting Structures to Support Path-Based Replication Strategies. | Christian Linder, Oliver E. Theel |
| 2020 | CEC | A Genetic Programming-Based Multi-Objective Optimization Approach to Data Replication Strategies for Distributed Systems. | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
| 2020 | ICAART | Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming. | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
| 2020 | ICAART | Designing New Data Replication Strategies Automatically. | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
| 2020 | ICPADS | Use of Genetic Programming Operators in Data Replication and Fault Tolerance. | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
| 2020 | PRDC | Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems. | Syed Mohtashim Abbas Bokhari, Oliver E. Theel |
| 2019 | EWSN | Competition: Using DeCoT+ to Collect Data under Interference. | Xiaoyuan Ma, Peilin Zhang, Ye Liu, Xin Li, Weisheng Tang, Pei Tian, Jianming Wei, Lei Shu, Oliver E. Theel |
| 2018 | EWSN | Competition: Using Enhanced OF∂COIN to Monitor Multiple Concurrent Events under Adverse Conditions. | Xiaoyuan Ma, Peilin Zhang, Weisheng Tang, Xin Li, Wangji He, Fuping Zhang, Jianming Wei, Oliver E. Theel |
| 2018 | ICAART | Predicting Read- and Write-Operation Availabilities of Quorum Protocols based on Graph Properties. | Robert Schadek, Oliver Kramer, Oliver E. Theel |
| 2018 | ICPADS | Packet-in-Packet: Concatenation with Concurrent Transmission for Data Collection in Low-Power Wireless Sensor Networks. | Peilin Zhang, Xiaoyuan Ma, Oliver E. Theel, Jianming Wei |
| 2018 | LCN | Concurrent Transmission-based Packet Concatenation in Wireless Sensor Networks. | Peilin Zhang, Xiaoyuan Ma, Oliver E. Theel, Jianming Wei |
| 2017 | EWSN | MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks. | Peilin Zhang, Olaf Landsiedel, Oliver E. Theel |
| 2017 | Mobiquitous | Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding. | Peilin Zhang, Alex Yuan Gao, Oliver E. Theel |
| 2017 | PRDC | Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols. | Robert Schadek, Oliver E. Theel |
| 2017 | PRDC | A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge. | Awais Usman, Robert Schadek, Oliver E. Theel |
| 2015 | ICA3PP | Crossing - A Highly Available Quorum Protocol for Arbitrary Planar Topologies. | Robert Schadek, Oliver E. Theel |
| 2015 | PRDC | A Transformational Approach for the Hardening of Region-Adherent Algorithms. | Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel |
| 2015 | SRDS | Recurrence in Self-Stabilization. | Oday Jubran, Oliver E. Theel |
| 2015 | SSS | Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. | Oday Jubran, Eike Mhlmann, Oliver E. Theel |
| 2014 | AINA | Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. | Nils Mllner, Oliver E. Theel, Martin Frnzle |
| 2014 | AINA | Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. | Nils Mllner, Oliver E. Theel, Martin Frnzle |
| 2014 | PRDC | Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. | Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel |
| 2014 | PRDC | Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. | Oday Jubran, Oliver E. Theel |
| 2012 | AINA | Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. | Nils Mllner, Oliver E. Theel, Martin Frnzle |
| 2011 | AINA | The Degree of Masking Fault Tolerance vs. Temporal Redundancy. | Nils Mllner, Oliver E. Theel |
| 2011 | LCN | Optimized data-available storage for energy-limited wireless sensor networks. | Jens Kamenik, Oliver E. Theel |
| 2010 | ICDCN | Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. | Kinga Kiss Iakab, Christian Storm, Oliver E. Theel |
| 2010 | ISPA | The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off. | Kinga Kiss Iakab, Oliver E. Theel |
| 2010 | SSS | A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. | Abhishek Dhama, Oliver E. Theel |
| 2009 | ATVA | A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. | Jens Oehlerking, Oliver E. Theel |
| 2009 | ICDCN | A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. | Christian Storm, Oliver E. Theel |
| 2009 | PDCAT | How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. | Timo Warns, Christian Storm, Oliver E. Theel |
| 2009 | SSS | Dependability Engineering of Silent Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
| 2008 | PRDC | Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. | Christian Storm, Timo Warns, Oliver E. Theel |
| 2006 | ICPADS | Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. | Abhishek Dhama, Jens Oehlerking, Oliver E. Theel |
| 2006 | SSS | Reliability and Availability Analysis of Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Timo Warns |
| 2005 | PRDC | Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. | Henning Burchardt, Jens Oehlerking, Oliver E. Theel |
| 2005 | SSS | Towards Automatic Convergence Verification of Self-stabilizing Algorithms. | Jens Oehlerking, Abhishek Dhama, Oliver E. Theel |
| 2003 | BTW | Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. | Heiko Niemann, Wilhelm Hasselbring, Michael Hlsmann, Oliver E. Theel |
| 2003 | PDP | Integration of a Dynamic Object Replication Framework in Java. | Thomas Strau, Oliver E. Theel |
| 2001 | ICDCS | An Exercise in Proving Self-Stabilization through Ljapunov Functions. | Oliver E. Theel |
| 2000 | ICPADS | Transparent management of replicated WWW document clusters. | Henning Pagnia, Oliver E. Theel, Hans Schupp |
| 2000 | PODC | A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). | Oliver E. Theel |
| 1999 | ICPP | An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. | Oliver E. Theel, Thomas Strau |
| 1998 | HPDC | Improving Replication Protocols through Priorities. | Henning Pagnia, Oliver E. Theel |
| 1998 | ICPADS | Shrinking Timestamp Sizes of Event Ordering Protocols. | Achour Mostfaoui, Oliver E. Theel |
| 1996 | HiPC | Bounded dynamic data allocation in distributed systems. | Oliver E. Theel, Henning Pagnia |
| 1995 | ICDCS | General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. | Oliver E. Theel, Henning Pagnia-Koch |
| 1995 | ICPP | Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling. | Oliver E. Theel, Brett D. Fleisch |
| 1993 | ICDCS | General Structured Voting: A Flexible Framework for Modelling Cooperations. | Oliver E. Theel |
| 1993 | MASCOTS | A General Framework for Modelling Data Replication Schemes. | Oliver E. Theel |
| 1991 | LCN | Replication management in large networks. | Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel |