Zum Inhalt springen

  2. Usman, Awais [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]

    Highly available data replication strategies exploiting data semantics, operation types and finite state space

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 19 Dezember 2023

  3. Schadek, Robert [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]

    Analysis and Development of Quorum Protocols for Real-World Network Topologies

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2021

  4. Bokhari, Syed Mohtashim Abbas [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]

    Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2021

  5. Usman, Awais [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]

    Highly Available Data Replication Strategies Exploiting Data Semantics, Operation Types and Finite State Space

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2023

  6. Schadek, Robert [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]

    Analysis and Development of Quorum Protocols for Real-World Network Topologies

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2021

  7. Bokhari, Syed Mohtashim Abbas [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]

    Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2021

  8. Boelsen, Tobias [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Banse, Marvin [AkademischeR BetreuerIn]

    Entwurf und Realisierung eines verteilten Sensornetzwerkes zur Optimierung von Lüftungskonzepten für Bildungseinrichtungen als Infektionsschutzmaßnahme vor SARS-CoV-2

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2022

  10. Abdelaal, Mohamed [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Nicklas, Daniela [Sonstige Person, Familie und Körperschaft]

    Enabling energy-efficient wireless sensing with improved service quality

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, 2016

  11. Hauck, Bernd [VerfasserIn] ; Turau, Volker [Sonstige Person, Familie und Körperschaft]; Theel, Oliver [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Institut für Telematik, Technische Universität Hamburg-Harburg

    Time- and space-efficient self-stabilizing algorithms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2012 ; 2013

  12. Möhlmann, Eike [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]

    Automatic stability verification via Lyapunov functions: representations, transformations, and practical issues

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2018

  13. Abdelaal, Mohamed [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Nicklas, Daniela [AkademischeR BetreuerIn]

    Enabling Energy-Efficient Wireless Sensing with Improved Service Quality

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2016

  14. Jubran, Oday [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Turau, Volker [AkademischeR BetreuerIn]

    Recurrence in Self-Stabilization: Theory, Verification, and Application

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2016

  15. Dhama, Abhishek [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]

    A compositional framework for Designing self-stabilizing distributed algorithms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2013

  16. Müllner, Nils Henning [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn]

    Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2014

  17. Möhlmann, Eike [VerfasserIn]; Theel, Oliver [VerfasserIn]

    Breaking dense structures : proving stability of densely structured hybrid systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2015

    Erschienen in: Electronic proceedings in theoretical computer science ; 184(2015), Seite 49-63

  18. Zhang, Peilin [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]; Landsiedel, Olaf [AkademischeR BetreuerIn]

    Improving end-to-end quality of service in low-power wireless sensor networks

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, [2020]

  19. Zhang, Peilin [VerfasserIn] ; Theel, Oliver [AkademischeR BetreuerIn]; Kramer, Oliver [AkademischeR BetreuerIn]; Landsiedel, Olaf [AkademischeR BetreuerIn]

    Improving end-to-end quality of service in low-power wireless sensor networks

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2020

  20. Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [AkademischeR BetreuerIn]; Theel, Oliver [AkademischeR BetreuerIn]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2017