Peter van Roy

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
Algebraic reasoning for timeliness-guided system design Journal of Logical and Algebraic Methods in Programming	2025-12-30	Paper
Worlds of events: deduction with partial knowledge about causality	2020-02-17	Paper
Worlds of events: deduction with partial knowledge about causality (available as arXiv preprint)	2020-02-17	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
Logic programming in the context of multiparadigm programming: the Oz experience Theory and Practice of Logic Programming	2004-09-24	Paper
scientific article; zbMATH DE number 2084464 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1254033 (Why is no real title available?)	1999-10-25	Paper
Design and analysis of hardware for high-performance prolog The Journal of Logic Programming	1997-12-08	Paper
scientific article; zbMATH DE number 780244 (Why is no real title available?)	1995-07-30	Paper
1983–1993: The wonder years of sequential Prolog implementation The Journal of Logic Programming	1994-10-13	Paper
scientific article; zbMATH DE number 3995047 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Peter van Roy