Treffer 1 - 18 von 18 für Suche 'Jaax, Stefan', Suchdauer: 0,63s Treffer weiter einschränken
  1. 1
    Limit-Deterministic Büchi Automata for Linear Temporal Logic

    Limit-Deterministic Büchi Automata for Linear Temporal Logic von Sickert, Salomon, Esparza, Javier, Jaax, Stefan, Křetínský, Jan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The complexity of verifying population protocols

    The complexity of verifying population protocols von Esparza, Javier, Jaax, Stefan, Raskin, Mikhail, Weil-Kennedy, Chana

    Veröffentlicht in Distributed computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Towards efficient verification of population protocols

    Towards efficient verification of population protocols von Blondin, Michael, Esparza, Javier, Jaax, Stefan, Meyer, Philipp J.

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs

    Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs von Esparza, Javier, Helfrich, Martin, Jaax, Stefan, Meyer, Philipp J.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Running Time Analysis of Broadcast Consensus Protocols

    Running Time Analysis of Broadcast Consensus Protocols von Czerner, Philipp, Jaax, Stefan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    On Affine Reachability Problems

    On Affine Reachability Problems von Jaax, Stefan, Kiefer, Stefan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Running Time Analysis of Broadcast Consensus Protocols

    Running Time Analysis of Broadcast Consensus Protocols von Czerner, Philipp, Jaax, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On Affine Reachability Problems

    On Affine Reachability Problems von Jaax, Stefan, Kiefer, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Expressive Power of Broadcast Consensus Protocols

    Expressive Power of Broadcast Consensus Protocols von Blondin, Michael, Esparza, Javier, Jaax, Stefan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs

    Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs von Esparza, Javier, Helfrich, Martin, Jaax, Stefan, Meyer, Philipp J

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Complexity of Verifying Population Protocols

    The Complexity of Verifying Population Protocols von Esparza, Javier, Jaax, Stefan, Raskin, Mikhail, Weil-Kennedy, Chana

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Succinct Population Protocols for Presburger Arithmetic

    Succinct Population Protocols for Presburger Arithmetic von Blondin, Michael, Esparza, Javier, Genest, Blaise, Helfrich, Martin, Jaax, Stefan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Large Flocks of Small Birds: On the Minimal Size of Population Protocols

    Large Flocks of Small Birds: On the Minimal Size of Population Protocols von Blondin, Michael, Esparza, Javier, Jaax, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Towards Efficient Verification of Population Protocols

    Towards Efficient Verification of Population Protocols von Blondin, Michael, Esparza, Javier, Jaax, Stefan, Meyer, Philipp J

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Expressive Power of Broadcast Consensus Protocols

    Expressive Power of Broadcast Consensus Protocols von Blondin, Michael, Esparza, Javier, Jaax, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The Complexity of Verifying Population Protocols

    The Complexity of Verifying Population Protocols von Esparza, Javier, Jaax, Stefan, Raskin, Mikhail, Weil-Kennedy, Chana

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs

    Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs von Esparza, Javier, Helfrich, Martin, Jaax, Stefan, Meyer, Philipp J

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Succinct Population Protocols for Presburger Arithmetic

    Succinct Population Protocols for Presburger Arithmetic von Blondin, Michael, Esparza, Javier, Genest, Blaise, Helfrich, Martin, Jaax, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: