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

Equations and Coequations for Weighted Automata., , and . MFCS (1), volume 9234 of Lecture Notes in Computer Science, page 444-456. Springer, (2015)A Reo Model of Software Defined Networks., , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 69-85. Springer, (2019)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)Specifying Computations Using Hyper Transition Systems., and . MFCS, volume 1295 of Lecture Notes in Computer Science, page 169-178. Springer, (1997)A software architecture for distributed control systems and its transition system semantics., , , and . SAC, page 159-168. ACM, (1998)Comparing Coordination Models Based on Shared Distributed Replicated Data., and . SAC, page 156-165. ACM, (1999)Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture., , , , , and . Enterprise Modelling and Information Systems Architectures, 2 (1): 40-57 (2007)A coalgebraic view on decorated traces., , , , and . Math. Struct. Comput. Sci., 26 (7): 1234-1268 (2016)Structural congruence for bialgebraic semantics., and . J. Log. Algebraic Methods Program., 85 (6): 1268-1291 (2016)Learning Probabilistic Automata Using Residuals., , and . ICTAC, volume 12819 of Lecture Notes in Computer Science, page 295-313. Springer, (2021)