Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fragments of Fixpoint Logic on Data Words., and . FSTTCS, volume 45 of LIPIcs, page 98-111. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Two Variables and Two Successors.. MFCS, volume 6281 of Lecture Notes in Computer Science, page 513-524. Springer, (2010)Generalized Data Automata and Fixpoint Logic., and . FSTTCS, volume 29 of LIPIcs, page 267-278. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Definability and Transformations for Cost Logics and Automatic Structures., , and . MFCS (1), volume 8634 of Lecture Notes in Computer Science, page 390-401. Springer, (2014)An Algebraic Characterisation of First-Order Logic with Neighbour., and . LICS, page 1-13. IEEE, (2021)Counting Multiplicity over Infinite Alphabets., and . RP, volume 5797 of Lecture Notes in Computer Science, page 141-153. Springer, (2009)Logics for Reversible Regular Languages and Semigroups with Involution., , and . DLT, volume 11647 of Lecture Notes in Computer Science, page 182-191. Springer, (2019)Two-Variable Logic over Countable Linear Orderings., and . MFCS, volume 58 of LIPIcs, page 66:1-66:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Combinatorial Expressions and Lower Bounds., and . STACS, volume 30 of LIPIcs, page 249-261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Cost Functions Definable by Min/Max Automata., , , and . STACS, volume 47 of LIPIcs, page 29:1-29:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)