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

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. - Michael Blondin; Javier Esparza; Martin Helfrich; Antonín Kucera 001; Philipp J. Meyer (CAV (2), 2020)

Automata Tutor v3. - Loris D'Antoni; Martin Helfrich; Jan Kretínský; Emanuel Ramneantu; Maximilian Weininger (CAV (2), 2020)

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

Decision Power of Weak Asynchronous Models of Distributed Computing. - Philipp Czerner; Roland Guttenberg; Martin Helfrich; Javier Esparza (PODC, 2021)

Abstraction-Based Segmental Simulation of Chemical Reaction Networks. - Martin Helfrich; Milan Ceska 002; Jan Kretínský; Stefan Marticek (CMSB, 2022)

Artifact for CMSB22 paper "Abstraction-Based Segmental Simulation of Chemical Reaction Networks". - Martin Helfrich; Milan Ceska 002; Jan Kretínský; Stefan Marticek (Zenodo, 2022)

Efficient Analysis of Population Protocols and Chemical Reaction Networks. - Martin Helfrich (2023)

Fast and succinct population protocols for Presburger arithmetic. - Philipp Czerner; Roland Guttenberg; Martin Helfrich; Javier Esparza (J. Comput. Syst. Sci., 2024)

Abstraction-based segmental simulation of reaction networks using adaptive memoization. - Martin Helfrich; Roman Andriushchenko; Milan Ceska 002; Jan Kretínský; Stefan Marticek; David Safránek (BMC Bioinform., 2024)