The Electoral District Strategy of Replicated Data in Distrinuted Systems. - Bernd Freisleben; Hans-Henning Koch; Oliver E. Theel (Fault-Tolerant Computing Systems, 1991)

Replication management in large networks. - Bernd Freisleben; Hans-Henning Koch; Oliver E. Theel (LCN, 1991)

Providing Low Cost Read Access to Replicated Data with Multi-Level Voting. - Bernd Freisleben; Hans-Henning Koch; Oliver E. Theel (INDC, 1992)

Vereinheitlichtes Konzept zur Konstruktion hochverfügbarer Dienste. - Oliver E. Theel (1993)

General Structured Voting: A Flexible Framework for Modelling Cooperations. - Oliver E. Theel (ICDCS, 1993)

A General Framework for Modelling Data Replication Schemes. - Oliver E. Theel (MASCOTS, 1993)

General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. - Oliver E. Theel; Henning Pagnia-Koch (ICDCS, 1995)

Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling. - Oliver E. Theel; Brett D. Fleisch (ICPP (1), 1995)

A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems. - C. Liebig; Henning Pagnia; F. Schwappacher; Oliver E. Theel (ESM, 1996)

Bounded dynamic data allocation in distributed systems. - Oliver E. Theel; Henning Pagnia (HiPC, 1996)

The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems. - Oliver E. Theel; Brett D. Fleisch (Comput. J., 1996)

A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs. - Oliver E. Theel; Brett D. Fleisch (IEEE Trans. Parallel Distributed Syst., 1996)

Static and Dynamic Adaptation of Transactional Consistency. - Oliver E. Theel; Michel Raynal (HICSS (1), 1997)

Replicated Documents for the World-Wide Web. - Henning Pagnia; Oliver E. Theel; Jürgen Iwik (EUROMEDIA, 1998)

Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. - Oliver E. Theel; Henning Pagnia (FTCS, 1998)

Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects. - Henning Pagnia; Oliver E. Theel (HICSS (7), 1998)

Improving Replication Protocols through Priorities. - Henning Pagnia; Oliver E. Theel (HPDC, 1998)

Shrinking Timestamp Sizes of Event Ordering Protocols. - Achour Mostéfaoui; Oliver E. Theel (ICPADS, 1998)

Distributed Caching and Replication - Introduction. - Oliver E. Theel; Markus Pizka (HICSS, 1999)

An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. - Oliver E. Theel; Thomas Strauß (ICPP, 1999)

An exercise in proving convergence through transfer functions. - Oliver E. Theel; Felix C. Gärtner (WSS, 1999)

Transparent management of replicated WWW document clusters. - Henning Pagnia; Oliver E. Theel; Hans Schupp (ICPADS Workshops, 2000)

A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). - Oliver E. Theel (PODC, 2000)

Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. - Oliver E. Theel (DISC, 2000)

Fault tolerance and configurability in DSM coherence protocols. - Brett D. Fleisch; Heiko Michel; Sachin K. Shah; Oliver E. Theel (IEEE Concurr., 2000)

A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. - Oliver E. Theel (HICSS, 2001)

An Exercise in Proving Self-Stabilization through Ljapunov Functions. - Oliver E. Theel (ICDCS, 2001)

Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. - Heiko Niemann; Wilhelm Hasselbring; Michael Hülsmann; Oliver E. Theel (BTW, 2003)

Integration of a Dynamic Object Replication Framework in Java. - Thomas Strauß; Oliver E. Theel (PDP, 2003)

Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans. - Thomas Strauß; Oliver E. Theel (Parallel and Distributed Computing and Networks, 2005)

Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. - Henning Burchardt; Jens Oehlerking; Oliver E. Theel (PRDC, 2005)

Towards Automatic Convergence Verification of Self-stabilizing Algorithms. - Jens Oehlerking; Abhishek Dhama; Oliver E. Theel (Self-Stabilizing Systems, 2005)

Towards automatic verification of affine hybrid system stability. - Jens Oehlerking; Henning Burchardt; Oliver E. Theel (SIGBED Rev., 2005)

Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data. - Christian Storm; Oliver E. Theel (ARES, 2006)

Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. - Abhishek Dhama; Jens Oehlerking; Oliver E. Theel (ICPADS (1), 2006)

Reliability and Availability Analysis of Self-stabilizing Systems. - Abhishek Dhama; Oliver E. Theel; Timo Warns (SSS, 2006)

Fully Automated Stability Verification for Piecewise Affine Systems. - Jens Oehlerking; Henning Burchardt; Oliver E. Theel (HSCC, 2007)

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. - Nils Müllner; Abhishek Dhama; Oliver E. Theel (Annual Simulation Symposium, 2008)

Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. - Christian Storm; Timo Warns; Oliver E. Theel (PRDC, 2008)

A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. - Jens Oehlerking; Oliver E. Theel (ATVA, 2009)

Decompositional Construction of Lyapunov Functions for Hybrid Systems. - Jens Oehlerking; Oliver E. Theel (HSCC, 2009)

A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. - Christian Storm; Oliver E. Theel (ICDCN, 2009)

How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. - Timo Warns; Christian Storm; Oliver E. Theel (PDCAT, 2009)

Dependability Engineering of Silent Self-stabilizing Systems. - Abhishek Dhama; Oliver E. Theel; Pepijn Crouzen; Holger Hermanns; Ralf Wimmer 001; Bernd Becker 001 (SSS, 2009)

Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. - Kinga Kiss Iakab; Christian Storm; Oliver E. Theel (ICDCN, 2010)

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 (ISPA, 2010)

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. - Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001; Ernst Moritz Hahn; Pepijn Crouzen; Holger Hermanns; Abhishek Dhama; Oliver E. Theel (QEST, 2010)

A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. - Abhishek Dhama; Oliver E. Theel (SSS, 2010)

Bounded Fairness for Probabilistic Distributed Algorithms. - Pepijn Crouzen; Ernst Moritz Hahn; Holger Hermanns; Abhishek Dhama; Oliver E. Theel; Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001 (ACSD, 2011)

The Degree of Masking Fault Tolerance vs. Temporal Redundancy. - Nils Müllner; Oliver E. Theel (AINA Workshops, 2011)

Optimized data-available storage for energy-limited wireless sensor networks. - Jens Kamenik; Oliver E. Theel (LCN, 2011)

Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. - Eike Möhlmann; Oliver E. Theel (HSCC, 2013)

Combining decomposition and reduction for state space analysis of a self-stabilizing system. - Nils Müllner; Oliver E. Theel; Martin Fränzle (J. Comput. Syst. Sci., 2013)

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. - Nils Müllner; Oliver E. Theel; Martin Fränzle (AINA, 2014)

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. - Nils Müllner; Oliver E. Theel; Martin Fränzle (AINA Workshops, 2014)

EAVS: Energy aware virtual sensing for wireless sensor networks. - Mohamed Abdelaal 001; Yang Gao 011; Martin Fränzle; Oliver E. Theel (ISSNIP, 2014)

Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. - Jan Steffen Becker; Dilshod Rahmatov; Oliver E. Theel (PRDC, 2014)

Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. - Oday Jubran; Oliver E. Theel (PRDC, 2014)

Recent energy-preservation endeavours for longlife wireless sensor networks: A concise survey. - Mohamed Abdelaal 001; Oliver E. Theel (WOCN, 2014)

Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. - Eike Möhlmann; Willem Hagemann; Oliver E. Theel (FORMATS, 2015)

Crossing - A Highly Available Quorum Protocol for Arbitrary Planar Topologies. - Robert Schadek; Oliver E. Theel (ICA3PP (3), 2015)

FuzzyCAT: A lightweight Adaptive Transform for sensor data compression. - Vasilisa Bashlovkina; Mohamed Abdelaal 001; Oliver E. Theel (ICC Workshops, 2015)

FuzzyCAT: a novel procedure for refining the F-transform based sensor data compression. - Vasilisa Bashlovkina; Mohamed Abdelaal 001; Oliver E. Theel (IPSN, 2015)

Reliable virtual sensing for wireless sensor networks. - Mohamed Abdelaal 001; Christian Kuka; Oliver E. Theel; Daniela Nicklas 001 (ISSNIP, 2015)

QoS Improvement with Lifetime Planning in Wireless Sensor Networks. - Mohamed Abdelaal 001; Peilin Zhang; Oliver E. Theel (MSN, 2015)

A Self-stabilizing PIF Algorithm for Educated Unique Process Selection. - Oday Jubran; Oliver E. Theel (NETYS, 2015)

A Transformational Approach for the Hardening of Region-Adherent Algorithms. - Dilshod Rahmatov; Jan Steffen Becker; Oliver E. Theel (PRDC, 2015)

Recurrence in Self-Stabilization. - Oday Jubran; Oliver E. Theel (SRDS, 2015)

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. - Oday Jubran; Eike Möhlmann; Oliver E. Theel (SSS, 2015)

Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. - Eike Möhlmann; Oliver E. Theel (ESSS, 2015)

Relaxing data consistency along different dimensions for increasing operation availabilities. - Kinga Lipskoch; Oliver E. Theel (Int. J. Parallel Emergent Distributed Syst., 2015)

Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. - Mohamed Abdelaal 001; Oliver E. Theel; Christian Kuka; Peilin Zhang; Yang Gao 011; Vasilisa Bashlovkina; Daniela Nicklas 001; Martin Fränzle (Int. J. Distributed Sens. Networks, 2016)

A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms. - Awais Usman; Peilin Zhang; Oliver E. Theel (SCC, 2017)

MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks. - Peilin Zhang; Olaf Landsiedel; Oliver E. Theel (EWSN, 2017)

An efficient and updatable item-to-item frequency matrix for frequent itemset generation. - Awais Usman; Peilin Zhang; Oliver E. Theel (ICC, 2017)

Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding. - Peilin Zhang; Alex Yuan Gao; Oliver E. Theel (MobiQuitous, 2017)

Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols. - Robert Schadek; Oliver E. Theel (PRDC, 2017)

A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge. - Awais Usman; Robert Schadek; Oliver E. Theel (PRDC, 2017)

An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study. - Jenny Röbesaat; Peilin Zhang; Mohamed Abdelaal 001; Oliver E. Theel (Sensors, 2017)

A Highly Available Replicated Service Registry for Service Discovery in a Highly Dynamic Deployment Infrastructure. - Awais Usman; Peilin Zhang; Oliver E. Theel (SCC, 2018)

Competition: Using Enhanced OF∂COIN to Monitor Multiple Concurrent Events under Adverse Conditions. - Xiaoyuan Ma; Peilin Zhang; Weisheng Tang; Xin Li 097; Wangji He; Fuping Zhang; Jianming Wei; Oliver E. Theel (EWSN, 2018)

Predicting Read- and Write-Operation Availabilities of Quorum Protocols based on Graph Properties. - Robert Schadek; Oliver Kramer 001; Oliver E. Theel (ICAART (2), 2018)

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 (ICPADS, 2018)

Concurrent Transmission-based Packet Concatenation in Wireless Sensor Networks. - Peilin Zhang; Xiaoyuan Ma; Oliver E. Theel; Jianming Wei (LCN, 2018)

DeCoT: A Dependable Concurrent Transmission-Based Protocol for Wireless Sensor Networks. - Xiaoyuan Ma; Peilin Zhang; Xin Li 097; Weisheng Tang; Jianming Wei; Oliver E. Theel (IEEE Access, 2018)

Quality of service control in proactive wireless sensor networks via lifetime planning. - Peilin Zhang; Mohamed Abdelaal 001; Oliver E. Theel (Int. J. Sens. Networks, 2018)

Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks. - Peilin Zhang; Alex Yuan Gao; Oliver E. Theel (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2018)

Competition: Using DeCoT+ to Collect Data under Interference. - Xiaoyuan Ma; Peilin Zhang; Ye Liu 004; Xin Li 097; Weisheng Tang; Pei Tian; Jianming Wei; Lei Shu 001; Oliver E. Theel (EWSN, 2019)

CONE: A Connected Dominating Set-Based Flooding Protocol for Wireless Sensor Networks. - Dennis Lisiecki; Peilin Zhang; Oliver E. Theel (Sensors, 2019)

A Genetic Programming-Based Multi-Objective Optimization Approach to Data Replication Strategies for Distributed Systems. - Syed Mohtashim Abbas Bokhari; Oliver E. Theel (CEC, 2020)

Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming. - Syed Mohtashim Abbas Bokhari; Oliver E. Theel (ICAART (2), 2020)

Designing New Data Replication Strategies Automatically. - Syed Mohtashim Abbas Bokhari; Oliver E. Theel (ICAART (Revised Selected Papers), 2020)

Use of Genetic Programming Operators in Data Replication and Fault Tolerance. - Syed Mohtashim Abbas Bokhari; Oliver E. Theel (ICPADS, 2020)

Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems. - Syed Mohtashim Abbas Bokhari; Oliver E. Theel (PRDC, 2020)

A Flexible Hybrid Approach to Data Replication in Distributed Systems. - Syed Mohtashim Abbas Bokhari; Oliver E. Theel (SAI (1), 2020)

Gathering data with packet-in-packet in wireless sensor networks. - Xiaoyuan Ma; Peilin Zhang; Oliver E. Theel; Jianming Wei (Comput. Networks, 2020)

Environmental Wellbeing through Guerilla Sensing. - Marvin Banse; Florian Schmalriede; Oliver E. Theel; Andreas Winter 001 (GI-Jahrestagung, 2021)

Extending the Concept of Voting Structures to Support Path-Based Replication Strategies. - Christian Linder; Oliver E. Theel (PRDC, 2021)

System correctness under adverse conditions. - Ernst-Rüdiger Olderog; Martin Fränzle; Oliver E. Theel; Paul Kröger (it Inf. Technol., 2021)