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
Authors
(966)
Thomas A. Henzinger
20
Ugo Montanari
17
J. Baeten
14
Glynn Winskel
13
Rance Cleaveland (W. Rance Cleaveland)
12
Scott Smolka
12
Matthew Hennessy
12
Rajeev Alur
12
Luca De Alfaro
11
Rob J. Van Glabbeek
11
Keywords
(826)
Subscribe
Academic
Conferences
CONCUR - International Conference on Concurrency Theory
CONCUR - International Conference on Concurrency Theory
Publications: 902
|
Citation Count: 17,920 (Self-Citation: 932)
|
H-Index: 64Year Range: 1984-2010
Interests:
Algorithms & Theory
Paper submissions due: 11 April 2012, Duration:
3 - 8 September 2012, Newcastle upon Tyne, United Kingdom
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(902)
Termination in Impure Concurrent Languages
(
Citations: 2
)
Romain Demangeon
,
Daniel Hirschkoff
,
Davide Sangiorgi
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 328-342, 2010
A Theory of Design-by-Contract for Distributed Multiparty Interactions
(
Citations: 3
)
Laura Bocchi
,
Kohei Honda
,
Emilio Tuosto
,
Nobuko Yoshida
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 162-176, 2010
Learning I/O Automata
(
Citations: 4
)
Fides Aarts
,
Frits W. Vaandrager
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 71-85, 2010
Reversing Higher-Order Pi
(
Citations: 2
)
Ivan Lanese
,
Claudio Antares Mezzina
,
Jean-Bernard Stefani
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 478-493, 2010
Nash Equilibria for Reachability Objectives in Multiplayer Timed Games
(
Citations: 3
)
Patricia Bouyer
,
Romain Brenguier
,
Nicolas Markey
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 192-206, 2010