( en | de | ru )

 

Disambiguation of "Helfrich, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Fast and Succinct Population Protocols for Presburger Arithmetic

, , , and . 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, volume 221 of LIPIcs, page 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (April 2022)
DOI: 10.4230/LIPIcs.SAND.2022.11

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kerstin Helfrich

Wolfgang Helfrich

Reiner Helfrich

Lars Helfrich

Stefan Helfrich

 

Other publications of authors with the same name

Automata Tutor v3., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.01419">Link</a><br>#conference.Succinct Population Protocols for Presburger Arithmetic, , , , and . (2019)Efficient Analysis of Population Protocols and Chemical Reaction Networks.. Technical University of Munich, Germany, (2023)Abstraction-Based Segmental Simulation of Chemical Reaction Networks., , , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 41-60. Springer, (2022)Automata Tutor v3., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (2020)Succinct Population Protocols for Presburger Arithmetic., , , , and . STACS, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1910.04600">Link</a><br>#conference.Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.03555">Link</a><br>#conference.Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , and . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.Fast and Succinct Population Protocols for Presburger Arithmetic., , , and . SAND, volume 221 of LIPIcs, page 11:1-11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Decision Power of Weak Asynchronous Models of Distributed Computing., , , and . PODC, page 115-125. ACM, (2021)