Concepedia

Jan Rutten

JR

Statistics

Publications

21

Citations

1.2K

H-Index

17

Active since

1989

Affiliations

Centrum Wiskunde & Informatica(Current)

Leiden University

Radboud University Nijmegen

Vrije Universiteit Amsterdam

University of Bonn

Jan Rutten is an author at Centrum Wiskunde & Informatica specializing in computer science, computing, and formal methods.

Publications per year

1989–2017

21

Publications

21

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab et al. · Science of Computer Programming · 2006 · 307 citations · Full text

, , +12

2SrO · 3Al2 O 3 : Eu2 +  and 1.29 ( Ba , Ca )  O  , 6Al2 O 3 : Eu2 +  : Two New Blue‐Emitting Phosphors

B.M.J. Smets, Jan Rutten, G. Hoeks et al. · Journal of The Electrochemical Society · 1989 · 174 citations

, , +17

Generalizing determinization from automata to coalgebras

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue et al. · Logical Methods in Computer Science · 2013 · 112 citations · Full text

, , +15

On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

Daniele Turi, Jan Rutten · Mathematical Structures in Computer Science · 1998 · 93 citations · Full text

, , +14

Elements of generalized ultrametric domain theory

Jan Rutten · Theoretical Computer Science · 1996 · 80 citations

, , +5

1–5 of 21