( en | de | ru )

 

Disambiguierung von "Helfrich, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

, , , , und . Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 372-397. Springer, (Oktober 2020)
DOI: 10.1007/978-3-030-53291-8_20

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Helfrich

Michael Helfrich

Christine Helfrich

Reiner Helfrich

Lars Helfrich

 

Weitere Publikationen von Autoren mit dem selben Namen

Succinct Population Protocols for Presburger Arithmetic., , , , und . CoRR, (2019)Automata Tutor v3., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 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)Automata Tutor v3., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2020)Abstraction-Based Segmental Simulation of Chemical Reaction Networks., , , und . CMSB, Volume 13447 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2022)Succinct Population Protocols for Presburger Arithmetic., , , , und . STACS, Volume 154 von LIPIcs, Seite 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.Fast and succinct population protocols for Presburger arithmetic., , , und . J. Comput. Syst. Sci., (März 2024)Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 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, , , und . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, Volume 12302 von Lecture Notes in Computer Science, Seite 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., , , und . SAND, Volume 221 von LIPIcs, Seite 11:1-11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)