Skip to contents

  1. Doty, David [Author]; Eftekhari, Mahsa [Author]; Michail, Othon [Author]; Spirakis, Paul G. [Author]; Theofilatos, Michail [Author] ; David Doty and Mahsa Eftekhari and Othon Michail and Paul G. Spirakis and Michail Theofilatos [Contributor]

    Brief Announcement: Exact Size Counting in Uniform Population Protocols in Nearly Logarithmic Time

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  2. Sudo, Yuichi [Author]; Ooshita, Fukuhito [Author]; Kakugawa, Hirotsugu [Author]; Masuzawa, Toshimitsu [Author] ; Yuichi Sudo and Fukuhito Ooshita and Hirotsugu Kakugawa and Toshimitsu Masuzawa [Contributor]

    Brief Announcement: Loosely-stabilizing Leader Election with Polylogarithmic Convergence Time

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  3. Gasieniec, Leszek [Author]; Hamilton, David [Author]; Martin, Russell [Author]; Spirakis, Paul G. [Author]; Stachowiak, Grzegorz [Author] ; Leszek Gasieniec and David Hamilton and Russell Martin and Paul G. Spirakis and Grzegorz Stachowiak [Contributor]

    Deterministic Population Protocols for Exact Majority and Plurality

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  4. Sudo, Yuichi [Author]; Ooshita, Fukuhito [Author]; Kakugawa, Hirotsugu [Author]; Masuzawa, Toshimitsu [Author] ; Yuichi Sudo and Fukuhito Ooshita and Hirotsugu Kakugawa and Toshimitsu Masuzawa [Contributor]

    Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population Protocols Without Identifiers nor Random Numbers

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  5. van Bergerem, Steffen [Author]; Guttenberg, Roland [Author]; Kiefer, Sandra [Author]; Mascle, Corto [Author]; Waldburger, Nicolas [Author]; Weil-Kennedy, Chana [Author] ; Steffen van Bergerem and Roland Guttenberg and Sandra Kiefer and Corto Mascle and Nicolas Waldburger and Chana Weil-Kennedy [Contributor]

    Verification of Population Protocols with Unordered Data

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  6. Lathrop, James I. [Author]; Lutz, Jack H. [Author]; Lutz, Robyn R. [Author]; Potter, Hugh D. [Author]; Riley, Matthew R. [Author] ; James I. Lathrop and Jack H. Lutz and Robyn R. Lutz and Hugh D. Potter and Matthew R. Riley [Contributor]

    Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  7. Berenbrink, Petra [Author]; Hammer, David [Author]; Kaaser, Dominik [Author]; Meyer, Ulrich [Author]; Penschuck, Manuel [Author]; Tran, Hung [Author] ; Petra Berenbrink and David Hammer and Dominik Kaaser and Ulrich Meyer and Manuel Penschuck and Hung Tran [Contributor]

    Simulating Population Protocols in Sub-Constant Time per Interaction

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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