| 2021 | FOSSACS | Running Time Analysis of Broadcast Consensus Protocols. | Philipp Czerner, Stefan Jaax |
| 2020 | ATVA | Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. | Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
| 2020 | MFCS | On Affine Reachability Problems. | Stefan Jaax, Stefan Kiefer |
| 2020 | STACS | Succinct Population Protocols for Presburger Arithmetic. | Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax |
| 2019 | CONCUR | Expressive Power of Broadcast Consensus Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax |
| 2018 | CAV | Peregrine: A Tool for the Analysis of Population Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax |
| 2018 | LICS | Black Ninjas in the Dark: Formal Analysis of Population Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax, Antonn Kucera |
| 2018 | STACS | Large Flocks of Small Birds: on the Minimal Size of Population Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax |
| 2017 | PODC | Towards Efficient Verification of Population Protocols. | Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer |
| 2016 | CAV | Limit-Deterministic Bchi Automata for Linear Temporal Logic. | Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretnsk |