| 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 | 387 | 1984 |
| 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 | 241 | 1999 |
| 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 | 240 | 1986 |
| 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: ΔEON’96: Third International …, 1996 | 88 | 1996 |
| 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 | 71 | 1997 |
| Verification of object oriented programs using class invariants K Huizing, R Kuiper, SOOP Fundamental Approaches to Software Engineering: Third International …, 2000 | 67 | 2000 |
| Propositional temporal logics and equivalences U Goltz, R Kuiper, W Penczek International Conference on Concurrency Theory, 222-236, 1992 | 67 | 1992 |
| Hierarchical development of concurrent systems in a temporal logic framework H Barringer, R Kuiper International Conference on Concurrency, 35-61, 1984 | 61 | 1984 |
| Partial-order reduction techniques for real-time model checking D Dams, R Gerth, B Knaack, R Kuiper Formal Aspects of Computing 10, 469-482, 1998 | 53 | 1998 |
| 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 | 50 | 2000 |
| A Compositional Approach to a CSP-like Language H Barringer, R Kuiper, A Pnueli host publication, 207-227, 1985 | 50 | 1985 |
| Fairness assumptions for CSP in a temporal logic framework R Kuiper, WP de Roever Mathematisch Centrum, Afdeling Informatica, 1982 | 45 | 1982 |
| Traces and logic W Penczek, R Kuiper Technische Universiteit Eindhoven, 1994 | 38 | 1994 |
| Specifying deadlines with continuous time using deontic and temporal logic F Dignum, R Kuiper International Journal of Electronic Commerce 3 (2), 67-85, 1998 | 34 | 1998 |
| Paradigms for real-time systems R Koymans, R Kuiper, E Zijlstra International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1988 | 34 | 1988 |
| Interface refinement in reactive systems R Gerth, R Kuiper, J Segers CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 26 | 1992 |
| Partial order reductions preserving simulations W Penczek, R Gerth, R Kuiper, M Szreter Submitted for publication, 1999 | 25 | 1999 |
| 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 |
| Modular termination verification of single-threaded and multithreaded programs B Jacobs, D Bosnacki, R Kuiper ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (3), 1-59, 2018 | 20 | 2018 |
