Rob van Glabbeek

Cited by

	All	Since 2016
Citations	9378	1965
h-index	45	22
i10-index	104	55

480

240

120

360

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202131 36 60 112 114 126 153 212 245 205 193 208 234 245 205 247 257 340 341 365 307 375 406 372 479 436 418 394 428 388 380 355 409 2

Co-authors

Peter HöfnerAustralian National University (ANU)Verified email at hoefner-online.de
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Wee Lum TanGriffith UniversityVerified email at griffith.edu.au
Marius PortmannThe University of QueenslandVerified email at itee.uq.edu.au
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
A FehnkerUniversity of TwenteVerified email at utwente.nl
David G. StorkVerified email at alum.mit.edu
Jos BaetenVerified email at cwi.nl
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Dominic J. D. HughesVerified email at theory.stanford.edu
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is

Rob van Glabbeek

Data61, CSIRO and UNSW

Verified email at cs.stanford.edu - Homepage

Concurrency concurrency theory process algebra formal methods temporal logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The linear time-branching time spectrum I. The semantics of concrete, sequential processes RJ Van Glabbeek Handbook of process algebra, 3-99, 2001	1306	2001
Branching time and abstraction in bisimulation semantics RJ Van Glabbeek, WP Weijland Journal of the ACM (JACM) 43 (3), 555-600, 1996	1074	1996
The linear time-branching time spectrum II: the semantics of sequential systems with silent moves. RJ van Glabbeek CONCUR'93, 66-81, 1993	664*	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	641	1995
Petri net models for algebraic theories of concurrency R Van Glabbeek, F Vaandrager International Conference on Parallel Architectures and Languages Europe, 224-242, 1987	399	1987
Refinement of actions and equivalence notions for concurrent systems R van Glabbeek, U Goltz Acta Informatica 37 (4-5), 229-327, 2001	336*	2001
Equivalence notions for concurrent systems and refinement of actions R van Glabbeek, U Goltz International Symposium on Mathematical Foundations of Computer Science, 237-248, 1989	303	1989
The linear time-branching time spectrum RJ Glabbeek CONCUR'90 Theories of Concurrency: Unification and Extension, 1990	210*	1990
Comparative concurrency semantics and refinement of actions RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1990	210	1990
Configuration structures RJ van Glabbeek, GD Plotkin Logic in Computer Science, 1995. LICS'95. Proceedings., Tenth Annual IEEE …, 1995	150	1995
Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra RJ van Glabbeek STACS 87, 336-347, 1987	134	1987
Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ van Glabbeek ACM Transactions on Computational Logic (TOCL) 6 (4), 784-842, 2005	132	2005
Refinement of actions in causality based models R van Glabbeek, U Goltz Workshop/School/Symposium of the REX Project (Research and Education in …, 1989	127	1989
Characterising testing preorders for finite probabilistic processes Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on …, 2007	115	2007
Document controlled workflow systems and methods DG Stork, R Van Glabbeek US Patent 7,120,699, 2006	111	2006
Configuration structures, event structures and Petri nets RJ van Glabbeek, GD Plotkin Theoretical Computer Science 410 (41), 4111-4159, 2009	107	2009
On the expressiveness of higher dimensional automata RJ van Glabbeek Theoretical computer science 356 (3), 265-290, 2006	104	2006
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, RJ van Glabbeek Information and Computation 126 (1), 1-10, 1996	91	1996
The refinement theorem for ST-bisimulation semantics RJ van Glabbeek Centre for Mathematics and Computer Science, 1990	91	1990
Precongruence formats for decorated trace semantics B Bloom, W Fokkink, RJ Van Glabbeek ACM Transactions on Computational Logic (TOCL) 5 (1), 26-78, 2004	84*	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors