author-photo

Jan J. M. M. Rutten

Centrum Wiskunde & Informatica
Radboud University Nijmegen

230

Papers

6766

Citations

Citation Trend

Filter By

Papers (230) Sort By

Journal Conference Others

The Method of Coalgebra: exercises in coinduction

2019 FM | Formal Methods
- Jan J. M. M. Rutten
Show All
- Source
- Cite
- Save
Citations (5)
STREAM DIFFERENTIAL EQUATIONS: SPECIFICATION FORMATS AND SOLUTION METHODS

2017 Logical Methods in Computer Science
Show All
- Source
- Cite
- Save
Citations (8)
Newton series, coinductively: a comparative study of composition

2017 Mathematical Structures in Computer Science
Show All
- Source
- Cite
- Save
Citations (3)
A coalgebraic view on decorated traces

2016 Mathematical Structures in Computer Science
Show All
- Source
- Cite
- Save
Citations (9)
Proving language inclusion and equivalence by coinduction

2016 Information & Computation
Show All
- Source
- Cite
- Save
Citations (9)
Errata to "Formations of Monoids, Congruences, and Formal Languages"

2016
Show All
- Source
- Cite
- Save
Citations (0)
Enhanced coalgebraic bisimulation

2015 Mathematical Structures in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Context-free coalgebras

2015 Journal of Computer and System Sciences
Show All
- Source
- Cite
- Save
Citations (9)
Formations of monoids, congruences, and formal languages

2015 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (6)
Equations and Coequations for Weighted Automata

2015 MFCS | Mathematical Foundations of Computer Science
Show All
- Source
- Cite
- Save
Citations (3)