Autor der Publikation

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

Projection Representation of Mazurkiewicz Traces.. Fundam. Inform., 85 (1-4): 399-408 (2008)Classifying invariant structures of step traces., , , und . J. Comput. Syst. Sci., (2019)On Persistent Reachability in Petri Nets., , und . ACSD/Petri Nets Workshops, Volume 827 von CEUR Workshop Proceedings, Seite 373-384. CEUR-WS.org, (2010)Reduction of Order Structures., , und . ACSD, Seite 96-105. IEEE Computer Society, (2017)Reaction Systems and Enabling Equivalence., , und . Fundam. Inform., 171 (1-4): 261-277 (2020)Generating All Minimal Petri Net Unsolvable Binary Words., , , und . Stringology, Seite 33-46. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2016)On Synthesising Step Alphabets for Acyclic Invariant Structures., , , und . ATAED@Petri Nets/ACSD, Volume 1847 von CEUR Workshop Proceedings, Seite 76-88. CEUR-WS.org, (2017)Reversing Steps in Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 171-191. Springer, (2019)On Binary Words Being Petri Net Solvable., , , , und . ATAED@Petri Nets/ACSD, Volume 1371 von CEUR Workshop Proceedings, Seite 1-15. CEUR-WS.org, (2015)Reaction Systems, Transition Systems, and Equivalences., , , und . Adventures Between Lower Bounds and Higher Altitudes, Volume 11011 von Lecture Notes in Computer Science, Seite 63-84. Springer, (2018)