Martin Helfrich

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Satisfiability Problem

Presburger Arithmetic

Distributed Computing

Decision Procedures

Top Venues

J. Comput. Syst. Sci.

Publications

Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and succinct population protocols for Presburger arithmetic. J. Comput. Syst. Sci. 140 (2024)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and Succinct Population Protocols for Presburger Arithmetic. SAND (2022)
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CoRR (2022)
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Abstraction-Based Segmental Simulation of Chemical Reaction Networks. CMSB (2022)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and Succinct Population Protocols for Presburger Arithmetic. CoRR (2022)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing. CoRR (2021)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing. PODC (2021)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CoRR (2020)
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic. STACS (2020)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. CAV (2) (2020)
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. ATVA (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CAV (2) (2020)
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs. CoRR (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CoRR (2020)
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic. CoRR (2019)