Autor der Publikation

From Decidability to Undecidability by Considering Regular Sets of Instances.

. ICTCS, Volume 2756 von CEUR Workshop Proceedings, Seite 33-46. CEUR-WS.org, (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

From Decidability to Undecidability by Considering Regular Sets of Instances.. ICTCS, Volume 2756 von CEUR Workshop Proceedings, Seite 33-46. CEUR-WS.org, (2020)Entwicklung eines Domänenmodells zur Identifikation und Analyse von Prozessketten., , , und . FTVI/FTRI, Volume P-197 von LNI, Seite 73-82. GI, (2012)Analyse und Design von Prozessketten., , und . FTVI/FTRI, Volume P-162 von LNI, Seite 29-39. GI, (2010)Regular Intersection Emptiness of Graph Problems: Finding a Needle in a Haystack of Graphs with the Help of Automata., und . CoRR, (2020)Vorwort., , , und . MKWI, Seite 491. Universitätsverlag Ilmenau, (2016)Decomposing Permutation Automata., , und . CONCUR, Volume 203 von LIPIcs, Seite 18:1-18:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)PACE Solver Description: Zygosity., , , , , und . IPEC, Volume 285 von LIPIcs, Seite 39:1-39:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Monoids of Upper Triangular Matrices over the Boolean Semiring., und . MFCS, Volume 306 von LIPIcs, Seite 81:1-81:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Components of Trust Influencing eGovernment Adoption in Germany., , , und . EGOV, Volume 6846 von Lecture Notes in Computer Science, Seite 88-99. Springer, (2011)Process and Data-Oriented Approach for Bundling Corporate Reporting Duties to Public Authorities - A Case Study on the Example of Waste Management Reporting., , und . EGOV, Volume 6228 von Lecture Notes in Computer Science, Seite 400-411. Springer, (2010)