Jan Rutten

16 papers B 1C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Newton series, coinductively: a comparative study of composition.
Math. Struct. Comput. Sci.
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2018 — ed.
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination
Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten
2017 J jnl
Enhanced coalgebraic bisimulation.
Math. Struct. Comput. Sci.
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
2017 J jnl
Enhanced coinduction (NII Shonan Meeting 2017-17).
NII Shonan Meet. Rep.
Shin-ya Katsumata, Damien Pous, Jan Rutten
2017 J jnl
Stream Differential Equations: Specification Formats and Solution Methods.
Log. Methods Comput. Sci.
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
2016 J jnl
A coalgebraic view on decorated traces.
Math. Struct. Comput. Sci.
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
2016 J jnl
Proving language inclusion and equivalence by coinduction.
Inf. Comput.
Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
2015 C conf
Newton Series, Coinductively.
ICTAC
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
2014 — conf
(Co)Algebraic Characterizations of Signal Flow Graphs.
Horizons of the Mind
Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
2014 — conf
A Final Coalgebra for k-regular Sequences.
Horizons of the Mind
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
2014 — conf
Coalgebraic Semantics of Heavy-Weighted Automata.
WADT
Marie Fortin, Marcello M. Bonsangue, Jan Rutten
2014 — ed.
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Horizons of the Mind
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
2013 J jnl
Obituary for Jaco de Bakker, 1939-2012.
Bull. EATCS
Jan A. Bergstra, Jan Willem Klop, Jan Rutten
2013 B conf
Varieties and Covarieties of Languages (Extended Abstract).
MFPS
Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez
2012 — ch.
An introduction to (co)algebra and (co)induction.
Advanced Topics in Bisimulation and Coinduction
Bart Jacobs, Jan Rutten
2009 — conf
Coinductive Predicates as Final Coalgebras.
FICS
Milad Niqui, Jan Rutten