Author of the publication

Denotational Semantics of Hybrid Automata.

, and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 231-245. Springer, (2006)

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

The craft of model making: PSPACE bounds for non-iterative modal logics, and . CoRR, (2008)Semantical Principles in the Modal Logic of Coalgebras.. STACS, volume 2010 of Lecture Notes in Computer Science, page 514-526. Springer, (2001)Modular Construction of Modal Logics., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 258-275. Springer, (2004)Nominals for Everyone., , and . IJCAI, page 917-922. (2009)Coalgebraic Correspondence Theory., and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 328-342. Springer, (2010)Modular Algorithms for Heterogeneous Modal Logics., and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 459-471. Springer, (2007)Optimal Tableau Algorithms for Coalgebraic Logics., , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 114-128. Springer, (2010)Coalgebraic Predicate Logic., , , and . ICALP (2), volume 7392 of Lecture Notes in Computer Science, page 299-311. Springer, (2012)Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC., , and . IJCAI, page 962-968. IJCAI/AAAI, (2013)EXPTIME Tableaux for the Coalgebraic µ-Calculus., , and . CSL, volume 5771 of Lecture Notes in Computer Science, page 179-193. Springer, (2009)