| 2008 |
|---|
| 54 | EE | Boris Mejías,
Mikael Högqvist,
Peter Van Roy:
Visualizing Transactional Algorithms for DHTs.
Peer-to-Peer Computing 2008: 79-80 |
| 2007 |
|---|
| 53 | EE | Donatien Grolaux,
Boris Mejías,
Peter Van Roy:
PEPINO: PEer-to-Peer network INspectOr.
Peer-to-Peer Computing 2007: 247-248 |
| 52 | EE | Boris Mejías,
Peter Van Roy:
A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks.
SCCC 2007: 13-22 |
| 51 | EE | Peter Van Roy:
Self Management and the Future of Software Design.
Electr. Notes Theor. Comput. Sci. 182: 201-217 (2007) |
| 2006 |
|---|
| 50 | EE | Raphaël Collet,
Peter Van Roy:
Failure Handling in a Network-Transparent Distributed Programming Language.
Advanced Topics in Exception Handling Techniques 2006: 121-140 |
| 49 | EE | Peter Van Roy:
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.
FLOPS 2006: 2-12 |
| 48 | EE | Luis O. Quesada,
Peter Van Roy,
Yves Deville,
Raphaël Collet:
Using Dominators for Solving Constrained Path Problems.
PADL 2006: 73-87 |
| 2005 |
|---|
| 47 | | Peter Van Roy:
Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
Springer 2005 |
| 46 | EE | Luis O. Quesada,
Peter Van Roy,
Yves Deville:
Speeding Up Constrained Path Solvers with a Reachability Propagator.
CP 2005: 866 |
| 45 | | Jean Vanderdonckt,
Donatien Grolaux,
Peter Van Roy,
Quentin Limbourg,
Benoit M. Macq,
Benoît Michel:
A Design Space for Context-Sensitive User Interfaces.
IASSE 2005: 207-214 |
| 44 | EE | Donatien Grolaux,
Jean Vanderdonckt,
Peter Van Roy:
Attach Me, Detach Me, Assemble Me Like You Work.
INTERACT 2005: 198-212 |
| 43 | EE | Fred Spiessens,
Peter Van Roy:
A Practical Formal Model for Safety Analysis in Capability-Based Systems.
TGC 2005: 248-278 |
| 2004 |
|---|
| 42 | | Peter Van Roy,
Seif Haridi:
Concepts, Techniques, and Models of Computer Programming
MIT Press 2004 |
| 41 | EE | Seif Haridi,
Karl Aberer,
Peter Van Roy,
Michele Colajanni:
Topic 18: Peer-to-Peer and Web Computing.
Euro-Par 2004: 1013 |
| 40 | EE | Sameh El-Ansary,
Donatien Grolaux,
Peter Van Roy,
Mahmoud Rafea:
Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach.
MOZ 2004: 113-124 |
| 39 | EE | Valentin Mesaros,
Bruno Carton,
Peter Van Roy:
P2PS: Peer-to-Peer Development Platform for Mozart.
MOZ 2004: 125-136 |
| 38 | EE | Donatien Grolaux,
Kevin Glynn,
Peter Van Roy:
A Fault Tolerant Abstraction for Transparent Distributed Programming.
MOZ 2004: 149-160 |
| 37 | EE | Fred Spiessens,
Peter Van Roy:
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language.
MOZ 2004: 21-40 |
| 36 | EE | Donatien Grolaux,
Peter Van Roy,
Jean Vanderdonckt:
Migratable User Interfaces: Beyond Migratory Interfaces.
MobiQuitous 2004: 422-430 |
| 2003 |
|---|
| 35 | | Valentin Mesaros,
Bruno Carton,
Peter Van Roy:
S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord.
PDPTA 2003: 1752-1760 |
| 34 | EE | Peter Van Roy,
Joe Armstrong,
Matthew Flatt,
Boris Magnusson:
The role of language paradigms in teaching programming.
SIGCSE 2003: 269-270 |
| 33 | | Peter Van Roy,
Per Brand,
Denys Duchier,
Seif Haridi,
Martin Henz,
Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience.
TPLP 3(6): 715-763 (2003) |
| 2002 |
|---|
| 32 | EE | Luis O. Quesada,
Peter Van Roy:
A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.
CP 2002: 777 |
| 31 | | Elliot B. Koffman,
Torsten Brinda,
Juan Alvarez,
Amruth N. Kumar,
Maria Lúcia Blanck Lisbôa,
Juris Reinfelds,
Peter Van Roy,
Raul Sidnei Wazlawick:
Teaching Programming and Problem Solving.
Informatics Curricula and Teaching Methods 2002: 125-130 |
| 30 | | Peter Van Roy,
Seif Haridi:
Teaching Programming Broadly and Deeply: The Kernel Language Approach.
Informatics Curricula and Teaching Methods 2002: 53-62 |
| 29 | EE | Luc Onana Alima,
Valentin Mesaros,
Peter Van Roy,
Seif Haridi:
NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems.
Peer-to-Peer Computing 2002: 25-32 |
| 28 | | Donatien Grolaux,
Peter Van Roy,
Jean Vanderdonckt:
FlexClock, a Plastic Clock Written in Oz with the QTk toolkit.
TAMODIA 2002: 135-142 |
| 27 | EE | Peter Van Roy,
Per Brand,
Denys Duchier,
Seif Haridi,
Martin Henz,
Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience
CoRR cs.PL/0208029: (2002) |
| 2001 |
|---|
| 26 | EE | Donatien Grolaux,
Peter Van Roy,
Jean Vanderdonckt:
QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces.
EHCI 2001: 109-110 |
| 2000 |
|---|
| 25 | | Mustapha Hadim,
Peter Van Roy:
Service Combinators for WEB Computing in Distributed Oz.
PDPTA 2000 |
| 1999 |
|---|
| 24 | | Peter Van Roy:
Logic Programming in Oz with Mozart.
ICLP 1999: 38-51 |
| 23 | EE | Seif Haridi,
Peter Van Roy,
Per Brand,
Michael Mehl,
Ralf Scheidhauer,
Gert Smolka:
Efficient logic variables for distributed computing.
ACM Trans. Program. Lang. Syst. 21(3): 569-626 (1999) |
| 22 | | Peter Van Roy:
Announcing the Mozart Programming System.
SIGPLAN Notices 34(4): 33-34 (1999) |
| 1998 |
|---|
| 21 | EE | Peter Van Roy,
Per Brand,
Seif Haridi,
Raphaël Collet:
A Lightweight Object Migration Protocol.
ICCL Workshop: Internet Programming Languages 1998: 32-46 |
| 20 | | Seif Haridi,
Peter Van Roy,
Per Brand,
Christian Schulte:
Programming Languages for Distributed Applications.
New Generation Comput. 16(3): 223-261 (1998) |
| 1997 |
|---|
| 19 | EE | Peter Van Roy,
Seif Haridi,
Per Brand,
Gert Smolka,
Michael Mehl,
Ralf Scheidhauer:
Mobile Objects in Distributed Oz.
ACM Trans. Program. Lang. Syst. 19(5): 804-851 (1997) |
| 1996 |
|---|
| 18 | | Peter Van Roy,
Michael Mehl,
Ralf Scheidhauer:
Integrating Efficient Records into Concurrent Constraint Programming.
PLILP 1996: 438-453 |
| 17 | | Bruce K. Holmer,
Barton Sano,
Michael J. Carlton,
Peter Van Roy,
Alvin M. Despain:
Design and Analysis of Hardware for High-Performance Prolog.
J. Log. Program. 29(1-3): 107-139 (1996) |
| 1995 |
|---|
| 16 | | Andreas Podelski,
Peter Van Roy:
A Detailed Algorithm Testing Guards over Feature Trees.
Constraint Processing, Selected Papers 1995: 11-38 |
| 15 | | Peter Van Roy:
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract).
WLP 1995: 111 |
| 1994 |
|---|
| 14 | | Andreas Podelski,
Peter Van Roy:
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees.
SLP 1994: 359-374 |
| 13 | | Peter Van Roy:
1983-1993: The Wonder Years of Sequential Prolog Implementation.
J. Log. Program. 19/20: 385-441 (1994) |
| 1993 |
|---|
| 12 | | Andreas Podelski,
Peter Van Roy:
The Beauty and the Beast Algorithm.
ILPS 1993: 653 |
| 11 | | Peter Van Roy:
Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir.
JFPL 1993: 5 |
| 10 | | Peter Van Roy:
Challenges in Developing Useful and Practical Static Analysis for Logic Programs.
WSA 1993: 111 |
| 9 | | Thomas W. Getzinger,
Ralph Clarke Haygood,
Peter Van Roy:
Announcing the Release of Aquarius Prolog.
SIGPLAN Notices 28(9): 5 (1993) |
| 1992 |
|---|
| 8 | | Peter Van Roy,
Alvin M. Despain:
High-Performance Logic Programming with the Aquarius Prolog Compiler.
IEEE Computer 25(1): 54-68 (1992) |
| 1990 |
|---|
| 7 | | 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:
Fast Prolog with an Extended General Purpose Architecture.
ISCA 1990: 282-291 |
| 6 | | Peter Van Roy,
Alvin M. Despain:
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler.
NACLP 1990: 501-515 |
| 5 | | Peter Van Roy:
Can Logic Programming Execute as Fast as Imperative Programming?
University of California at Berkeley 1990 |
| 1989 |
|---|
| 4 | | Peter Van Roy:
An Intermediate Language to Support Prolog's Unification.
NACLP 1989: 1148-1164 |
| 3 | EE | Peter Van Roy:
A useful extension to Prolog's definite clause grammar notation.
SIGPLAN Notices 24(11): 132-134 (1989) |
| 1987 |
|---|
| 2 | | Peter Van Roy,
Bart Demoen,
Yves D. Willems:
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.
TAPSOFT, Vol.2 1987: 111-125 |
| 1984 |
|---|
| 1 | | Peter Van Roy:
A Prolog Compiler for the PLM.
University of California at Berkeley 1984 |
