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

A Toolkit for First Order Extensions of Monadic Games., und . STACS, Volume 2010 von Lecture Notes in Computer Science, Seite 353-364. Springer, (2001)Algebraic Tools for the Overlapping Tile Product., und . LATA, Volume 8370 von Lecture Notes in Computer Science, Seite 335-346. Springer, (2014)On Languages of One-Dimensional Overlapping Tiles.. SOFSEM, Volume 7741 von Lecture Notes in Computer Science, Seite 244-256. Springer, (2013)Automata on Directed Graphs: Edge Versus Vertex Marking., und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2006)On labeled birooted tree languages: Algebras, automata and logic.. Inf. Comput., (2015)On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus., und . Fundam. Inform., 61 (3-4): 247-265 (2004)Two-way Automata and Regular Languages of Overlapping Tiles., und . Fundam. Inform., 141 (4): 311-343 (2015)Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices.. LICS, Seite 172-182. IEEE Computer Society, (1997)The T-calculus: towards a structured programing of (musical) time and space., , , , und . FARM@ICFP, Seite 23-34. ACM, (2013)Tree Automata and Discrete Distributed Games., und . FCT, Volume 3623 von Lecture Notes in Computer Science, Seite 540-551. Springer, (2005)