Martin Helfrich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PODC | Decision Power of Weak Asynchronous Models of Distributed Computing. | Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza |
| 2020 | ATVA | Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs. | Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer |
| 2020 | CAV | Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. | Michael Blondin, Javier Esparza, Martin Helfrich, Antonn Kucera, Philipp J. Meyer |
| 2020 | CAV | Automata Tutor v3. | Loris D'Antoni, Martin Helfrich, Jan Kretnsk, Emanuel Ramneantu, Maximilian Weininger |
| 2020 | STACS | Succinct Population Protocols for Presburger Arithmetic. | Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax |