Autor der Publikation

How to Win First-Order Safety Games.

, , und . VMCAI, Volume 11990 von Lecture Notes in Computer Science, Seite 426-448. Springer, (2020)https://arxiv.org/abs/1908.05964.

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

Transparent teleteaching., und . ASCILITE, Seite 749-758. UNITEC Institute of Technology, Auckland, New Zealand, (2002)A Note on Karr's algorithm, und . Proc. Intl. Conference on Automata, Languages and Programming (ICALP), Volume 3142 von LNCS, Seite 1016--1028. (2004)Earliest Normal Form and Minimization for Bottom-up Tree Transducers., , und . Int. J. Found. Comput. Sci., 22 (7): 1607-1623 (2011)Games through Nested Fixpoints., und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 291-305. Springer, (2009)Parameter-Reduction of Higher Level Grammars (Extended Abstract).. CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 52-71. Springer, (1988)Equivalence of Finite-Valued Bottom-up Finite State Tree Transducers Is Decidable.. CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 269-284. Springer, (1990)On the Balancedness of Tree-to-Word Transducers., , und . DLT, Volume 12086 von Lecture Notes in Computer Science, Seite 222-236. Springer, (2020)Correctness Witness Validation by Abstract Interpretation., , , , , und . CoRR, (2023)Clustered Relational Thread-Modular Abstract Interpretation with Local Traces., , , , und . ESOP, Volume 13990 von Lecture Notes in Computer Science, Seite 28-58. Springer, (2023)When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C., , , , und . SOAP@PLDI, Seite 20-26. ACM, (2023)