Jan Rutten

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 7

Top Topics

Weighted Distance

Logical Language

Differential Equations

Top Venues

Math. Struct. Comput. Sci.

Horizons of the Mind

Publications

Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
Newton series, coinductively: a comparative study of composition. Math. Struct. Comput. Sci. 29 (1) (2019)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten
Stream Differential Equations: Specification Formats and Solution Methods. Log. Methods Comput. Sci. 13 (1) (2017)
Shin-ya Katsumata, Damien Pous, Jan Rutten
Enhanced coinduction (NII Shonan Meeting 2017-17). NII Shonan Meet. Rep. 2017 (2017)
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27 (7) (2017)
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26 (7) (2016)
Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
Proving language inclusion and equivalence by coinduction. Inf. Comput. 246 (2016)
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
Newton Series, Coinductively. ICTAC (2015)
Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind (2014)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
A Final Coalgebra for k-regular Sequences. Horizons of the Mind (2014)
Marie Fortin, Marcello M. Bonsangue, Jan Rutten
Coalgebraic Semantics of Heavy-Weighted Automata. WADT (2014)
Jan A. Bergstra, Jan Willem Klop, Jan Rutten
Obituary for Jaco de Bakker, 1939-2012. Bull. EATCS 109 (2013)
Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez
Varieties and Covarieties of Languages (Extended Abstract). MFPS (2013)
Milad Niqui, Jan Rutten
Coinductive Predicates as Final Coalgebras. FICS (2009)