Ruurd Kuiper

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7039451 (Why is no real title available?)	2019-03-20	Paper
Invariants for non-hierarchical object structures Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
Halting still standing -- programs versus specifications Unifying Theories of Programming	2010-11-09	Paper
A small step for mankind Concurrency, Compositionality, and Correctness	2010-03-09	Paper
Specification and verification of invariants by exploiting layers in OO designs	2009-01-28	Paper
A partial order approach to branching time logic model checking. Information and Computation	2003-01-14	Paper
Partial-order reduction techniques for real-time model checking Formal Aspects of Computing	2001-01-14	Paper
scientific article; zbMATH DE number 1515293 (Why is no real title available?)	2000-10-10	Paper
Compositional verification of real-time systems with explicit clock temporal logic Formal Aspects of Computing	1996-07-23	Paper
scientific article; zbMATH DE number 42647 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 3956416 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3902010 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Ruurd Kuiper