| Now you may compose temporal logic specifications H Barringer, R Kuiper, A Pnueli Proceedings of the sixteenth annual ACM symposium on Theory of computing, 51-63, 1984 | 345 | 1984 |
| A really abstract concurrent model and its temporal logic H Barringer, R Kuiper, A Pnueli Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986 | 223 | 1986 |
| A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Proceedings Third Israel Symposium on the Theory of Computing and Systems …, 1995 | 130 | 1995 |
| A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Information and Computation 150 (2), 132-152, 1999 | 101 | 1999 |
| A modal approach to intentions, commitments and obligations: Intention plus commitment yields obligation F Dignum, JJC Meyer, RJ Wieringa, R Kuiper Deontic logic, agency and normative systems, 80-97, 1996 | 82 | 1996 |
| Verification of object oriented programs using class invariants K Huizing, R Kuiper International Conference on Fundamental Approaches to Software Engineering …, 2000 | 65 | 2000 |
| Propositional temporal logics and equivalences U Goltz, R Kuiper, W Penczek International Conference on Concurrency Theory, 222-236, 1992 | 64 | 1992 |
| Combining dynamic deontic logic and temporal logic for the specification of deadlines F Dignum, R Kuiper Proceedings of the Thirtieth Hawaii International Conference on System …, 1997 | 61 | 1997 |
| Hierarchical development of concurrent systems in a temporal logic framework H Barringer, R Kuiper International Conference on Concurrency, 35-61, 1984 | 57 | 1984 |
| Fairness assumptions for CSP in a temporal logic framework R Kuiper, WP de Roever Mathematisch Centrum, Afdeling Informatica, 1982 | 48 | 1982 |
| A Compositional Approach to a CSP-like Language H Barringer, R Kuiper, A Pnueli host publication, 207-227, 1985 | 47 | 1985 |
| Improving partial order reductions for universal branching time properties W Penczek, M Szreter, R Gerth, R Kuiper Fundamenta Informaticae 43 (1-4), 245-267, 2000 | 44 | 2000 |
| Partial-order reduction techniques for real-time model checking D Dams, R Gerth, B Knaack, R Kuiper Formal Aspects of Computing 10 (5), 469-482, 1998 | 44 | 1998 |
| Traces and logic W Penczek, R Kuiper The book of Traces, 307-390, 1995 | 34 | 1995 |
| Specifying deadlines with continuous time using deontic and temporal logic F Dignum, R Kuiper International Journal of Electronic Commerce 3 (2), 67-85, 1998 | 32 | 1998 |
| Paradigms for real-time systems R Koymans, R Kuiper, E Zijlstra International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1988 | 29 | 1988 |
| Specifying message passing and real-time systems with real-time temporal logic R Koymxms, R Kuiper, E Zijlstra ESPRIT'87 Achievements and Impact, 311, 1987 | 27 | 1987 |
| Interface refinement in reactive systems R Gerth, R Kuiper, J Segers International Conference on Concurrency Theory, 77-93, 1992 | 25 | 1992 |
| An operational semantics for bonded nondeterminism equivalent to a denotational one R Kuiper | 25 | 1981 |
| Invariants for non-hierarchical object structures R Middelkoop, C Huizing, R Kuiper, EJ Luit Electronic Notes in Theoretical Computer Science 195, 211-229, 2008 | 24 | 2008 |
