Rob van Glabbeek

Cited by

	All	Since 2019
Citations	10787	1897
h-index	49	21
i10-index	114	48

480

240

120

360

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202442 68 129 135 148 158 236 261 232 200 230 241 258 226 255 271 340 338 382 324 373 394 365 479 427 412 387 436 398 379 365 399 250 322 316 243

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

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
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
A FehnkerMacquarie UniversityVerified email at mq.edu.au
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
David G. StorkAdjunct Professor, Stanford UniversityVerified email at alum.mit.edu
Jos BaetenVerified email at cwi.nl
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
Dominic J. D. HughesVerified email at theory.stanford.edu
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Kirstin PetersUniversität AugsburgVerified email at uni-a.de

Rob van Glabbeek

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	1511	2001
Branching time and abstraction in bisimulation semantics RJ Van Glabbeek, WP Weijland Journal of the ACM (JACM) 43 (3), 555-600, 1996	1216	1996
The linear time-branching time spectrum II: the semantics of sequential systems with silent moves. RJ van Glabbeek CONCUR'93, 66-81, 1993	759*	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	709	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	427	1987
Refinement of actions and equivalence notions for concurrent systems R van Glabbeek, U Goltz Acta Informatica 37 (4-5), 229-327, 2001	378*	2001
Equivalence notions for concurrent systems and refinement of actions R van Glabbeek, U Goltz Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland …, 1989	311	1989
Comparative concurrency semantics and refinement of actions RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1990	229*	1990
Configuration structures RJ Van Glabbeek, GD Plotkin Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 199-209, 1995	167	1995
On the expressiveness of higher dimensional automata RJ van Glabbeek Theoretical computer science 356 (3), 265-290, 2006	154	2006
Refinement of actions in causality based models R van Glabbeek, U Goltz Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	150	1990
Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra RJ van Glabbeek STACS 87, 336-347, 1987	142	1987
Configuration structures, event structures and Petri nets RJ van Glabbeek, GD Plotkin Theoretical Computer Science 410 (41), 4111-4159, 2009	127	2009
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	125	2007
Document controlled workflow systems and methods DG Stork, R Van Glabbeek US Patent 7,120,699, 2006	114	2006
Branching bisimilarity with explicit divergence R van Glabbeek, B Luttik, N Trčka Fundamenta Informaticae 93 (4), 371-392, 2009	99	2009
The refinement theorem for ST-bisimulation semantics RJ van Glabbeek Centre for Mathematics and Computer Science, 1990	97	1990
A process algebra for wireless mesh networks A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan Programming Languages and Systems: 21st European Symposium on Programming …, 2012	95	2012
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, RJ van Glabbeek Information and Computation 126 (1), 1-10, 1996	95	1996
Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ van Glabbeek LICS, 1-10, 2003	94	2003

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

Follow

Cited by

Co-authors