Rob van Glabbeek

Cited by

	All	Since 2018
Citations	10313	1928
h-index	47	21
i10-index	110	50

480

240

120

360

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202346 54 107 114 126 148 216 239 214 203 210 234 264 210 253 250 421 358 380 316 369 399 363 476 441 413 396 437 395 394 352 408 281 362 130

Public access

View all

20 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
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
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
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	1453	2001
Branching time and abstraction in bisimulation semantics RJ Van Glabbeek, WP Weijland Journal of the ACM (JACM) 43 (3), 555-600, 1996	1166	1996
The linear time-branching time spectrum II: the semantics of sequential systems with silent moves. RJ van Glabbeek CONCUR'93, 66-81, 1993	722*	1993
Reactive, generative, and stratified models of probabilistic processes RJ VanGlabbeek, SA Smolka, B Steffen Information and Computation 121 (1), 59-80, 1995	679	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	417	1987
Refinement of actions and equivalence notions for concurrent systems R van Glabbeek, U Goltz Acta Informatica 37 (4-5), 229-327, 2001	368*	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	298	1989
Comparative concurrency semantics and refinement of actions RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1990	222	1990
Configuration structures RJ Van Glabbeek, GD Plotkin Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 199-209, 1995	163	1995
Refinement of actions in causality based models R van Glabbeek, U Goltz Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	142	1990
On the expressiveness of higher dimensional automata RJ van Glabbeek Theoretical computer science 356 (3), 265-290, 2006	139	2006
Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra RJ van Glabbeek STACS 87, 336-347, 1987	139	1987
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	128	2007
Configuration structures, event structures and Petri nets RJ van Glabbeek, GD Plotkin Theoretical Computer Science 410 (41), 4111-4159, 2009	123	2009
Document controlled workflow systems and methods DG Stork, R Van Glabbeek US Patent 7,120,699, 2006	113	2006
The refinement theorem for ST-bisimulation semantics RJ van Glabbeek Centre for Mathematics and Computer Science, 1990	95	1990
Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ van Glabbeek LICS, 1-10, 2003	94	2003
The linear time–branching time spectrum I. The semantics of concrete, sequential processes R Glabbeek Handbook of Process Algebra 1342, 2001	92	2001
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	90	2012
Branching bisimilarity with explicit divergence R van Glabbeek, B Luttik, N Trčka Fundamenta Informaticae 93 (4), 371-392, 2009	90	2009

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