Autor der Publikation

Coefficient Synthesis for Threshold Automata

. Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, Volume 13608 von Lecture Notes in Computer Science, Seite 125--139. Springer, (2022)
DOI: 10.1007/978-3-031-19135-0\_9

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Parameterized verification of coverability in infinite state broadcast networks.. Inf. Comput., (2021)Adaptive Synchronisation of Pushdown Automata., und . CONCUR, Volume 203 von LIPIcs, Seite 17:1-17:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Decidability and Complexity of Decision Problems for Affine Continuous VASS.. LICS, Seite 7:1-7:13. ACM, (2024)Generalized threshold arrangements.. CoRR, (2019)Reachability in Continuous Pushdown VASS., , , und . CoRR, (2023)Complexity of Verification and Synthesis of Threshold Automata., , und . CoRR, (2020)https://arxiv.org/abs/2007.06248.Complexity of controlled bad sequences over finite sets of Nd.. LICS, Seite 130-140. ACM, (2020)Parameterized Analysis of Reconfigurable Broadcast Networks., , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 61-80. Springer, (2022)Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy., , und . FoSSaCS, Volume 12650 von Lecture Notes in Computer Science, Seite 42-61. Springer, (2021)Characterizing Consensus in the Heard-Of Model., und . CONCUR, Volume 171 von LIPIcs, Seite 9:1-9:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)