Limit-Deterministic Büchi Automata for Linear Temporal Logic. - Salomon Sickert; Javier Esparza; Stefan Jaax; Jan Kretínský (CAV (2), 2016)

Peregrine: A Tool for the Analysis of Population Protocols. - Michael Blondin; Javier Esparza; Stefan Jaax (CAV (1), 2018)

Black Ninjas in the Dark: Formal Analysis of Population Protocols. - Michael Blondin; Javier Esparza; Stefan Jaax; Antonín Kucera 001 (LICS, 2018)

Large Flocks of Small Birds: on the Minimal Size of Population Protocols. - Michael Blondin; Javier Esparza; Stefan Jaax (STACS, 2018)

Expressive Power of Broadcast Consensus Protocols. - Michael Blondin; Javier Esparza; Stefan Jaax (CONCUR, 2019)

Expressive Power of Oblivious Consensus Protocols. - Michael Blondin; Javier Esparza; Stefan Jaax (CoRR, 2019)

On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices. - Stefan Jaax; Stefan Kiefer (CoRR, 2019)

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. - Javier Esparza; Martin Helfrich; Stefan Jaax; Philipp J. Meyer (ATVA, 2020)

On Affine Reachability Problems. - Stefan Jaax; Stefan Kiefer (MFCS, 2020)

Succinct Population Protocols for Presburger Arithmetic. - Michael Blondin; Javier Esparza; Blaise Genest; Martin Helfrich; Stefan Jaax (STACS, 2020)

Population Protocols: Expressiveness, Succinctness and Automatic Verification. - Stefan Jaax (2020)

Running Time Analysis of Broadcast Consensus Protocols. - Philipp Czerner; Stefan Jaax (FoSSaCS, 2021)

The complexity of verifying population protocols. - Javier Esparza; Stefan Jaax; Mikhail A. Raskin; Chana Weil-Kennedy (Distributed Comput., 2021)

Towards efficient verification of population protocols. - Michael Blondin; Javier Esparza; Stefan Jaax; Philipp J. Meyer (Formal Methods Syst. Des., 2021)