Stefan Jaax

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 20

Top Topics

Totally Unimodular

Quantifier Elimination

Population Size

Top Venues

Publications

Philipp Czerner, Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols. FoSSaCS (2021)
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
The complexity of verifying population protocols. Distributed Comput. 34 (2) (2021)
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Towards efficient verification of population protocols. Formal Methods Syst. Des. 57 (3) (2021)
Philipp Czerner, Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols. CoRR (2021)
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic. STACS (2020)
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. ATVA (2020)
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs. CoRR (2020)
Stefan Jaax, Stefan Kiefer
On Affine Reachability Problems. MFCS (2020)
Michael Blondin, Javier Esparza, Stefan Jaax
Expressive Power of Oblivious Consensus Protocols. CoRR (2019)
Stefan Jaax, Stefan Kiefer
On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices. CoRR (2019)
Michael Blondin, Javier Esparza, Stefan Jaax
Expressive Power of Broadcast Consensus Protocols. CONCUR (2019)
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
The Complexity of Verifying Population Protocols. CoRR (2019)
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic. CoRR (2019)
Michael Blondin, Javier Esparza, Stefan Jaax
Large Flocks of Small Birds: On the Minimal Size of Population Protocols. CoRR (2018)
Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera
Black Ninjas in the Dark: Formal Analysis of Population Protocols. LICS (2018)
Michael Blondin, Javier Esparza, Stefan Jaax
Large Flocks of Small Birds: on the Minimal Size of Population Protocols. STACS (2018)
Michael Blondin, Javier Esparza, Stefan Jaax
Peregrine: A Tool for the Analysis of Population Protocols. CAV (1) (2018)
Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer
Towards Efficient Verification of Population Protocols. CoRR (2017)
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Towards Efficient Verification of Population Protocols. PODC (2017)
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský
Limit-Deterministic Büchi Automata for Linear Temporal Logic. CAV (2) (2016)