BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rutten:Jan_J=_M=_M=

Contributed to:

ICALP (2) 20142014
LATA 20132013
FOSSACS 20092009
LICS 20092009
FoSSaCS 20082008
SEFM 20042004
ICALP 19991999
ICALP 19971997
ILPS 19931993
ICALP 19881988
POPL 19861986

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.