Autor der Publikation

Flatness and Complexity of Immediate Observation Petri Nets.

, , und . CONCUR, Volume 171 von LIPIcs, Seite 45:1-45:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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 Analysis of Immediate Observation Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 365-385. Springer, (2019)#conference.Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent, und . (2021)https://arxiv.org/abs/2108.07510.Observation Petri Nets.. Technical University of Munich, Germany, (2023)Flatness and Complexity of Immediate Observation Petri Nets., , und . CONCUR, Volume 171 von LIPIcs, Seite 45:1-45:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Efficient Restrictions of Immediate Observation Petri Nets, und . (2020)http://arxiv.org/abs/2007.09189.The Complexity of Verifying Population Protocols., , , und . Distributed Computing, (2021)https://arxiv.org/abs/1912.06578.Verification of Immediate Observation Population Protocols., , , und . CONCUR, Volume 118 von LIPIcs, Seite 31:1-31:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Parameterized Analysis of Reconfigurable Broadcast Networks., , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 61-80. Springer, (2022)The Complexity of Verifying Population Protocols., , , und . (2019)A Uniform Framework for Language Inclusion Problems., , und . Taming the Infinities of Concurrency, Volume 14660 von Lecture Notes in Computer Science, Seite 155-171. Springer, (2024)