Peter Van Roy

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy: A Comparative Evaluation of User Preferences for Extra-User Interfaces. Int. J. Hum. Comput. Interaction 28(11): 760-767 (2012)

Daire O'Doherty, Salim Jouili, Peter Van Roy: Towards trust inference from bipartite social networks. DBSocial 2012: 13-18

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

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy: A model-based approach for distributed user interfaces. EICS 2011: 11-20

Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy: Distribution Primitives for Distributed User Interfaces. Distributed User Interfaces 2011: 23-31

Boris Mejías, Peter Van Roy: Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage. IJARAS 1(3): 1-24 (2010)

Boris Mejías, Peter Van Roy: From Mini-clouds to Cloud Computing. SASO Workshops 2010: 234-238

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

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

Boris Mejías, Peter Van Roy: The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. Parallel Processing Letters 18(3): 411-432 (2008)

Peter Van Roy: Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. BCS Int. Acad. Conf. 2008: 379-390

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

Boris Mejías, Mikael Högqvist, Peter Van Roy: Visualizing Transactional Algorithms for DHTs. Peer-to-Peer Computing 2008: 79-80

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

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

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

Peter Van Roy: Self Management and the Future of Software Design. Electr. Notes Theor. Comput. Sci. 182: 201-217 (2007)

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

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

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

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

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

Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet: Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87

Luis Quesada, Peter Van Roy, Yves Deville: Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866

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

Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy: Attach Me, Detach Me, Assemble Me Like You Work. INTERACT 2005: 198-212

Fred Spiessens, Peter Van Roy: A Practical Formal Model for Safety Analysis in Capability-Based Systems. TGC 2005: 248-278

Peter Van Roy (Ed.): Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3389, Springer 2005, isbn 3-540-25079-4

Peter Van Roy, Seif Haridi: Concepts, Techniques, and Models of Computer Programming. MIT Press 2004, isbn 0-262-22069-5

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

Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt: Migratable User Interfaces: Beyond Migratory Interfaces. MobiQuitous 2004: 422-430

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

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

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

Donatien Grolaux, Kevin Glynn, Peter Van Roy: A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ 2004: 149-160

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)

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

Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson: The role of language paradigms in teaching programming. SIGCSE 2003: 269-270

Luis Quesada, Peter Van Roy: A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. CP 2002: 777

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

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

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

Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt: FlexClock, a Plastic Clock Written in Oz with the QTk toolkit. TAMODIA 2002: 135-142

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)

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

Mustapha Hadim, Peter Van Roy: Service Combinators for WEB Computing in Distributed Oz. PDPTA 2000

Peter Van Roy: Announcing the Mozart Programming System. SIGPLAN Notices 34(4): 33-34 (1999)

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)

Peter Van Roy: Logic Programming in Oz with Mozart. ICLP 1999: 38-51

Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte: Programming Languages for Distributed Applications. New Generation Comput. 16(3): 223-261 (1998)

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

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)

Seif Haridi, Peter Van Roy, Gert Smolka: An overview of the design of Distributed Oz. PASCO 1997: 176-187

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)

Peter Van Roy, Michael Mehl, Ralf Scheidhauer: Integrating Efficient Records into Concurrent Constraint Programming. PLILP 1996: 438-453

Andreas Podelski, Peter Van Roy: A Detailed Algorithm Testing Guards over Feature Trees. Constraint Processing, Selected Papers 1995: 11-38

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

Peter Van Roy: 1983-1993: The Wonder Years of Sequential Prolog Implementation. J. Log. Program. 19/20: 385-441 (1994)

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

Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy: Announcing the Release of Aquarius Prolog. SIGPLAN Notices 28(9): 5 (1993)

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

Peter Van Roy: Challenges in Developing Useful and Practical Static Analysis for Logic Programs. WSA 1993: 111

Andreas Podelski, Peter Van Roy: The Beauty and the Beast Algorithm. ILPS 1993: 653

Peter Van Roy, Alvin M. Despain: High-Performance Logic Programming with the Aquarius Prolog Compiler. IEEE Computer 25(1): 54-68 (1992)

Peter Van Roy: Can Logic Programming Execute as Fast as Imperative Programming? University of California at Berkeley 1990

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

Peter Van Roy, Alvin M. Despain: The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. NACLP 1990: 501-515

Peter Van Roy: A useful extension to Prolog's definite clause grammar notation. SIGPLAN Notices 24(11): 132-134 (1989)

Peter Van Roy: An Intermediate Language to Support Prolog's Unification. NACLP 1989: 1148-1164

Mike Carlton, Peter Van Roy: A Distributed Prolog System with And Parallelism. IEEE Software 5(1): 43-51 (1988)

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

Peter Van Roy: A Prolog Compiler for the PLM. University of California at Berkeley 1984