The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oliver E. Theel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Oliver E. Theel, Henning Pagnia
    Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:252-261 [Conf]
  4. 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]
  5. Oliver E. Theel, Markus Pizka
    Distributed Caching and Replication - Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  6. Oliver E. Theel, Michel Raynal
    Static and Dynamic Adaptation of Transactional Consistency. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:533-542 [Conf]
  7. Henning Pagnia, Oliver E. Theel
    Improving Replication Protocols through Priorities. [Citation Graph (0, 0)][DBLP]
    HPDC, 1998, pp:342-343 [Conf]
  8. 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]
  9. Oliver E. Theel
    An Exercise in Proving Self-Stabilization through Ljapunov Functions. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:727-730 [Conf]
  10. Oliver E. Theel
    General Structured Voting: A Flexible Framework for Modelling Cooperations. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:227-236 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Achour Mostéfaoui, Oliver E. Theel
    Shrinking Timestamp Sizes of Event Ordering Protocols. [Citation Graph (0, 0)][DBLP]
    ICPADS, 1998, pp:193-202 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. Oliver E. Theel
    A General Framework for Modelling Data Replication Schemes. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1993, pp:247-250 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Oliver E. Theel
    Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP]
    DISC, 2000, pp:209-222 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]

  28. Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. [Citation Graph (, )][DBLP]


  29. A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. [Citation Graph (, )][DBLP]


  30. Decompositional Construction of Lyapunov Functions for Hybrid Systems. [Citation Graph (, )][DBLP]


  31. How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. [Citation Graph (, )][DBLP]


  32. A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). [Citation Graph (, )][DBLP]


  33. Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. [Citation Graph (, )][DBLP]


  34. Dependability Engineering of Silent Self-stabilizing Systems. [Citation Graph (, )][DBLP]


  35. A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. [Citation Graph (, )][DBLP]


  36. A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. [Citation Graph (, )][DBLP]


  37. Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002