default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOliver E. Theel
Person information
- affiliation: University of Oldenburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j14]Ernst-Rüdiger Olderog, Martin Fränzle
, Oliver E. Theel, Paul Kröger:
System correctness under adverse conditions. it Inf. Technol. 63(5-6): 249-251 (2021)- [c85]Marvin Banse, Florian Schmalriede, Oliver E. Theel, Andreas Winter:
Environmental Wellbeing through Guerilla Sensing. GI-Jahrestagung 2021: 57-66 - [c84]Christian Linder, Oliver E. Theel:
Extending the Concept of Voting Structures to Support Path-Based Replication Strategies. PRDC 2021: 37-46 - 2020
- [j13]Xiaoyuan Ma, Peilin Zhang, Oliver E. Theel, Jianming Wei:
Gathering data with packet-in-packet in wireless sensor networks. Comput. Networks 170: 107124 (2020) - [c83]Syed Mohtashim Abbas Bokhari, Oliver E. Theel:
A Genetic Programming-Based Multi-Objective Optimization Approach to Data Replication Strategies for Distributed Systems. CEC 2020: 1-9 - [c82]Syed Mohtashim Abbas Bokhari, Oliver E. Theel:
Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming. ICAART (2) 2020: 120-129 - [c81]Syed Mohtashim Abbas Bokhari, Oliver E. Theel:
Designing New Data Replication Strategies Automatically. ICAART (Revised Selected Papers) 2020: 308-331 - [c80]Syed Mohtashim Abbas Bokhari, Oliver E. Theel:
Use of Genetic Programming Operators in Data Replication and Fault Tolerance. ICPADS 2020: 290-299 - [c79]Syed Mohtashim Abbas Bokhari, Oliver E. Theel:
Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems. PRDC 2020: 21-30 - [c78]Syed Mohtashim Abbas Bokhari, Oliver E. Theel:
A Flexible Hybrid Approach to Data Replication in Distributed Systems. SAI (1) 2020: 196-207
2010 – 2019
- 2019
- [j12]Dennis Lisiecki, Peilin Zhang, Oliver E. Theel:
CONE: A Connected Dominating Set-Based Flooding Protocol for Wireless Sensor Networks. Sensors 19(10): 2378 (2019) - [c77]Xiaoyuan Ma, Peilin Zhang, Ye Liu, Xin Li, Weisheng Tang, Pei Tian, Jianming Wei, Lei Shu, Oliver E. Theel:
Competition: Using DeCoT+ to Collect Data under Interference. EWSN 2019: 290-291 - 2018
- [j11]Xiaoyuan Ma, Peilin Zhang, Xin Li, Weisheng Tang, Jianming Wei, Oliver E. Theel:
DeCoT: A Dependable Concurrent Transmission-Based Protocol for Wireless Sensor Networks. IEEE Access 6: 73130-73146 (2018) - [j10]Peilin Zhang, Mohamed Abdelaal, Oliver E. Theel:
Quality of service control in proactive wireless sensor networks via lifetime planning. Int. J. Sens. Networks 26(4): 252-268 (2018) - [j9]Peilin Zhang, Alex Yuan Gao, Oliver E. Theel:
Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4(13): e4 (2018) - [c76]Awais Usman, Peilin Zhang, Oliver E. Theel:
A Highly Available Replicated Service Registry for Service Discovery in a Highly Dynamic Deployment Infrastructure. SCC 2018: 265-268 - [c75]Xiaoyuan Ma, Peilin Zhang, Weisheng Tang, Xin Li, Wangji He, Fuping Zhang, Jianming Wei, Oliver E. Theel:
Competition: Using Enhanced OF∂COIN to Monitor Multiple Concurrent Events under Adverse Conditions. EWSN 2018: 211-212 - [c74]Robert Schadek, Oliver Kramer, Oliver E. Theel:
Predicting Read- and Write-Operation Availabilities of Quorum Protocols based on Graph Properties. ICAART (2) 2018: 550-558 - [c73]Peilin Zhang, Xiaoyuan Ma, Oliver E. Theel, Jianming Wei:
Packet-in-Packet: Concatenation with Concurrent Transmission for Data Collection in Low-Power Wireless Sensor Networks. ICPADS 2018: 868-877 - [c72]Peilin Zhang, Xiaoyuan Ma, Oliver E. Theel, Jianming Wei:
Concurrent Transmission-based Packet Concatenation in Wireless Sensor Networks. LCN 2018: 421-424 - 2017
- [j8]Jenny Röbesaat, Peilin Zhang, Mohamed Abdelaal, Oliver E. Theel:
An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study. Sensors 17(5): 951 (2017) - [c71]Awais Usman, Peilin Zhang, Oliver E. Theel:
A Component-Based Highly Available Data Replication Strategy Exploiting Operation Types and Hybrid Communication Mechanisms. SCC 2017: 495-498 - [c70]Peilin Zhang, Olaf Landsiedel, Oliver E. Theel:
MOR: Multichannel Opportunistic Routing for Wireless Sensor Networks. EWSN 2017: 36-47 - [c69]Awais Usman, Peilin Zhang, Oliver E. Theel:
An efficient and updatable item-to-item frequency matrix for frequent itemset generation. ICC 2017: 85:1-85:6 - [c68]Peilin Zhang, Alex Yuan Gao, Oliver E. Theel:
Less is More: Learning More with Concurrent Transmissions for Energy-Efficient Flooding. MobiQuitous 2017: 323-332 - [c67]Robert Schadek, Oliver E. Theel:
Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols. PRDC 2017: 98-103 - [c66]Awais Usman, Robert Schadek, Oliver E. Theel:
A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge. PRDC 2017: 301-310 - 2016
- [j7]Mohamed Abdelaal, Oliver E. Theel, Christian Kuka, Peilin Zhang, Yang Gao, Vasilisa Bashlovkina, Daniela Nicklas, Martin Fränzle:
Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks. Int. J. Distributed Sens. Networks 12(5): 1576038:1-1576038:28 (2016) - 2015
- [j6]Kinga Lipskoch, Oliver E. Theel:
Relaxing data consistency along different dimensions for increasing operation availabilities. Int. J. Parallel Emergent Distributed Syst. 30(3): 233-261 (2015) - [c65]Eike Möhlmann, Willem Hagemann, Oliver E. Theel:
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMATS 2015: 222-239 - [c64]Robert Schadek, Oliver E. Theel:
Crossing - A Highly Available Quorum Protocol for Arbitrary Planar Topologies. ICA3PP (3) 2015: 717-728 - [c63]Vasilisa Bashlovkina, Mohamed Abdelaal, Oliver E. Theel:
FuzzyCAT: A lightweight Adaptive Transform for sensor data compression. ICC Workshops 2015: 2756-2762 - [c62]Vasilisa Bashlovkina, Mohamed Abdelaal, Oliver E. Theel:
FuzzyCAT: a novel procedure for refining the F-transform based sensor data compression. IPSN 2015: 340-341 - [c61]Mohamed Abdelaal, Christian Kuka, Oliver E. Theel, Daniela Nicklas:
Reliable virtual sensing for wireless sensor networks. ISSNIP 2015: 1-7 - [c60]Mohamed Abdelaal, Peilin Zhang, Oliver E. Theel:
QoS Improvement with Lifetime Planning in Wireless Sensor Networks. MSN 2015: 8-17 - [c59]Oday Jubran, Oliver E. Theel:
A Self-stabilizing PIF Algorithm for Educated Unique Process Selection. NETYS 2015: 485-489 - [c58]Dilshod Rahmatov, Jan Steffen Becker, Oliver E. Theel:
A Transformational Approach for the Hardening of Region-Adherent Algorithms. PRDC 2015: 80-90 - [c57]Oday Jubran, Oliver E. Theel:
Recurrence in Self-Stabilization. SRDS 2015: 58-67 - [c56]Oday Jubran, Eike Möhlmann, Oliver E. Theel:
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. SSS 2015: 124-138 - [c55]Eike Möhlmann, Oliver E. Theel:
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. ESSS 2015: 49-63 - 2014
- [c54]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. AINA Workshops 2014: 334-341 - [c53]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. AINA 2014: 1049-1056 - [c52]Mohamed Abdelaal, Yang Gao, Martin Fränzle, Oliver E. Theel:
EAVS: Energy aware virtual sensing for wireless sensor networks. ISSNIP 2014: 1-6 - [c51]Oday Jubran, Oliver E. Theel:
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. PRDC 2014: 106-115 - [c50]Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel:
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. PRDC 2014: 203-212 - [c49]Mohamed Abdelaal, Oliver E. Theel:
Recent energy-preservation endeavours for longlife wireless sensor networks: A concise survey. WOCN 2014: 1-7 - 2013
- [j5]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Combining decomposition and reduction for state space analysis of a self-stabilizing system. J. Comput. Syst. Sci. 79(7): 1113-1125 (2013) - [c48]Eike Möhlmann, Oliver E. Theel:
Stabhyli: a tool for automatic stability verification of non-linear hybrid systems. HSCC 2013: 107-112 - 2012
- [c47]Nils Müllner, Oliver E. Theel, Martin Fränzle:
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System. AINA 2012: 936-943 - 2011
- [c46]Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker:
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97 - [c45]Nils Müllner, Oliver E. Theel:
The Degree of Masking Fault Tolerance vs. Temporal Redundancy. AINA Workshops 2011: 21-28 - [c44]Jens Kamenik, Oliver E. Theel:
Optimized data-available storage for energy-limited wireless sensor networks. LCN 2011: 1011-1019 - 2010
- [c43]Kinga Kiss Iakab, Christian Storm, Oliver E. Theel:
Consistency-Driven Probabilistic Quorum System Construction for Improving Operation Availability. ICDCN 2010: 446-458 - [c42]Kinga Kiss Iakab, Oliver E. Theel:
The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off. ISPA 2010: 507-514 - [c41]Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel:
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36 - [c40]Abhishek Dhama, Oliver E. Theel:
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. SSS 2010: 80-95
2000 – 2009
- 2009
- [c39]Jens Oehlerking, Oliver E. Theel:
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems. ATVA 2009: 151-165 - [c38]Jens Oehlerking, Oliver E. Theel:
Decompositional Construction of Lyapunov Functions for Hybrid Systems. HSCC 2009: 276-290 - [c37]Christian Storm, Oliver E. Theel:
A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes. ICDCN 2009: 349-361 - [c36]Timo Warns, Christian Storm, Oliver E. Theel:
How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets. PDCAT 2009: 354-359 - [c35]Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253 - 2008
- [c34]Nils Müllner, Abhishek Dhama, Oliver E. Theel:
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. Annual Simulation Symposium 2008: 183-192 - [c33]Christian Storm, Timo Warns, Oliver E. Theel:
Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. PRDC 2008: 200-207 - 2007
- [c32]Jens Oehlerking, Henning Burchardt, Oliver E. Theel:
Fully Automated Stability Verification for Piecewise Affine Systems. HSCC 2007: 741-745 - 2006
- [c31]Christian Storm, Oliver E. Theel:
Highly Adaptable Dynamic Quorum Schemes for Managing Replicated Data. ARES 2006: 245-253 - [c30]Abhishek Dhama, Jens Oehlerking, Oliver E. Theel:
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. ICPADS (1) 2006: 23-30 - [c29]Abhishek Dhama, Oliver E. Theel, Timo Warns:
Reliability and Availability Analysis of Self-stabilizing Systems. SSS 2006: 244-261 - 2005
- [j4]Jens Oehlerking, Henning Burchardt, Oliver E. Theel:
Towards automatic verification of affine hybrid system stability. SIGBED Rev. 2(2): 27-30 (2005) - [c28]Thomas Strauß, Oliver E. Theel:
Integration of a Dynamic Object Replication Framework in Enterprise JavaBeans. Parallel and Distributed Computing and Networks 2005: 461-466 - [c27]Henning Burchardt, Jens Oehlerking, Oliver E. Theel:
Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. PRDC 2005: 374-378 - [c26]Jens Oehlerking, Abhishek Dhama, Oliver E. Theel:
Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems 2005: 198-213 - 2003
- [c25]Heiko Niemann, Wilhelm Hasselbring, Michael Hülsmann, Oliver E. Theel:
Realisierung eines adaptiven Replikationsmanagers mittels J2EE-Technologie. BTW 2003: 443-452 - [c24]Thomas Strauß, Oliver E. Theel:
Integration of a Dynamic Object Replication Framework in Java. PDP 2003: 258-265 - 2001
- [c23]Oliver E. Theel:
A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. HICSS 2001 - [c22]Oliver E. Theel:
An Exercise in Proving Self-Stabilization through Ljapunov Functions. ICDCS 2001: 727-730 - 2000
- [j3]Brett D. Fleisch, Heiko Michel, Sachin K. Shah, Oliver E. Theel:
Fault tolerance and configurability in DSM coherence protocols. IEEE Concurr. 8(2): 10-21 (2000) - [c21]Henning Pagnia, Oliver E. Theel, Hans Schupp:
Transparent management of replicated WWW document clusters. ICPADS Workshops 2000: 263-268 - [c20]Oliver E. Theel:
A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). PODC 2000: 331 - [c19]Oliver E. Theel:
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. DISC 2000: 209-222
1990 – 1999
- 1999
- [c18]Oliver E. Theel, Markus Pizka:
Distributed Caching and Replication - Introduction. HICSS 1999 - [c17]Oliver E. Theel, Thomas Strauß:
An Excursion to the Zoo of Dynamic Coterie-Based Replication Schemes. ICPP 1999: 344-353 - [c16]Oliver E. Theel, Felix C. Gärtner:
An exercise in proving convergence through transfer functions. WSS 1999: 41-47 - 1998
- [c15]Henning Pagnia, Oliver E. Theel, Jürgen Iwik:
Replicated Documents for the World-Wide Web. EUROMEDIA 1998: 57-64 - [c14]Oliver E. Theel, Henning Pagnia:
Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities. FTCS 1998: 252-261 - [c13]Henning Pagnia, Oliver E. Theel:
Sacrificing True Distribution for Gaining Access Efficiency of Replicated Shared Objects. HICSS (7) 1998: 599-601 - [c12]Henning Pagnia, Oliver E. Theel:
Improving Replication Protocols through Priorities. HPDC 1998: 342-343 - [c11]Achour Mostéfaoui, Oliver E. Theel:
Shrinking Timestamp Sizes of Event Ordering Protocols. ICPADS 1998: 193-202 - 1997
- [c10]Oliver E. Theel, Michel Raynal:
Static and Dynamic Adaptation of Transactional Consistency. HICSS (1) 1997: 533-542 - 1996
- [j2]Oliver E. Theel, Brett D. Fleisch:
The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems. Comput. J. 39(6): 496-510 (1996) - [j1]Oliver E. Theel, Brett D. Fleisch:
A Dynamic Coherence Protocol for Distributed Shared Memory Enforcing High Data Availability at Low Costs. IEEE Trans. Parallel Distributed Syst. 7(9): 915-930 (1996) - [c9]C. Liebig, Henning Pagnia, F. Schwappacher, Oliver E. Theel:
A Quality-of-Service Approach for Mobile Users of Replicated Data in Distributed Systems. ESM 1996: 842-846 - [c8]Oliver E. Theel, Henning Pagnia:
Bounded dynamic data allocation in distributed systems. HiPC 1996: 126-131 - 1995
- [c7]Oliver E. Theel, Henning Pagnia-Koch:
General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules. ICDCS 1995: 395-403 - [c6]Oliver E. Theel, Brett D. Fleisch:
Design and Analysis of Highly Availbalbe and Scalable Coherence Protocols for Distributed Shared Memory Systems Using Stochastic Modeling. ICPP (1) 1995: 126-130 - 1993
- [b1]Oliver E. Theel:
Vereinheitlichtes Konzept zur Konstruktion hochverfügbarer Dienste. Darmstadt University of Technology, Germany, 1993, pp. I-IX, 1-209 - [c5]Oliver E. Theel:
General Structured Voting: A Flexible Framework for Modelling Cooperations. ICDCS 1993: 227-236 - [c4]Oliver E. Theel:
A General Framework for Modelling Data Replication Schemes. MASCOTS 1993: 247-250 - 1992
- [c3]Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel:
Providing Low Cost Read Access to Replicated Data with Multi-Level Voting. INDC 1992: 357-376 - 1991
- [c2]Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel:
The Electoral District Strategy of Replicated Data in Distrinuted Systems. Fault-Tolerant Computing Systems 1991: 100-111 - [c1]Bernd Freisleben, Hans-Henning Koch, Oliver E. Theel:
Replication management in large networks. LCN 1991: 629-637
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
