Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(55)
Farhad Arbab
16
Frank S. de Boer
16
Marcello M. Bonsangue
15
Joost N. Kok
12
Christel Baier
11
Conferences
(20)
REX
5
ICALP
4
CONCUR
4
Mathematical Foundations of Programming Semantics
3
MPC
2
Journals
(20)
ENTCS
13
TCS
11
IANDC
5
MSCS
4
SCP
2
Keywords
(134)
Embed
Subscribe
Academic
Authors
Jan J. M. M. Rutten
Edit
Jan J. M. M. Rutten
VU University of Amsterdam
Publications: 111
|
Citations: 2423
|
G-Index: 47
|
H-Index: 24
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
55 co-authors
from 1909 to 2011
; Cited by
1240 authors
Bing
Cumulative
Annual
Order by:
Publications
(111)
BibTeX
|
RIS
|
RefWorks
Download
Quantitative Kleene coalgebras
(
Citations: 3
)
Alexandra Silva
,
Filippo Bonchi
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 5, pp. 822-849, 2011
Non-Deterministic Kleene Coalgebras
(
Citations: 4
)
Alexandra Silva
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Computing Research Repository - CORR
, vol. 6, no. 3, 2010
Sampling, Splitting and Merging in Coinductive Stream Calculus
(
Citations: 1
)
Milad Niqui
,
Jan Rutten
Conference:
Mathematics of Program Construction - MPC
, pp. 310-330, 2010
A Decision Procedure for Bisimilarity of Generalized Regular Expressions
(
Citations: 1
)
Marcello M. Bonsangue
,
Georgiana Caltais
,
Eugen-Ioan Goriac
,
Dorel Lucanu
,
Jan J. M. M. Rutten
,
Alexandra Silva
Published in 2010.
Generalizing the powerset construction, coalgebraically
(
Citations: 1
)
Alexandra Silva
,
Filippo Bonchi
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 272-283, 2010
Order by:
Citations
(2423 times by 1464 publications)
Computational ludics
(
Citations: 5
)
Kazushige Terui
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 20, pp. 2048-2071, 2011
Modeling dynamic reconfigurations in Reo using high-level replacement systems
(
Citations: 4
)
Christian Krause
,
Ziyan Maraikar
,
Alexander Lazovik
,
Farhad Arbab
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 1, pp. 23-36, 2011
Quantitative Kleene coalgebras
(
Citations: 3
)
Alexandra Silva
,
Filippo Bonchi
,
Marcello M. Bonsangue
,
Jan J. M. M. Rutten
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 5, pp. 822-849, 2011
Injective spaces via adjunction
(
Citations: 3
)
Dirk Hofmann
Journal:
Journal of Pure and Applied Algebra - J PURE APPL ALG
, vol. 215, no. 3, pp. 283-302, 2011
Step-indexed kripke models over recursive worlds
(
Citations: 2
)
Lars Birkedal
,
Bernhard Reus
,
Jan Schwinghammer
,
Kristian Støvring
,
Jacob Thamsborg
,
Hongseok Yang
Published in 2011.
Comments