Author of the publication

Defining Context-Free Power Series Coalgebraically.

, , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)

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

Comparing Coordination Models Based on Shared Distributed Replicated Data., and . SAC, page 156-165. ACM, (1999)Specifying Computations Using Hyper Transition Systems., and . MFCS, volume 1295 of Lecture Notes in Computer Science, page 169-178. Springer, (1997)Learning Probabilistic Automata Using Residuals., , and . ICTAC, volume 12819 of Lecture Notes in Computer Science, page 295-313. Springer, (2021)A Language-Based Causal Model for Safety., , , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 290-307. Springer, (2022)(Co)Algebraic Characterizations of Signal Flow Graphs., , , and . Horizons of the Mind, volume 8464 of Lecture Notes in Computer Science, page 124-145. Springer, (2014)A software architecture for distributed control systems and its transition system semantics., , , and . SAC, page 159-168. ACM, (1998)Automatic Human-Like Detection of Code Smells., , and . DS, volume 12986 of Lecture Notes in Computer Science, page 19-28. Springer, (2021)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)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)