Martin Helfrich

17 papers A* 1A 1B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Abstraction-based segmental simulation of reaction networks using adaptive memoization.
BMC Bioinform.
Martin Helfrich, Roman Andriushchenko, Milan Ceska, Jan Kretínský, Stefan Marticek, David Safránek
2024 J jnl
Fast and succinct population protocols for Presburger arithmetic.
J. Comput. Syst. Sci.
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2023 — —
Efficient Analysis of Population Protocols and Chemical Reaction Networks.
Martin Helfrich
2022 — conf
Abstraction-Based Segmental Simulation of Chemical Reaction Networks.
CMSB
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
2022 J jnl
Abstraction-Based Segmental Simulation of Chemical Reaction Networks.
CoRR
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
2022 — conf
Fast and Succinct Population Protocols for Presburger Arithmetic.
SAND
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2022 J jnl
Fast and Succinct Population Protocols for Presburger Arithmetic.
CoRR
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2021 A* conf
Decision Power of Weak Asynchronous Models of Distributed Computing.
PODC
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2021 J jnl
Decision Power of Weak Asynchronous Models of Distributed Computing.
CoRR
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2020 — conf
Automata Tutor v3.
CAV (2)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 J jnl
Automata Tutor v3.
CoRR
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 — conf
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
CAV (2)
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
2020 J jnl
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling.
CoRR
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera, Philipp J. Meyer
2020 B conf
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.
ATVA
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 J jnl
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs.
CoRR
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 A conf
Succinct Population Protocols for Presburger Arithmetic.
STACS
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2019 J jnl
Succinct Population Protocols for Presburger Arithmetic.
CoRR
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax