Zum Inhalt springen

  1. Défago, Xavier [Verfasser:in]; Emek, Yuval [Verfasser:in]; Kutten, Shay [Verfasser:in]; Masuzawa, Toshimitsu [Verfasser:in]; Tamura, Yasumasa [Verfasser:in] ; Xavier Défago and Yuval Emek and Shay Kutten and Toshimitsu Masuzawa and Yasumasa Tamura [Mitwirkende:r]

    Communication Efficient Self-Stabilizing Leader Election

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  2. Dolev, Shlomi [Verfasser:in]; Kamei, Sayaka [Verfasser:in]; Katayama, Yoshiaki [Verfasser:in]; Ooshita, Fukuhito [Verfasser:in]; Wada, Koichi [Verfasser:in] ; Shlomi Dolev and Sayaka Kamei and Yoshiaki Katayama and Fukuhito Ooshita and Koichi Wada [Mitwirkende:r]

    Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  3. Mirzaie, Nahal [Verfasser:in]; Faghih, Fathiyeh [Verfasser:in]; Jacobs, Swen [Verfasser:in]; Bonakdarpour, Borzoo [Verfasser:in] ; Nahal Mirzaie and Fathiyeh Faghih and Swen Jacobs and Borzoo Bonakdarpour [Mitwirkende:r]

    Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  4. Sudo, Yuichi [Verfasser:in]; Datta, Ajoy K. [Verfasser:in]; Larmore, Lawrence L. [Verfasser:in]; Masuzawa, Toshimitsu [Verfasser:in] ; Yuichi Sudo and Ajoy K. Datta and Lawrence L. Larmore and Toshimitsu Masuzawa [Mitwirkende:r]

    Self-Stabilizing Token Distribution with Constant-Space for Trees

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  5. Di Luna, Giuseppe A. [Verfasser:in]; Flocchini, Paola [Verfasser:in]; Santoro, Nicola [Verfasser:in]; Viglietta, Giovanni [Verfasser:in]; Yamashita, Masafumi [Verfasser:in] ; Giuseppe A. Di Luna and Paola Flocchini and Nicola Santoro and Giovanni Viglietta and Masafumi Yamashita [Mitwirkende:r]

    Meeting in a Polygon by Anonymous Oblivious Robots

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  6. Cohen, Johanne [Verfasser:in]; Maâmra, Khaled [Verfasser:in]; Manoussakis, George [Verfasser:in]; Pilard, Laurence [Verfasser:in] ; Johanne Cohen and Khaled Maâmra and George Manoussakis and Laurence Pilard [Mitwirkende:r]

    Polynomial Self-Stabilizing Maximum Matching Algorithm with Approximation Ratio 2/3

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  7. Scheideler, Christian [Verfasser:in]; Setzer, Alexander [Verfasser:in]; Strothmann, Thim [Verfasser:in] ; Christian Scheideler and Alexander Setzer and Thim Strothmann [Mitwirkende:r]

    Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  8. Turau, Volker [Verfasser:in] ; Technische Universität Hamburg, Technische Universität Hamburg Institut für Telematik

    Computing fault-containment times of self-stabilizing algorithms using lumped Markov Chains

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2018

    Erschienen in: Algorithms ; 2018, 11, 58, 21 Seiten

  9. Clementi, Andrea [Verfasser:in]; Ghaffari, Mohsen [Verfasser:in]; Gualà, Luciano [Verfasser:in]; Natale, Emanuele [Verfasser:in]; Pasquale, Francesco [Verfasser:in]; Scornavacca, Giacomo [Verfasser:in] ; Andrea Clementi and Mohsen Ghaffari and Luciano Gualà and Emanuele Natale and Francesco Pasquale and Giacomo Scornavacca [Mitwirkende:r]

    A Tight Analysis of the Parallel Undecided-State Dynamics with Two Colors

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  10. Datta, Ajoy K. [Verfasser:in]; Larmore, Lawrence L. [Verfasser:in]; Masuzawa, Toshimitsu [Verfasser:in] ; Ajoy K. Datta and Lawrence L. Larmore and Toshimitsu Masuzawa [Mitwirkende:r]

    Maximum Matching for Anonymous Trees with Constant Space per Process

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  11. Bruna, Maria [Verfasser:in]; Grigore, Radu [Verfasser:in]; Kiefer, Stefan [Verfasser:in]; Ouaknine, Joël [Verfasser:in]; Worrell, James [Verfasser:in] ; Maria Bruna and Radu Grigore and Stefan Kiefer and Joël Ouaknine and James Worrell [Mitwirkende:r]

    Proving the Herman-Protocol Conjecture

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  12. Rickmann, Christina [Verfasser:in]; Wagner, Christoph [Verfasser:in]; Nestmann, Uwe [Verfasser:in]; Schmid, Stefan [Verfasser:in] ; Christina Rickmann and Christoph Wagner and Uwe Nestmann and Stefan Schmid [Mitwirkende:r]

    Topological Self-Stabilization with Name-Passing Process Calculi

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016