Search the dblp DataBase
Oliver E. Theel :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christian Storm , Oliver E. Theel , Carl von Ossietzky Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data. [Citation Graph (0, 0)][DBLP ] ARES, 2006, pp:245-253 [Conf ] Heiko Niemann , Wilhelm Hasselbring , Michael Hülsmann , Oliver E. Theel Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. [Citation Graph (0, 0)][DBLP ] BTW, 2003, pp:443-452 [Conf ] Oliver E. Theel , Henning Pagnia Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. [Citation Graph (0, 0)][DBLP ] FTCS, 1998, pp:252-261 [Conf ] Oliver E. Theel A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. [Citation Graph (0, 0)][DBLP ] HICSS, 2001, pp:- [Conf ] Oliver E. Theel , Markus Pizka Distributed Caching and Replication - Introduction. [Citation Graph (0, 0)][DBLP ] HICSS, 1999, pp:- [Conf ] Oliver E. Theel , Michel Raynal Static and Dynamic Adaptation of Transactional Consistency. [Citation Graph (0, 0)][DBLP ] HICSS (1), 1997, pp:533-542 [Conf ] Henning Pagnia , Oliver E. Theel Improving Replication Protocols through Priorities. [Citation Graph (0, 0)][DBLP ] HPDC, 1998, pp:342-343 [Conf ] Jens Oehlerking , Henning Burchardt , Oliver E. Theel Fully Automated Stability Verification for Piecewise Affine Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:741-745 [Conf ] Oliver E. Theel An Exercise in Proving Self-Stabilization through Ljapunov Functions. [Citation Graph (0, 0)][DBLP ] ICDCS, 2001, pp:727-730 [Conf ] Oliver E. Theel General Structured Voting: A Flexible Framework for Modelling Cooperations. [Citation Graph (0, 0)][DBLP ] ICDCS, 1993, pp:227-236 [Conf ] Oliver E. Theel , Henning Pagnia-Koch General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. [Citation Graph (0, 0)][DBLP ] ICDCS, 1995, pp:395-403 [Conf ] Bernd Freisleben , Hans-Henning Koch , Oliver E. Theel The Electoral District Strategy of Replicated Data in Distrinuted Systems. [Citation Graph (0, 0)][DBLP ] Fault-Tolerant Computing Systems, 1991, pp:100-111 [Conf ] Abhishek Dhama , Jens Oehlerking , Oliver E. Theel Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. [Citation Graph (0, 0)][DBLP ] ICPADS (1), 2006, pp:23-30 [Conf ] Achour Mostéfaoui , Oliver E. Theel Shrinking Timestamp Sizes of Event Ordering Protocols. [Citation Graph (0, 0)][DBLP ] ICPADS, 1998, pp:193-202 [Conf ] Oliver E. Theel , Brett D. Fleisch Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling. [Citation Graph (0, 0)][DBLP ] ICPP (1), 1995, pp:126-130 [Conf ] Oliver E. Theel , Thomas Strauß An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. [Citation Graph (0, 0)][DBLP ] ICPP, 1999, pp:344-0 [Conf ] Bernd Freisleben , Hans-Henning Koch , Oliver E. Theel Providing Low Cost Read Access to Replicated Data with Multi-Level Voting. [Citation Graph (0, 0)][DBLP ] INDC, 1992, pp:357-376 [Conf ] Oliver E. Theel A General Framework for Modelling Data Replication Schemes. [Citation Graph (0, 0)][DBLP ] MASCOTS, 1993, pp:247-250 [Conf ] Thomas Strauß , Oliver E. Theel Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans. [Citation Graph (0, 0)][DBLP ] Parallel and Distributed Computing and Networks, 2005, pp:461-466 [Conf ] Thomas Strauß , Oliver E. Theel Integration of a Dynamic Object Replication Framework in Java. [Citation Graph (0, 0)][DBLP ] PDP, 2003, pp:258-265 [Conf ] Henning Burchardt , Jens Oehlerking , Oliver E. Theel Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. [Citation Graph (0, 0)][DBLP ] PRDC, 2005, pp:374-378 [Conf ] Jens Oehlerking , Abhishek Dhama , Oliver E. Theel Towards Automatic Convergence Verification of Self-stabilizing Algorithms. [Citation Graph (0, 0)][DBLP ] Self-Stabilizing Systems, 2005, pp:198-213 [Conf ] Oliver E. Theel Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP ] DISC, 2000, pp:209-222 [Conf ] Oliver E. Theel , Felix C. Gärtner An exercise in proving convergence through transfer functions. [Citation Graph (0, 0)][DBLP ] WSS, 1999, pp:41-47 [Conf ] Oliver E. Theel , Brett D. Fleisch The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems. [Citation Graph (0, 0)][DBLP ] Comput. J., 1996, v:39, n:6, pp:496-510 [Journal ] Oliver E. Theel , Brett D. Fleisch A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1996, v:7, n:9, pp:915-930 [Journal ] Abhishek Dhama , Oliver E. Theel , Timo Warns Reliability and Availability Analysis of Self-stabilizing Systems. [Citation Graph (0, 0)][DBLP ] SSS, 2006, pp:244-261 [Conf ] Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. [Citation Graph (, )][DBLP ] A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. [Citation Graph (, )][DBLP ] Decompositional Construction of Lyapunov Functions for Hybrid Systems. [Citation Graph (, )][DBLP ] How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. [Citation Graph (, )][DBLP ] A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). [Citation Graph (, )][DBLP ] Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. [Citation Graph (, )][DBLP ] Dependability Engineering of Silent Self-stabilizing Systems. [Citation Graph (, )][DBLP ] A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. [Citation Graph (, )][DBLP ] A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. [Citation Graph (, )][DBLP ] Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.305secs