Rob J. van Glabbeek - Concepedia

Author

Rob J. van Glabbeek

Also Known As

Di Guardia, Rémi, R. J. Glabbeek, R. J. van Glabbeek, R.J van Glabbeek, R.J. Van Glabbeek, R.J. van Glabbeek, Rob J. Glabbeek, Rob J. Van Glabbeek, Rob J. van Glabbeek, Rob van Glabbeek

Publications

Citations

H-Index

Concepts

All Affiliations

Data61 UNSW Sydney Stanford University University of Edinburgh Technische Universität Braunschweig

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	14	1.5K
2	Computer Science	11	13	1.5K
3	Language Studies	2	2	791
4	Social Sciences	1	1	18
5	Computer Engineering	1	1	11

Rob J. van Glabbeek

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Branching time and abstraction in bisimulation semantics Rob J. van Glabbeek, W. P. Weijland Journal of the ACM EngineeringVerificationConcurrent SystemSemanticsFormal Verification	1996	725
The Linear Time-Branching Time Spectrum (Extended Abstract) Rob J. van Glabbeek International Conference on Concurrency Theory Spectral TheoryExtended AbstractSpectral AnalysisTime Complexity	1990	222
Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). Rob J. van Glabbeek, W. P. Weijland IFIP Congress EngineeringAutomated ReasoningAbstract InterpretationFormal MethodsAbstraction (Computer Science)	1989	136
Configuration structures Rob J. van Glabbeek, Gordon Plotkin Petri NetEngineeringAutomated ReasoningConfiguration StructuresConcurrent Programming	2002	110
Configuration structures, event structures and Petri nets Rob J. van Glabbeek, Gordon Plotkin Theoretical Computer Science Petri NetEvent-driven ArchitectureEngineeringConfiguration StructuresStochastic Petri Net	2009	98
On the expressiveness of higher dimensional automata Rob J. van Glabbeek Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	2006	92
Proof nets for unit-free multiplicative-additive linear logic Dominic J. D. Hughes, Rob J. van Glabbeek ACM Transactions on Computational Logic EngineeringAutomated ReasoningProof ComplexityProof NetsFormal Methods	2005	83
Precongruence formats for decorated trace semantics Bard Bloom, Wan Fokkink, Rob J. van Glabbeek ACM Transactions on Computational Logic EngineeringSemantic EquivalencesHigher-order LogicSemanticsSoftware Analysis	2004	66
The meaning of negative premises in transition system specifications II Rob J. van Glabbeek The Journal of Logic and Algebraic Programming Public PolicyEngineeringVerificationFormal MethodsSystems Engineering	2004	65
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) Rob J. van Glabbeek, Ursula Goltz Mathematical Foundations of Computer Science Equivalence NotionsEngineeringAutomated ReasoningConcurrent ProgrammingConcurrency Theory	1989	58

Page 1