Autor der Publikation

Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States.

, , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 184-203. Springer, (2018)

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

Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm.. Inf. Comput., 206 (11): 1259-1263 (2008)A note on emptiness for alternating finite automata with a one-letter alphabet., und . Inf. Process. Lett., 104 (5): 164-167 (2007)On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs., , und . ACSD, Seite 47-56. IEEE Computer Society, (2006)Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States., , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 184-203. Springer, (2018)Deciding Bisimulation-Like Equivalences with Finite-State Processes., , und . ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 200-211. Springer, (1998)A Taxonomy of Forgetting Automata., , und . MFCS, Volume 711 von Lecture Notes in Computer Science, Seite 527-536. Springer, (1993)Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States., , und . Fundam. Inform., 169 (1-2): 123-150 (2019)Restarting Automata., , , und . FCT, Volume 965 von Lecture Notes in Computer Science, Seite 283-292. Springer, (1995)Techniques for Decidability and Undecidability of Bisimilarity., und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 30-45. Springer, (1999)Bisimilarity of One-Counter Processes Is PSPACE-Complete., , und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 177-191. Springer, (2010)