( en | de | ru )

 

Disambiguation of "Helfrich, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Automata Tutor v3

, , , , and . Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (October 2020)
DOI: 10.1007/978-3-030-53291-8_1

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.

Wolfgang Helfrich

Stefan Helfrich

Michael Helfrich

Christine Helfrich

Reiner Helfrich

 

Other publications of authors with the same name

Succinct Population Protocols for Presburger Arithmetic., , , , and . CoRR, (2019)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.Efficient Analysis of Population Protocols and Chemical Reaction Networks.. Technical University of Munich, Germany, (2023)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.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)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)Fast and succinct population protocols for Presburger arithmetic., , , and . J. Comput. Syst. Sci., (March 2024)