Ruurd Kuiper

From MaRDI portal
Person:1125429

Available identifiers

zbMath Open kuiper.ruurdMaRDI QIDQ1125429

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q31222042019-03-20Paper
Invariants for non-hierarchical object structures2014-01-24Paper
Halting still standing -- programs versus specifications2010-11-09Paper
A small step for mankind2010-03-09Paper
Specification and verification of invariants by exploiting layers in OO designs2009-01-28Paper
A partial order approach to branching time logic model checking.2003-01-14Paper
Partial-order reduction techniques for real-time model checking2001-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45078262000-10-10Paper
Compositional verification of real-time systems with explicit clock temporal logic1996-07-23Paper
https://portal.mardi4nfdi.de/entity/Q39924931993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q37255281986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36802521985-01-01Paper

Research outcomes over time

This page was built for person: Ruurd Kuiper

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1125429&oldid=5955348"
Powered by MediaWiki