( en | de | ru )

 

Disambiguation of "Rutten, Jan J. M. M."

Author of the publication

copydeleteadd this publication to your clipboard
A coalgebraic perspective on linear weighted automata.

, , , , and . Inf. Comput., (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.

Marinus M Rutten

J J M Ramakers

J M Zöllner

Jan M Herrmann

Jan M Gerken

 

Other publications of authors with the same name

Preface., , , and . Theor. Comput. Sci., 412 (38): 4967-4968 (2011)Stream processing coalgebraically., and . Sci. Comput. Program., 78 (11): 2192-2215 (2013)Nonwellfounded Sets and Programming Language Semantics.. MFPS, volume 598 of Lecture Notes in Computer Science, page 193-206. Springer, (1991)Initial Algebra and Final Coalgebra Semantics for Concurrency., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 530-582. Springer, (1993)On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders., and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 477-530. Springer, (1992)Processes as Terms: Non-Well-Founded Models for Bisimulation.. Math. Struct. Comput. Sci., 2 (3): 257-275 (1992)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)Elements of Stream Calculus (An Extensive Exercise in Coinduction).. MFPS, volume 45 of Electronic Notes in Theoretical Computer Science, page 358-423. Elsevier, (2001)Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses., , , and . MFCS, volume 379 of Lecture Notes in Computer Science, page 165-176. Springer, (1989)