A Prolog Compiler for the PLM. - Peter Van Roy (1984)

Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. - Peter Van Roy; Bart Demoen; Yves D. Willems (TAPSOFT, Vol.2, 1987)

Aquarius. - Alvin M. Despain; Yale N. Patt; Vason P. Srini; Philip Bitar; William R. Bush; C. Chien; Wayne Citrin; Barry Fagin; Wenwei Hwu; Stephen W. Melvin; Rick McGeer; Ashok Singhal; et al. (SIGARCH Comput. Archit. News, 1987)

A Distributed Prolog System with And Parallelism. - Mike Carlton; Peter Van Roy (IEEE Softw., 1988)

An Intermediate Language to Support Prolog's Unification. - Peter Van Roy (NACLP, 1989)

A useful extension to Prolog's definite clause grammar notation. - Peter Van Roy (ACM SIGPLAN Notices, 1989)

Fast Prolog with an Extended General Purpose Architecture. - Bruce K. Holmer; Barton Sano; Michael J. Carlton; Peter Van Roy; Ralph Clarke Haygood; William R. Bush; Alvin M. Despain; Joan M. Pendleton; Tep P. Dobry (ISCA, 1990)

The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. - Peter Van Roy; Alvin M. Despain (NACLP, 1990)

Can Logic Programming Execute as Fast as Imperative Programming? - Peter Van Roy (1990)

High-Performance Logic Programming with the Aquarius Prolog Compiler. - Peter Van Roy; Alvin M. Despain (Computer, 1992)

An Informal Introduction to LIFE. - Hassan Aït-Kaci; Andreas Podelski; Peter Van Roy (ICLP Workshop on Concurrent Constraint Programming, 1993)

The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. - Andreas Podelski; Peter Van Roy (ICLP Workshop on Concurrent Constraint Programming, 1993)

Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. - Peter Van Roy (JFPL, 1993)

Challenges in Developing Useful and Practical Static Analysis for Logic Programs. - Peter Van Roy (WSA, 1993)

The Beauty and the Beast Algorithm. - Andreas Podelski; Peter Van Roy (ILPS, 1993)

Announcing the Release of Aquarius Prolog. - Thomas W. Getzinger; Ralph Clarke Haygood; Peter Van Roy (ACM SIGPLAN Notices, 1993)

The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. - Andreas Podelski; Peter Van Roy (ILPS, 1994)

1983-1993: The Wonder Years of Sequential Prolog Implementation. - Peter Van Roy (J. Log. Program., 1994)

A Detailed Algorithm Testing Guards over Feature Trees. - Andreas Podelski; Peter Van Roy (Constraint Processing, Selected Papers, 1995)

Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). - Peter Van Roy (WLP, 1995)

Integrating Efficient Records into Concurrent Constraint Programming. - Peter Van Roy; Michael Mehl; Ralf Scheidhauer (PLILP, 1996)

Design and Analysis of Hardware for High-Performance Prolog. - Bruce K. Holmer; Barton Sano; Michael J. Carlton; Peter Van Roy; Alvin M. Despain (J. Log. Program., 1996)

An overview of the design of Distributed Oz. - Seif Haridi; Peter Van Roy; Gert Smolka (PASCO, 1997)

Mobile Objects in Distributed Oz. - Peter Van Roy; Seif Haridi; Per Brand; Gert Smolka; Michael Mehl; Ralf Scheidhauer (ACM Trans. Program. Lang. Syst., 1997)

A Lightweight Object Migration Protocol. - Peter Van Roy; Per Brand; Seif Haridi; Raphaël Collet (ICCL Workshop: Internet Programming Languages, 1998)

Programming Languages for Distributed Applications. - Seif Haridi; Peter Van Roy; Per Brand; Christian Schulte 001 (New Gener. Comput., 1998)

Logic Programming in Oz with Mozart. - Peter Van Roy (ICLP, 1999)

Announcing the Mozart Programming System. - Peter Van Roy (ACM SIGPLAN Notices, 1999)

Efficient logic variables for distributed computing. - Seif Haridi; Peter Van Roy; Per Brand; Michael Mehl; Ralf Scheidhauer; Gert Smolka (ACM Trans. Program. Lang. Syst., 1999)

Service Combinators for WEB Computing in Distributed Oz. - Mustapha Hadim; Peter Van Roy (PDPTA, 2000)

QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. - Donatien Grolaux; Peter Van Roy; Jean Vanderdonckt (EHCI, 2001)

A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. - Luis Quesada 001; Peter Van Roy (CP, 2002)

Teaching Programming and Problem Solving. - Elliot B. Koffman; Torsten Brinda; Juan Alvarez; Amruth N. Kumar; Maria Lúcia Blanck Lisbôa; Juris Reinfelds; Peter Van Roy; Raul Sidnei Wazlawick (Informatics Curricula and Teaching Methods, 2002)

Teaching Programming Broadly and Deeply: The Kernel Language Approach. - Peter Van Roy; Seif Haridi (Informatics Curricula and Teaching Methods, 2002)

NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems. - Luc Onana Alima; Valentin Mesaros; Peter Van Roy; Seif Haridi (Peer-to-Peer Computing, 2002)

FlexClock, a Plastic Clock Written in Oz with the QTk toolkit. - Donatien Grolaux; Peter Van Roy; Jean Vanderdonckt (TAMODIA, 2002)

S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord. - Valentin Mesaros; Bruno Carton; Peter Van Roy (PDPTA, 2003)

The role of language paradigms in teaching programming. - Peter Van Roy; Joe Armstrong; Matthew Flatt; Boris Magnusson (SIGCSE, 2003)

Logic programming in the context of multiparadigm programming: the Oz experience. - Peter Van Roy; Per Brand; Denys Duchier; Seif Haridi; Martin Henz; Christian Schulte 001 (Theory Pract. Log. Program., 2003)

Concepts, Techniques, and Models of Computer Programming - Peter Van Roy; Seif Haridi (MIT Press, 2004)

Topic 18: Peer-to-Peer and Web Computing. - Seif Haridi; Karl Aberer; Peter Van Roy; Michele Colajanni (Euro-Par, 2004)

Migratable User Interfaces: Beyond Migratory Interfaces. - Donatien Grolaux; Peter Van Roy; Jean Vanderdonckt (MobiQuitous, 2004)

Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. - Sameh El-Ansary; Donatien Grolaux; Peter Van Roy; Mahmoud Rafea (MOZ, 2004)

A Fault Tolerant Abstraction for Transparent Distributed Programming. - Donatien Grolaux; Kevin Glynn; Peter Van Roy (MOZ, 2004)

P2PS: Peer-to-Peer Development Platform for Mozart. - Valentin Mesaros; Bruno Carton; Peter Van Roy (MOZ, 2004)

The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. - Fred Spiessens; Peter Van Roy (MOZ, 2004)

Speeding Up Constrained Path Solvers with a Reachability Propagator. - Luis Quesada 001; Peter Van Roy; Yves Deville (CP, 2005)

A Design Space for Context-Sensitive User Interfaces. - Jean Vanderdonckt; Donatien Grolaux; Peter Van Roy; Quentin Limbourg; Benoît Macq; Benoît Michel (IASSE, 2005)

Attach Me, Detach Me, Assemble Me Like You Work. - Donatien Grolaux; Jean Vanderdonckt; Peter Van Roy (INTERACT, 2005)

A Practical Formal Model for Safety Analysis in Capability-Based Systems. - Fred Spiessens; Peter Van Roy (TGC, 2005)

Failure Handling in a Network-Transparent Distributed Programming Language. - Raphaël Collet; Peter Van Roy (Advanced Topics in Exception Handling Techniques, 2006)

Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. - Peter Van Roy (FLOPS, 2006)

Using Dominators for Solving Constrained Path Problems. - Luis Quesada 001; Peter Van Roy; Yves Deville; Raphaël Collet (PADL, 2006)

Self Management and the Future of Software Design. - Peter Van Roy (FACS, 2006)

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. - Peter Van Roy; Seif Haridi; Alexander Reinefeld; Jean-Bernard Stefani; Roland H. C. Yap; Thierry Coupaye (FMCO, 2007)

PEPINO: PEer-to-Peer network INspectOr. - Donatien Grolaux; Boris Mejías; Peter Van Roy (Peer-to-Peer Computing, 2007)

A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. - Boris Mejías; Peter Van Roy (SCCC, 2007)

Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. - Peter Van Roy (BCS Int. Acad. Conf., 2008)

Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids. - Boris Mejías; Donatien Grolaux; Peter Van Roy (CoreGRID Workshop on Grid Middleware, 2008)

The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard. - Peter Van Roy (ICMC, 2008)

Reinventing Audio and Music Computation for Many-Core Processors. - David Wessel; Roger B. Dannenberg; Yann Orlarey; Miller S. Puckette; Peter Van Roy; Ge Wang 002 (ICMC, 2008)

Visualizing Transactional Algorithms for DHTs. - Boris Mejías; Mikael Högqvist; Peter Van Roy (Peer-to-Peer Computing, 2008)

WSN and P2P: A Self-Managing Marriage. - Gustavo Gutierrez; Boris Mejías; Peter Van Roy; Diana Velasco; Juan Torres (SASO Workshops, 2008)

A Self-Adaptable Network Topology for Ambient Intelligence. - Boris Mejías; Alfredo Cádiz; Peter Van Roy; Kim Mens (SASO Workshops, 2008)

PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence. - Alfredo Cádiz; Boris Mejías; Jorge Vallejos; Kim Mens; Peter Van Roy; Wolfgang De Meuter (SCCC, 2008)

The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. - Boris Mejías; Peter Van Roy (Parallel Process. Lett., 2008)

A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications. - Jérémie Melchior; Donatien Grolaux; Jean Vanderdonckt; Peter Van Roy (EICS, 2009)

From Mini-clouds to Cloud Computing. - Boris Mejías; Peter Van Roy (SASO Workshops, 2010)

Lock-Free Decentralized Storage for Transactional Upgrade Rollback. - Boris Mejías; Gustavo Gutierrez; Peter Van Roy; John Thomson; Paulo Trezentos (WETICE, 2010)

Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage. - Boris Mejías; Peter Van Roy (Int. J. Adapt. Resilient Auton. Syst., 2010)

A model-based approach for distributed user interfaces. - Jérémie Melchior; Jean Vanderdonckt; Peter Van Roy (EICS, 2011)

Distribution Primitives for Distributed User Interfaces. - Jérémie Melchior; Jean Vanderdonckt; Peter Van Roy (Distributed User Interfaces, 2011)

Towards trust inference from bipartite social networks. - Daire O'Doherty; Salim Jouili; Peter Van Roy (DBSocial, 2012)

A New Approach for Constraint Programming in Music using Relation Domains. - Sascha Van Cauwelaert; Gustavo Gutierrez; Peter Van Roy (ICMC, 2012)

Modular fault handling in a network-transparent programming language. - Géry Debongnie; Raphaël Collet; Sébastien Doeraene; Peter Van Roy (WEH@ICSE, 2012)

Modelling and developing distributed user interfaces based on distribution graph. - Jérémie Melchior; Jean Vanderdonckt; Peter Van Roy (RCIS, 2012)

A Comparative Evaluation of User Preferences for Extra-User Interfaces. - Jérémie Melchior; Jean Vanderdonckt; Peter Van Roy (Int. J. Hum. Comput. Interact., 2012)

A new concurrency model for Scala based on a declarative dataflow core. - Sébastien Doeraene; Peter Van Roy (SCALA@ECOOP, 2013)

Improving DUIs with a Decentralized Approach with Transactions and Feedbacks. - Jérémie Melchior; Boris Mejías; Yves Jaradin; Peter Van Roy; Jean Vanderdonckt (Distributed User Interfaces, 2013)

Derflow: distributed deterministic dataflow programming for erlang. - Manuel Bravo; Zhongmiao Li; Peter Van Roy; Christopher Meiklejohn (Erlang Workshop, 2014)

An empirical study of the global behavior of a structured overlay network. - Ruma R. Paul; Peter Van Roy; Vladimir Vlassov (P2P, 2014)

Conflict-Free Partially Replicated Data Types. - Iwan Briquemont; Manuel Bravo; Zhongmiao Li; Peter Van Roy (CloudCom, 2015)

The implementation and use of a generic dataflow behaviour in Erlang. - Christopher Meiklejohn; Peter Van Roy (Erlang Workshop, 2015)

Reducing the vulnerability window in distributed transactional protocols. - Manuel Bravo; Paolo Romano 002; Luís E. T. Rodrigues; Peter Van Roy (PaPoC@EuroSys, 2015)

Lasp: a language for distributed, eventually consistent computations with CRDTs. - Christopher Meiklejohn; Peter Van Roy (PaPoC@EuroSys, 2015)

Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. - Ruma R. Paul; Peter Van Roy; Vladimir Vlassov (ICPADS, 2015)

Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication. - Manuel Bravo; Luís E. T. Rodrigues; Peter Van Roy (Middleware Doctoral Symposium, 2015)

Lasp: a language for distributed, coordination-free programming. - Christopher Meiklejohn; Peter Van Roy (PPDP, 2015)

Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. - Christopher Meiklejohn; Peter Van Roy (SRDS Workshop, 2015)

Declarative, sliding window aggregations for computations at the edge. - Christopher Meiklejohn; Seyed H. Haeri; Peter Van Roy (CCNC, 2016)

Reversible Phase Transitions in a Structured Overlay Network with Churn. - Ruma R. Paul; Peter Van Roy; Vladimir Vlassov (NETYS, 2016)

Worlds of Events: Deduction with Partial Knowledge about Causality. - Seyed H. Haeri (Hossein); Peter Van Roy; Carlos Baquero; Christopher Meiklejohn (ICE, 2016)

Exploiting speculation in partially replicated transactional data stores. - Zhongmiao Li; Peter Van Roy; Paolo Romano 002 (SoCC, 2017)

Designing Distributed Applications Using a Phase-Aware, Reversible System. - Ruma R. Paul; Jérémie Melchior; Peter Van Roy; Vladimir Vlassov (EDGE, 2017)

Saturn: a Distributed Metadata Service for Causal Consistency. - Manuel Bravo; Luís E. T. Rodrigues; Peter Van Roy (EuroSys, 2017)

Enhancing throughput of partially replicated state machines via multi-partition operation scheduling. - Zhongmiao Li; Peter Van Roy; Paolo Romano 002 (NCA, 2017)

Loquat: A framework for large-scale actor communication on edge networks. - Christopher S. Meiklejohn; Peter Van Roy (PerCom Workshops, 2017)

Practical evaluation of the Lasp programming model at large scale: an experience report. - Christopher S. Meiklejohn; Vitor Enes; Junghun Yoo; Carlos Baquero; Peter Van Roy; Annette Bieniusa (PPDP, 2017)

On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration. - Pradeeban Kathiravelu; Yiru Chen; Ashish Sharma 001; Helena Galhardas; Peter Van Roy; Luís Veiga (DMAH@VLDB, 2017)

Software-defined data services: Interoperable and network-aware big data executions. - Pradeeban Kathiravelu; Peter Van Roy; Luís Veiga (SDS, 2018)

Towards A Systems Approach To Distributed Programming. - Christopher S. Meiklejohn; Peter Van Roy (CoRR, 2018)

Composing network service chains at the edge: A Resilient and adaptive software-defined approach. - Pradeeban Kathiravelu; Peter Van Roy; Luís Veiga (Trans. Emerg. Telecommun. Technol., 2018)

Programming models and runtimes. - Georges Da Costa; Alexey L. Lastovetsky; Jorge G. Barbosa; Juan Carlos Díaz Martín; Juan-Luis García Zapata; Matthias Janetschek; Emmanuel Jeannot; João Leitão 001; Ravi Reddy Manumachu; Radu Prodan; Juan A. Rico-Gallego; Peter Van Roy; et al. (Ultrascale Computing Systems, 2019)

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores. - Zhongmiao Li; Paolo Romano 002; Peter Van Roy (DSN, 2019)

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. - Igor Kopestenski; Peter Van Roy (Erlang Workshop, 2019)

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. - Igor Kopestenski; Peter Van Roy (PerCom Workshops, 2019)

SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge. - Pradeeban Kathiravelu; Peter Van Roy; Luís Veiga (Clust. Comput., 2019)

On-demand big data integration - A hybrid ETL approach for reproducible scientific research. - Pradeeban Kathiravelu; Ashish Sharma 001; Helena Galhardas; Peter Van Roy; Luís Veiga (Distributed Parallel Databases, 2019)

Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. - Pradeeban Kathiravelu; Peter Van Roy; Luís Veiga; Elhadj Benkhelifa (SDS, 2020)

Interoperable and network-aware service workflows for big data executions at internet scale. - Pradeeban Kathiravelu; Peter Van Roy; Luís Veiga (Concurr. Comput. Pract. Exp., 2020)

Transparent speculation in geo-replicated transactional data stores. - Zhongmiao Li; Paolo Romano 002; Peter Van Roy (J. Parallel Distributed Comput., 2020)

A history of the Oz multiparadigm language. - Peter Van Roy; Seif Haridi; Christian Schulte 001; Gert Smolka (Proc. ACM Program. Lang., 2020)

The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. - Sébastien Kalbusch; Vincent Verpoten; Peter Van Roy (Erlang Workshop, 2021)

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. - Seyed H. Haeri; Peter Thompson 002; Neil J. Davies; Peter Van Roy; Kevin Hammond; James Chapman 001 (Comput., 2022)

Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). - David Scott Warren; Peter Van Roy; Yanhong A. Liu (CoRR, 2022)

Ideas for the future of Prolog inspired by Oz. - Peter Van Roy; Seif Haridi (CoRR, 2023)

Algebraic Reasoning About Timeliness. - Seyed Hossein Haeri; Peter W. Thompson 002; Peter Van Roy; Magne Haveraaen; Neil J. Davies; Mikhail Barash; Kevin Hammond; James Chapman 001 (ICE, 2023)

Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony. - Damien Sprockeels; Peter Van Roy (IJCAI, 2024)