`Travelled to:`

1 × Canada

1 × China

1 × Czech Republic

1 × Denmark

1 × Finland

1 × Hungary

1 × Italy

1 × Spain

1 × United Kingdom

2 × USA

`Collaborated with:`

M.M.Bonsangue A.Silva J.N.Kok F.S.d.Boer J.Rot ∅ E.P.d.Vink F.Arbab C.Baier C.Palamidessi P.America J.d.Bakker D.Ancona

`Talks about:`

coalgebra (5) coinduct (3) polynomi (2) languag (2) concurr (2) semant (2) logic (2) probabilist (1) constraint (1) connector (1)

## Person: Jan J. M. M. Rutten

### DBLP: Rutten:Jan_J=_M=_M=

### Contributed to:

### Wrote 11 papers:

- ICALP-v2-2014-BonsangueRABR #algebra #induction
- A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
- LATA-2013-RotBR #equivalence #induction #proving
- Coinductive Proof Techniques for Language Equivalence (JR, MMB, JJMMR), pp. 480–492.
- FoSSaCS-2009-BonsangueRS #algebra #polynomial #theorem
- A Kleene Theorem for Polynomial Coalgebras (MMB, JJMMR, AS), pp. 122–136.
- LICS-2009-BonsangueRS #algebra #polynomial
- An Algebra for Kripke Polynomial Coalgebras (MMB, JJMMR, AS), pp. 49–58.
- FoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis
- Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.
- SEFM-2004-ArbabBBR #component #logic #modelling
- Models and Temporal Logics for Timed Component Connectors (FA, CB, FSdB, JJMMR), pp. 198–207.
- ICALP-1999-Rutten #automaton #induction
- Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously (JJMMR), pp. 645–654.
- ICALP-1997-VinkR #algebra #approach #bisimulation #probability
- Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach (EPdV, JJMMR), pp. 460–470.
- ILPS-1993-BoerKPR #concurrent #constraints #programming
- Non-monotonic Concurrent Constraint Programming (FSdB, JNK, CP, JJMMR), pp. 315–334.
- ICALP-1988-KokR #concurrent #semantics
- Contractions in Comparing Concurrent Semantics (JNK, JJMMR), pp. 317–332.
- POPL-1986-AmericaBKR #object-oriented #parallel #semantics
- Operational Semantics of a Parallel Object-Oriented Language (PA, JdB, JNK, JJMMR), pp. 194–208.