Programming Systems Lab: Publications by Peter Van Roy

Saarland University Computer Science

Select author:

2001

QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces   (pdf)
Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01)

QTk -- An Integrated Model-Based Approach to Designing Executable User Interfaces   (pdf)
Donatien Grolaux, Peter Van Roy
8th Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 2001)

2000

A Lightweight Reliable Object Migration Protocol   (pdf)
Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet

Fault-Tolerant Mobile Agents in Mozart   (pdf)
Iliès Alouini, Peter Van Roy
2nd International Symposium on Agent Systems and Applications (ASA2000) and 4th International Symposium on Mobile Agents (MA2000)

1999

Efficient Logic Variables for Distributed Computing   (pdf)
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
ACM Transactions on Programming Languages and Systems

Le protocole r'eparti de Distributed Oz (in French)   (pdf)
Iliès Alouini, Peter Van Roy
Colloque Francophone sur l'Ing'enierie des Protocoles (CFIP 99)

A new mobile state protocol for Distributed Oz   (pdf)
Mustapha Hadim, Peter Van Roy
ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS 99)

Logic Programming in Oz with Mozart   (pdf)
Peter Van Roy
International Conference on Logic Programming

On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart   (pdf)
Peter Van Roy

Mozart: A Programming System for Agent Applications   (pdf)
Peter Van Roy, Seif Haridi
International Workshop on Distributed and Internet Programming with Logic and Constraint Languages

1998

Programming Languages for Distributed Applications   (pdf)
Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
New Generation Computing

1997

An Overview of the Design of Distributed Oz   (pdf)
Seif Haridi, Peter Van Roy, Gert Smolka
Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97)

Mobile Objects in Distributed Oz   (pdf)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
ACM Transactions on Programming Languages and Systems

1996

Integrating Efficient Records into Concurrent Constraint Programming   (pdf)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
International Symposium on Programming Languages, Implementations, Logics, and Programs

1995

Multi-Paradigm Programming in Oz   (pdf)
Martin Müller, Tobias Müller, Peter Van Roy
Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog

1994

1983-1993: The Wonder Years of Sequential Prolog Implementation   (pdf)
Peter Van Roy
Journal of Logic Programming


Login to edit


Webmaster, Mon May 30 13:48:30 2016