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

Product Rules and Distributive Laws.. CMCS, volume 9608 of Lecture Notes in Computer Science, page 114-135. Springer, (2016)A Final Coalgebra for k-regular Sequences., , , and . Horizons of the Mind, volume 8464 of Lecture Notes in Computer Science, page 363-383. Springer, (2014)Is P = PSPACE for Infinite Time Turing Machines?. ILC, volume 5489 of Lecture Notes in Computer Science, page 126-137. Springer, (2007)QStream: A Suite of Streams.. CALCO, volume 8089 of Lecture Notes in Computer Science, page 353-358. Springer, (2013)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)A modal logic for abstract delta modeling., , and . SPLC (2), page 45-52. ACM, (2012)A Completeness Result for Finite λ-bisimulations.. FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 117-132. Springer, (2015)Context-Free Languages, Coalgebraically., , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 359-376. Springer, (2011)Towards future pedestrian-vehicle interactions: Introducing theoretically-supported AR prototypes., , , , and . AutomotiveUI, page 209-218. ACM, (2021)A Two-Dimensional Weighting Function for a Driver Assistance System., , , , and . IEEE Trans. Syst. Man Cybern. Part B, 38 (1): 189-195 (2008)