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

Macro forest transducers., und . Inf. Process. Lett., 89 (3): 141-149 (2004)Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable., , und . J. ACM, 65 (4): 21:1-21:30 (2018)Numerical Invariants through Convex Relaxation and Max-Strategy Iteration, und . CoRR, (2012)Infinite-state high-level MSCs: Model-checking and realizability., , , und . J. Comput. Syst. Sci., 72 (4): 617-647 (2006)Abstract interpretation meets convex optimization., , , , und . J. Symb. Comput., 47 (12): 1416-1446 (2012)Single-Valuedness of Tree Transducers is Decidable in Polynomial Time.. Theor. Comput. Sci., 106 (1): 135-181 (1992)Fast and Simple Nested Fixpoints. Universität Trier, Mathematik/Informatik, Forschungsbericht, (1996)Interprocedural Analysis Based on PDAs, und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1997)When Is a Functional Tree Transduction Deterministic?. TAPSOFT, Volume 668 von Lecture Notes in Computer Science, Seite 251-265. Springer, (1993)Least Solutions of Equations over N.. ICALP, Volume 820 von Lecture Notes in Computer Science, Seite 400-411. Springer, (1994)