Rob van Glabbeek - Concepedia

Author

Rob van Glabbeek

Also Known As

Glabbeek, Van, Rob, R. Van Glabbeek, R. van Glabbeek, R.J. van Glabbeek, Rob Glabbeek, Rob Van Glabbeek, Rob van Glabbeek, van Glabbeek, Rob, van Glabbeek, Rob J., van Glabbeek, Rob; id_orcid 0000-0003-4712-7423

137

Publications

2.6K

Citations

H-Index

Concepts

All Affiliations

Data61 UNSW Sydney Centrum Wiskunde & Informatica Stanford University Vrije Universiteit Amsterdam

About

Rob van Glabbeek is an author at Data61 specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	16	741
2	Computer Science	12	15	497
3	Language Studies	4	4	94
4	Computer Engineering	2	2	45
5	Communication	1	1	17

Rob van Glabbeek

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Refinement of actions and equivalence notions for concurrent systems Rob van Glabbeek, Ursula Goltz Acta Informatica EngineeringAutomated ReasoningConcurrent ProgrammingConcurrency TheoryFormal Methods	2001	244
Reactive, generative, and stratified models of probabilistic processes Rob van Glabbeek, Scott A. Smolka, Bernhard Steffen, EngineeringVerificationStructural Operational SemanticsModel CheckingFormal Verification	2002	164
Ntyft/ntyxt Rules Reduce to Ntree Rules Wan Fokkink, Rob van Glabbeek Information and Computation Tree LanguageNtyft/ntyxt Rules ReduceComputational ComplexityTime ComplexityTree Automaton	1996	80
Branching Bisimilarity with Explicit Divergence Rob van Glabbeek, Bas Luttik, Nikola Trčka Fundamenta Informaticae	2009	78
Axiomatizing Prefix Iteration with Silent Steps Luca Aceto, Rob van Glabbeek, Wan Fokkink, Information and Computation EngineeringAutomated ReasoningPrefix IterationFormal MethodsComputer Science	1996	54
Characterising Testing Preorders for Finite Probabilistic Processes Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, EngineeringProbabilistic ComputationHigher-order LogicFormal VerificationComputational Logic	2007	46
Proof nets for unit-free multiplicative-additive linear logic (extended abstract) Denise Hughes, Rob van Glabbeek EngineeringAutomated ReasoningProof ComplexityProof NetsFormal Methods	2005	40
Remarks on Testing Probabilistic Processes Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Electronic Notes in Theoretical Computer Science	2007	39
Compositionality of Hennessy–Milner logic by structural operational semantics Wan Fokkink, Rob van Glabbeek, Paulien de Wind Theoretical Computer Science Formal SemanticsOperational SemanticsAutomated ReasoningStructural Operational SemanticsLanguage Studies	2005	38
The Difference between Splitting innandn+1 Rob van Glabbeek, Frits Vaandrager Information and Computation	1997	37

Page 1