Concepedia

R.J. vanGlabbeek

RV

Statistics

Publications

6

Citations

637

H-Index

6

Active since

1988

Affiliations

Stanford University(Current)

R.J. vanGlabbeek is an author at Stanford University specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1988–1995

6

Publications

6

Reactive, Generative, and Stratified Models of Probabilistic Processes

R.J. vanGlabbeek, Scott A. Smolka, Bernhard Steffen · Information and Computation · 1995 · 348 citations

, , +4

The linear time - branching time spectrum

R.J. vanGlabbeek · Lecture notes in computer science · 1990 · 98 citations

Branching time and abstraction in bisimulation semantics

R.J. vanGlabbeek, W. P. Weijland · 1989 · 82 citations

The refinement theorem for ST-bisimulation semantics

R.J. vanGlabbeek · Department of Computer Science [CS] · 1990 · 56 citations

, , +5

Refinement in branching time semantics

R.J. vanGlabbeek, W. P. Weijland · Department of Computer Science [CS] · 1989 · 37 citations

, , +8

1–5 of 6