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

Efficient reasoning about data trees via integer linear programming., , und . ACM Trans. Database Syst., 37 (3): 19:1-19:28 (2012)Efficient reasoning about data trees via integer linear programming., , und . ICDT, Seite 18-29. ACM, (2011)Tree Automata over Infinite Alphabets., und . Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 386-423. Springer, (2008)Two Variable Logic with Ultimately Periodic Counting., , und . ICALP, Volume 168 von LIPIcs, Seite 112:1-112:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the Complexity of k-DQBF., und . SAT, Volume 271 von LIPIcs, Seite 10:1-10:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Distributed Streaming with Finite Memory., , , und . ICDT, Volume 31 von LIPIcs, Seite 324-341. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Reducing NEXP-complete problems to DQBF., , , und . FMCAD, Seite 199-204. IEEE, (2022)Automata for two-variable logic over trees with ordered data values. CoRR, (2012)Towards a more efficient approach for the satisfiability of two-variable logic., , und . LICS, Seite 1-13. IEEE, (2021)On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics., , , und . FSTTCS, Volume 213 von LIPIcs, Seite 36:1-36:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)