Rob van Glabbeek

Cited by

	All	Since 2018
Citations	10397	2006
h-index	46	22
i10-index	111	51

500

250

125

375

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202344 69 125 123 145 152 215 257 216 203 216 241 258 222 253 261 345 349 378 324 377 394 360 481 430 411 382 425 381 380 350 399 260 342 274

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
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
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
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
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	1467	2001
Branching time and abstraction in bisimulation semantics RJ Van Glabbeek, WP Weijland Journal of the ACM (JACM) 43 (3), 555-600, 1996	1180	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	677	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	419	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	303	1989
Comparative concurrency semantics and refinement of actions RJ van Glabbeek Centrum voor Wiskunde en Informatica, 1990	219*	1990
Configuration structures RJ Van Glabbeek, GD Plotkin Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 199-209, 1995	161	1995
Bounded Nondeterminism and The Approximation Induction Principle in Process Algebra RJ van Glabbeek STACS 87, 336-347, 1987	145	1987
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	138	2006
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	124	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	96	1990
Proof nets for unit-free multiplicative-additive linear logic DJD Hughes, RJ van Glabbeek LICS, 1-10, 2003	94	2003
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, RJ van Glabbeek Information and Computation 126 (1), 1-10, 1996	92	1996
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	91	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