Concepedia

Rob Gerth

RG

Statistics

Publications

17

Citations

933

H-Index

14

Active since

1984

Affiliations

Eindhoven University of Technology(Current)

Institute of Computer Science

Intel (United States)

Weizmann Institute of Science

Nokia (United States)

Rob Gerth is an author at Eindhoven University of Technology specializing in computer science, computing, and formal methods.

Publications per year

1984–2003

17

Publications

17

Abstract interpretation of reactive systems

Dennis Dams, Rob Gerth, Orna Grümberg · ACM Transactions on Programming Languages and Systems · 1997 · 383 citations · Full text

Computing, Computer Science, Computer Systems +8

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled et al. · Information and Computation · 1999 · 102 citations · Full text

Computing, Computer Science, Algorithms +12

A partial order approach to branching time logic model checking

Rob Gerth, Ruurd Kuiper, Doron Peled et al. · 2002 · 66 citations

Computing, Computer Science, Algorithms +12

Compositional semantics for real-time distributed computing

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever et al. · Information and Computation · 1988 · 64 citations · Full text

Computing, Computer Engineering, Computer Science +14

Improving Partial Order Reductions for Universal Branching Time Properties

Wojciech Penczek, Maciej Szreter, Rob Gerth et al. · Fundamenta Informaticae · 2000 · 42 citations

Computing, Computer Science, Algorithms +13

1–5 of 17