Concepedia

Rob J. van Glabbeek

RJ

21

Publications

1.9K

Citations

17

H-Index

1989

Active since

Affiliations

Data61(Current)

Stanford University

University of Edinburgh

Technische Universität Braunschweig

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

Top concepts

Formal MethodsEngineeringComputer ScienceAutomated ReasoningFormal VerificationVerificationSystems EngineeringSoftware AnalysisParallel ProgrammingLanguage

Publications per year

1989–2013

21

Publications

21

Branching time and abstraction in bisimulation semantics

Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 725 citations · Full text

Engineering, Verification, Concurrent System +17

The Linear Time-Branching Time Spectrum (Extended Abstract)

Rob J. van Glabbeek · International Conference on Concurrency Theory · 1990 · 222 citations

Spectral Theory, Extended Abstract, Spectral Analysis +1

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek, W. P. Weijland · IFIP Congress · 1989 · 136 citations

Engineering, Automated Reasoning, Abstract Interpretation +4

Configuration structures

Rob J. van Glabbeek, Gordon Plotkin · 2002 · 110 citations

Petri Net, Engineering, Automated Reasoning +10

Configuration structures, event structures and Petri nets

Rob J. van Glabbeek, Gordon Plotkin · Theoretical Computer Science · 2009 · 98 citations · Full text

Petri Net, Event-driven Architecture, Engineering +6

Rows per page

1–5 of 21