Praktische Informatik - Systemsoftware und verteilte Systeme

Prof. Dr.-Ing. Oliver Theel

Kontaktinformationen

Postadresse     Carl v. Ossietzky Universität 

    Fakultät II, Department für Informatik

    Oldenburg, Niedersachsen 26111

    Germany
Telefon      +49 441 798 2364 

Fax 

    +49 441 798 2756

Email

    Theel(Klammeraffe)Informatik.Uni-Oldenburg.De

Publikationen

  • Kinga Kiss Iakab and Christian Storm and Oliver Theel
    "Consistency-driven Probabilistic Quorum System Construction for Improving Operation Availability"
    In Proceedings of the 11th International Conference on Distributed Computing and Networking (ICDCN'10),Springer Lecture Notes in Computer Science Number 5935, pages 446-458, January 2010

  • Jens Oehlerking und Oliver Theel
    "A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems"
    In Anders P. Ravn and Zhiming Liu (ed.): 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Springer, Lecture Notes in Computer Science, 2009
    [BibTeX]

  • Jens Oehlerking und Oliver Theel
    "Decompositional Construction of Lyapunov Functions for Hybrid Systems"
    In Rupak Majumdar and Paulo Tabuada (ed.): 12th International Conference on Hybrid Systems: Computation and Control, Springer, Lecture Notes in Computer Science, Num. 5469, S. 276-290, 2009
    [BibTeX]

  • Christian Storm und Oliver Theel
    "A General Approach to Analyzing Quorum-based Heterogeneous Dynamic Data Replication Schemes"
    In Proceedings of the 10th International Conference on Distributed Computing and Networking (ICDCN'09), Springer, Lecture Notes in Computer Science, Num. 5408, S. 349-361, Januar 2009
    [BibTeX]

  • Nils Müllner, Abhishek Dhama und Oliver Theelion of Fault Tolerance Measures
    "Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation"
    In ANSS '08: Proceedings of the 41st annual symposium on Simulation, IEEE Computer Society Press, April 2008
    [BibTeX]

  • Christian Storm, Timo Warns und Oliver Theel
    "Flexible Heterogeneous Strict Quorum-based Dynamic Data Replication Schemes"
    In Proceedings of the 14th Pacific Rim International Symposium on Dependable Computing (PRDC'08), IEEE Computer Society Press, S. 200-207, Dezember 2008
    [BibTeX]

  • Jens Oehlerking, Henning Burchardt und Oliver Theel
    "Fully Automated Stability Verification for Piecewise Affine Systems"
    In Alberto Bemporad, Antonio Bicchi and Giorgio Buttazzo (ed.): 10th International Conference on Hybrid Systems: Computation and Control, Springer, Lecture Notes in Computer Science, Vol. 4416, 2007
    [BibTeX] [Link]

  • Henning Burchardt, Jens Oehlerking und Oliver Theel
    "Developing a Tool for Automatic Stability Verification of Hybrid Systems"
    Poster Session,1st Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID'06), 2006
    [BibTeX]

  • Abhishek Dhama, Jens Oehlerking und Oliver Theel
    "Verification of Orbitally Self-stabilizing Distributed Algorithms using Lyapunov Functions and Poincaré Maps"
    In Twelfth International Conference on Parallel and Distributed Systems, IEEE Computer Society, S. 23 - 30, 2006
    [BibTeX] [Link]

  • Abhishek Dhama, Jens Oehlerking und Oliver Theel
    "Verification of Orbitally Self-Stabilizing Distributed Algorithms using Lyapunov Functions and Poincaré Maps"
    In Joseph L. Hellerstein, Xiaoyun Zhu and Tarek Abdelzaher (ed.): 1st Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID'06), April 2006
    [BibTeX] [Link]

  • Abhishek Dhama, Oliver Theel und Timo Warns
    "Reliability and Availability Analysis of Self-Stabilizing Systems"
    In Proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '06), Springer, Lecture Notes in Computer Science, Vol. 4280, S. 244-261, 2006
    [BibTeX]

  • Christian Storm und Oliver Theel
    "Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data"
    In Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES'06), IEEE Computer Society Press, S. 245-253, April 2006
    [BibTeX]

  • Henning Burchardt, Jens Oehlerking und Oliver Theel
    "Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems"
    In 11th Pacific Rim International Symposium on Dependable Computing, 2005
    [BibTeX] [Link]

  • Henning Burchardt, Jens Oehlerking und Oliver Theel
    "The Role of State-space Partitioning in Automated Verification of Affine Hybrid System Stability"
    In Proceedings of the 3rd International Conference on Computing, Communications and Control Technologies, Vol. 1, S. 187–192, 2005
    [BibTeX] [Link]

  • Jens Oehlerking, Henning Burchardt und Oliver Theel
    "Towards Automatic Verification of Affine Hybrid System Stability"
    SIGBED Review,Special Issue on IEEE RTAS 2005 Work-in-Progress, Vol. 2, S. 27–30, April 2005
    [BibTeX] [Link]

  • Jens Oehlerking, Abhishek Dhama und Oliver Theel
    "Towards Automatic Convergence Verification of Self-Stabilizing Algorithms"
    In Sébastien Tixeuil and Ted Herman (ed.): Symposium on Self-Stabilization, Springer, Lecture Notes in Computer Science, Vol. 3764, S. 198-213, 2005
    [BibTeX] [Link]

  • Oliver Theel
    "A New Verification Technique for Self-Stabilizing Distributed Algorithms Based on Variable Structure Systems and Ljapuov Theory"
    In Proc. of the 34th Hawaiian International Conference on System Sciences (HICSS-34), Maui, HI, U.S.A., Januar 2001
    [BibTeX]

  • Oliver Theel
    "An Exercise in Proving Self-Stabilization through Ljapunov Functions"
    In Proc. of the 21st Intern. Conference on Dsitributed Computing Systems (ICDCS'01), Phoenix, AZ, U.S.A., April 2001
    [BibTeX]

  • Brett D. Fleisch, Heiko Michel, Sachin K. Shah und Oliver E. Theel
    "Fault Tolerance and Configurability in DSM Coherence Protocols"
    IEEE Concurrency, Vol. 8, Num. 2, S. 10-21, apr-jun 2000
    [BibTeX]

  • Henning Pagnia, Oliver Theel und Hans Schupp
    "Transparent Management of Replicated WWW Document Clusters"
    In Proc. of the IEEE International Conference on Parallel and Distributed Systems: Workshops (ICPADS'00), Iwate, Japan, S. 263-268, Juli 2000
    [BibTeX] [Link]

  • Oliver Theel
    "Verification of Dijkstra's Self-Stabilizing Token Ring Algorithm by Means of Non-Linear Control System Analysis"
    In Proc. of the International Symposium on Computational Intelligence (CI'00) being part of the International Conference on Intelligent Systems and Applications (ISA'00), Wollongong, Australia, ICSC Academic Press, Wetaskiwin, Canada, Vol. 2, S. 465-472, Dezember 2000
    [BibTeX]

  • Oliver Theel
    "Brief Announcement: A Verification Technique for Self-Stabilizing Algorithms based on Ljapunov's ``Second Method''"
    In Proc. of the19th Annual Symposium on Principles of Distributed Computing (PODC'00), Portland, OR, U.S.A., S. 331, Juli 2000
    [BibTeX] [Link]

  • Oliver Theel
    "A Verification Technique for Self-Stabilizing Algorithms based on Ljapunov's ``Second Method''"
    Darmstadt University of Technology, Dept. of Computer Science, Institute for System Architecture, Number TUD-BS-2000-03, M\"{a}rz 2000
    [BibTeX]

  • Oliver Theel
    "Verification of Dijkstra's Self-Stabilizing Token Ring Algorithm by Means of Non-Linear Control System Analysis"
    Darmstadt University of Technology, Dept. of Computer Science, Institute for System Architecture, Number TUD-BS-2000-02, M\"{a}rz 2000
    [BibTeX]

  • Oliver Theel
    "Proving Convergence and Closure of Self-Stabilizing Algorithms through Ljapunov's ``Second Method''"
    In Jila S. Jamshidi (ed.): Proc. of the 3rd International Symposium on Intelligent Automation and Control (ISIAC'00), being part of the 4th Biannual World Automation Congress (WAC'00), Maui, HI, U.S.A., TSI Press, Albuquerque, NM, U.S.A., Intelligent Automation and Control: Rechent Trends in Development and Applications, Vol. 9, Juni 2000
    [BibTeX] [Link]

  • Oliver Theel
    "Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms"
    In Maurice Herlihy (ed.): Proc. of the 14th Symposium on Distributed Computing (DISC'00), Toledo, Spain, LNCS Vol. 1914, Springer-Verlag, Lecture Notes in Computer Science, Vol. 1914, S. 209-222, Oktober 2000
    [BibTeX] [Link]

  • Henning Pagnia, Oliver Theel und Hans Schupp
    "WarpWWW: Proxy-based Management of WWW Document Clusters for Improved Access Efficiency"
    Darmstadt University of Technology, Dept. of Computer Science, Institute for System Architecture, Number TUD-BS-1999-06, September 1999
    [BibTeX]

  • Oliver Theel und Markus Pizka
    "Distributed Caching and Replication"
    In Proc. of the 32nd International Conference on System Sciences (HICSS-32), Maui, Hawaii, U.S.A., S. 283-284, Januar 1999
    [BibTeX] [Link]

  • Oliver Theel und Henning Pagnia
    "Optimizing Quorum-Based Replica Control Protocols by Exploiting Symmetry"
    Information Processing Letters, 1999
    [BibTeX]

  • Oliver Theel und Felix C. Gärtner
    "An Exercise in Proving Convergence through Transfer Functions"
    In Proc. of the 4th Workshop on Self-Stabilizing Systems (WSS'99), being part of the 19th International Conference on Distributed Computer Systems (ICDCS'99), Austin, TX, U.S.A., S. 41-47, Juni 1999
    [BibTeX] [Link]

  • Oliver Theel und Felix C. Gärtner
    "On Proving Convergence through Transfer Functions (Extended Abstract)"
    In Jürgen Giesl (ed.): Proc. of the 4th International Workshop on Termination (WST'99), Dagstuhl, Germany, S. 46-47, May 1999
    [BibTeX] [Link]

  • Oliver Theel
    "Proving Convergence and Closure of Self-Stabilizing Algorihms through Ljapunov's ``Second Method''"
    Darmstadt University of Technology, Dept. of Computer Science, Institute for System Architecture, Number TUD-BS-1999-09, Dezember 1999
    [BibTeX]

  • Oliver Theel und Thomas Strauß
    "An Excursion to the Zoo of Coterie-based Replication Schemes"
    In Proc. of the 28th International Conference on Parallel Processing (ICPP'99), Aizu, Japan, S. 344-352, September 1999
    [BibTeX] [Link]

  • Achour Mostefaoui und Oliver Theel
    "Shrinking Timestamp Sizes of Event Ordering Protocols"
    In Proc. of the International Conference on Parallel and Distributed Systems (ICPADS'98), Tainan, Taiwan, R.O.C., S. 193-200, Dezember 1998
    [BibTeX] [Link]

  • Henning Pagnia, Oliver Theel und Jürgen Iwik
    "Replicated Documents for the World-wide Web"
    In Proc. of Euromedia, Leicester, UK, S. 57-64, Januar 1998
    [BibTeX] [Link]

  • Henning Pagnia und Oliver Theel
    "Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects"
    In Proc. of the 31th Hawaii Intern. Conference on System Sciences, HICSS-31, Hawaii, Hawaii, U.S.A., Vol. VII, S. 599-600, Januar 1998
    [BibTeX] [Link]

  • Henning Pagnia und Oliver Theel
    "Priority-based Quorum Protocols for Replicated Objects"
    In Proc. of the 2nd International Conference on Parallel and Distributed Computing and Networks (PDCN'98), Brisbane, Australia, S. 530-535, Dezember 1998
    [BibTeX] [Link]

  • Henning Pagnia und OliverTheel
    "On Improving Replication Protocols through Priorities (Extended Abstract)"
    In Proc. of the 7th International Symposium on High Performance Distributed Computing (HPDC-7), Chicago, IL, U.S.A., S. 342-343, Juli 1998
    [BibTeX] [Link]

  • Oliver Theel, Henning Pagnia, Andreas Berger und Christoph Liebig
    "Enhancing the World-Wide Web through Transparent Integration of Document Replication"
    In Proc. of the International Conference on Information Systems, Analysis, and Synthesis being part of the World Multiconference on Systemics, Cybernetics, and Informatics (SCI'98), Orlando, FL, U.S.A., Vol. 3, S. 334-341, Juli 1998
    [BibTeX] [Link]

  • Oliver Theel und Henning Pagnia
    "Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities"
    In Proc. of the 28th International Symposium on Fault-Tolerant Computing (FTCS-28), München, Germany, S. 252-261, Juni 1998
    [BibTeX] [Link]

  • Oliver Theel und Felix C. Gärtner
    "Exploiting Control Theory for Proving the Stability of Distributed Algorithms (Extended Abstract)"
    In Proc. of the 28th International Symposium on Fault-Tolerant Computing, Digest of FastAbstracts (FTCS-28), München, Germany, S. 62, Juni 1998
    [BibTeX] [Link]

  • Oliver Theel und Felix C. Gärtner
    "On Proving the Stability of Distributed Algorithms: Self-Stabilitzation vs. Control Theory"
    In V. B. Bajić (ed.): Proc. of the International Conference on Systems, Signals, Control, Computers (SSCC'98), Durban, South Africa, IAAMSAD and SA branch of ANS, Vol. 3, S. 58-66, September 1998
    [BibTeX] [Link]

  • Oliver Theel und Thomas Strauß
    "Automatic Generation of Dynamic Coterie-based Replication Schemes"
    Darmstadt University of Technology, Dept. of Computer Science, Institute for System Architecture, Number TUD-BS-1998-01, Februar 1998
    [BibTeX]

  • Oliver Theel und Thomas Strauß
    "Automatic Generation of Dynamic Coterie-based Replication Schemes"
    In Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Las Vegas, NV, U.S.A., Vol. 4, S. 1606-1613, Juli 1998
    [BibTeX] [Link]

  • Henning Pagnia, Oliver Theel und Jürgen Iwik
    "Replicated Documents for the World-wide Web"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1997-02, Juli 1997
    [BibTeX]

  • Henning Pagnia und Oliver Theel
    "Sacrificing True Distribution for Gaining Efficiency of Replicated Shared Objects"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1997-01, Juni 1997
    [BibTeX]

  • Henning Pagnia und Oliver Theel
    "Simplified Design of Replication Control Protocols through the Exploitation of Symmertry"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1997-04, November 1997
    [BibTeX]

  • Henning Pagnia und Oliver Theel
    "Improving Replication Protocols through Priorities"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1997-03, Oktober 1997
    [BibTeX]

  • Oliver Theel und Michel Raynal
    "Static and Dynamic Adaptation of Transactional Consistency"
    In Proc. of the 30th Hawaii Intern. Conference on System Sciences, HICSS-30, Maui, Hawaii, Vol. 1, S. 533-542, Januar 1997
    [BibTeX] [Link]

  • Oliver Theel und Henning Pagnia
    "Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1997-05, Dezember 1997
    [BibTeX]

  • Christoph Liebig, Henning Pagnia, Frank Schwappacher und Oliver Theel
    "A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1996-01, April 1996
    [BibTeX]

  • Christoph Liebig, Hans-Henning Pagnia, Frank Schwappacher und Oliver Theel
    "A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems"
    In Proc. of the 10th European Simulation Multiconference, ESM96, Budapest, Hungary, S. 842-851, Juni 1996
    [BibTeX] [Link]

  • Achour Mostefaoui und Oliver Theel
    "Reduction of Timestamp Sizes for Causal Event Ordering"
    Technical Report, IRISA, Number PI-1062, November 1996
    [BibTeX]

  • Hans-Henning Pagnia, Christoph Liebig und Oliver Theel
    "Mutual Trust between Customers and Providers of Distributed Services"
    In Proc. of the IASTED International Conference on Networks, Orlando, FL, S. 87-90, Januar 1996
    [BibTeX] [Link]

  • Oliver Theel und Michel Raynal
    "Static and Dynamic Adaptation of Transactional Consistency"
    Technical Report, INRIA, Number RR-2999, Oktober 1996
    [BibTeX]

  • Oliver Theel und Michel Raynal
    "Static and Dynamic Adaptation of Transactional Consistency"
    Internal Publication, IRISA Rennes, Campus universitaire de Beaulieu, Number PI-1025, May 1996
    [BibTeX]

  • Oliver Theel und Henning Pagnia
    "Static and Dynamic Analysis of Bounded Dynamic Data Allocation in Distributed Systems"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1996-02, August 1996
    [BibTeX]

  • Oliver Theel und Henning Pagnia
    "Bounded Dynamic Data Allocation in Distributed Systems"
    In Proc. of the 3rd Intern. Conference on High Performance Computing (HiPC), Trivandrum, India, IEEE, S. 126-131, Dezember 1996
    [BibTeX] [Link]

  • Oliver E. Theel und Brett D. Fleisch
    "Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems using Stochastic Modeling"
    IEEE Transactions on Parallel and Distributed Systems, Vol. 7, Num. 9, S. 915-930, September 1996
    [BibTeX]

  • Oliver E. Theel und Brett D. Fleisch
    "The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems"
    The Computer Journal, Vol. 39, Num. 6, S. 496-510, 1996
    [BibTeX]

  • Christoph Liebig, Hans-Henning Pagnia-Koch, Frank Schwappacher und Oliver Theel
    "Applying Scalable Read Consistency to Data Replication"
    In Proc. of the 13th International Conference on Applied Informatics, Innsbruck, Austria, Februar 1995
    [BibTeX] [Link]

  • Christoph Liebig, Henning Pagnia, Frank Schwappacher und Oliver Theel
    "Applying Scalable Read Consistency to Data Replication"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1995-01, Januar 1995
    [BibTeX]

  • Oliver Theel und Henning Pagnia-Koch
    "General Design of Grid-based Data Replication Schemes Using Graphs and a Few Rules"
    In Proc. of the 15th International Conference on Distributed Computing Systems, Vancouver, CA, S. 395-403, May 1995
    [BibTeX] [Link]

  • Oliver E. Theel und Brett D. Fleisch
    "A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs"
    Dept. of Computer Science, University of California, Number UCR-CS-95-2, May 1995
    [BibTeX]

  • Oliver E. Theel und Brett D. Fleisch
    "A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1995-03, May 1995
    [BibTeX]

  • Oliver E. Theel und Brett D. Fleisch
    "Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling"
    Dept. of Computer Science, University of California, Number UCR-CS-95-1, April 1995
    [BibTeX]

  • Oliver E. Theel und Brett D. Fleisch
    "Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1995-02, Januar 1995
    [BibTeX]

  • Oliver E. Theel und Brett D. Fleisch
    "Design and Analysis of Highly Available and Scalable Coherence Protocols for Distributed Shared Memory Systems"
    In Proc. of the 24th Intern. Conf. on Parallel Processing, Oconomowoc, WI, S. I-126 - I-130, August 1995
    [BibTeX] [Link]

  • Oliver E. Theel und Brett D. Fleisch
    "Analysis of a Fault-Tolerant Coherence Protocol for Distributed Shared Memory Systems Under Heavy Write Load"
    In Proc. of the Pacific Rim Intern. Symposium on Fault-Tolerant Systems, Newport Beach, CA, S. 146-151, Dezember 1995
    [BibTeX] [Link]

  • Henning Koch und Oliver Theel
    "An Efficient Data Replication Management Architecture Exploiting the Separation of Policy and Mechanism"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1994-01, M\"{a}rz 1994
    [BibTeX]

  • Oliver Theel und Hans-Henning Koch
    "Modeling and Analysis of Various Grid Protocols in a Simple and General Manner"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1994-02, May 1994
    [BibTeX]

  • Oliver Theel
    "Rapid Replication Scheme Design using General Structured Voting"
    In Proc. of the 17th Annual Computer Science Conference, Christchurch, New Zealand, S. 669-677, Januar 1994
    [BibTeX] [Link]

  • Oliver Theel
    "Meeting the Application's Needs: A Design Study of a Highly Customized Replication Scheme and its Implementation"
    Intern. Journal of Computer Systems Science and Engineering, Vol. 9, Num. 2, S. 89-97, April 1994
    [BibTeX]

  • Henning Koch, Lars Krombholz und Oliver Theel
    "A Brief Introduction into the World of 'Mobile Computing'"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1993-03, May 1993
    [BibTeX]

  • Oliver Theel
    "Meeting the Application's Needs: A Design Study of a Highly Customized Replication Scheme"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1993-05, Juli 1993
    [BibTeX]

  • Oliver Theel
    "Meeting the Application's Needs: A Design Study of a Highly Customized Replication Scheme"
    In Proc. of the 1993 Pacific Rim International Symposium on Fault Tolerant Computing, Melbourne, Australia, S. 111-117, Dezember 1993
    [BibTeX] [Link]

  • Oliver Theel
    "General Structured Voting: A Flexible Framework for Modelling Cooperations"
    In Proc. of the 13th International Conference on Distributed Computing Systems, Pittsburgh, PA, S. 227-236, May 1993
    [BibTeX] [Link]

  • Oliver Theel
    "Ein vereinheitlichendes Konzept zur Konstruktion hochverfügbarer Dienste (in German)"
    Ph.D. dissertation, Dept. of Computer Science, University of Darmstadt, Germany, Juli 1993
    [BibTeX]

  • Oliver Theel
    "A General Framework for Modelling Data Replication Schemes"
    In others (ed.): Proc. of the International Workshop on Modelling, Analysis and Simulation of Computer and Telecommunication Systems MASCOTS'93, San Diego, CA, S. 247-250, Januar 1993
    [BibTeX] [Link]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "Providing Low Cost Read Access to Replicated Data with Multi-Level Voting"
    In Proc. of the 4th International Conference on Information Networks and Data Communication, Helsinki, Finland, M\"{a}rz 1992
    [BibTeX] [Link]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "Designing Multi-Level Quorum Schemes for Highly Replicated Data (Extended version)"
    IEICE Transactions on Information and Systems, Vol. E75-D, Num. 6, S. 763-770, 1992
    [BibTeX]

  • Oliver Theel
    "General Structured Voting: A Flexible Framework for Modelling Cooperations"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1992-02, May 1992
    [BibTeX]

  • Oliver Theel
    "A General Framework for Modelling Data Replication Schemes"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1992-01, May 1992
    [BibTeX]

  • Oliver Theel
    "Beyond Logical Tree Structures for Data Replication Schemes"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, Number THD-BS-1992-04, Dezember 1992
    [BibTeX]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "Analysis of Multi-Level Voting Protocols for Replicated Databases"
    1991
    [BibTeX]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "Replication Management in Large Networks"
    In Proc. of the 16th Annual Conference on Local Computer Networks, Minneapolis, MN, S. 629-637, September 1991
    [BibTeX] [Link]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "The Electoral District Strategy for Replicated Data in Distributed Systems"
    In Proc. of the 5th International Conference of Fault-Tolerant Computing Systems, Nuremberg, Germany, S. 100-111, September 1991
    [BibTeX] [Link]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "Designing Multi-Level Quorum Schemes for Highly Replicated Data"
    In Proc. of the 1991 Pacific Rim International Symposium on Fault Tolerant Systems, Kyoto, Japan, S. 154-159, September 1991
    [BibTeX] [Link]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "A Multi-Level Quorum Scheme for Highly Replicated Objects"
    1990
    [BibTeX]

  • Hans-Henning Koch und Oliver Theel
    "Replikations-Management in großen Netzwerken (in German)"
    Diplomarbeit, Fachbereich Informatik, Technische Hochschule Darmstadt, Germany, April 1990
    [BibTeX] [Link]

  • Bernd Freisleben, Hans-Henning Koch und Oliver Theel
    "Replication Management in Large Scale Networks"
    University of Darmstadt, Dept. of Computer Science, Institute for System Architecture, 1989
    [BibTeX]