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

Amalgamation in the semantics of CASL, , , , and . Theoretical Computer Science, 331 (1): 215-247 (2005)Nominal Computation Theory (Dagstuhl Seminar 13422)., , , and . Dagstuhl Reports, 3 (10): 58-71 (2013)Turing machines with atoms, constraint satisfaction problems, and descriptive complexity., , , and . CSL-LICS, page 58:1-58:10. ACM, (2014)Homomorphism Problems for First-Order Definable Structures., , , and . FSTTCS, volume 65 of LIPIcs, page 14:1-14:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Expressiveness of Probabilistic Modal Logics, Revisited., , and . ICALP, volume 80 of LIPIcs, page 105:1-105:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Checking amalgamability conditions for CASL architectural specifications, , , , and . Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, page 512--523. Springer; Berlin; http://www.springer.de, (2001)Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata., , and . LICS, page 1-13. IEEE, (2021)Polyregular functions on unordered trees of bounded height., and . CoRR, (2023)μ-Calculi with Atoms (Invited Talk).. CSL, volume 183 of LIPIcs, page 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Semantics of Architectural Specifications in CASL, , , , and . Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)