The SCEAS System
| |||||||

## 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.004secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |