Statistics
Publications
14
Citations
860
H-Index
13
Active since
1983
Ruurd Kuiper is an author at Eindhoven University of Technology specializing in computing, computer science, and formal methods.
Publications per year
1983–2012
14
14
Now you may compose temporal logic specifications
Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1984 · 266 citations · Full text
A really abstract concurrent model and its temporal logic
Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1986 · 157 citations
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
A partial order approach to branching time logic model checking
Rob Gerth, Ruurd Kuiper, Doron Peled et al. · 2002 · 66 citations
1–5 of 14