Peter Van Roy

2008
56	EE	Boris Mejías, Mikael Högqvist, Peter Van Roy: Visualizing Transactional Algorithms for DHTs. Peer-to-Peer Computing 2008: 79-80
55	EE	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
2007
54	EE	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
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 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 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 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

Coauthor Index

1	Karl Aberer	[41]
2	Luc Onana Alima	[29]
3	Juan Alvarez	[31]
4	Joe Armstrong	[34]
5	Per Brand	[19] [20] [21] [23] [27] [33]
6	Torsten Brinda	[31]
7	William R. Bush	[7]
8	Alfredo Cádiz	[55]
9	Michael J. Carlton	[7] [17]
10	Bruno Carton	[35] [39]
11	Michele Colajanni	[41]
12	Raphaël Collet	[21] [48] [50]
13	Thierry Coupaye	[54]
14	Bart Demoen	[2]
15	Alvin M. Despain	[6] [7] [8] [17]
16	Yves Deville	[46] [48]
17	Tep P. Dobry	[7]
18	Denys Duchier	[27] [33]
19	Sameh El-Ansary	[40]
20	Matthew Flatt	[34]
21	Thomas W. Getzinger	[9]
22	Kevin Glynn	[38]
23	Donatien Grolaux	[26] [28] [36] [38] [40] [44] [45] [53]
24	Mustapha Hadim	[25]
25	Seif Haridi	[19] [20] [21] [23] [27] [29] [30] [33] [41] [42] [54]
26	Ralph Clarke Haygood	[7] [9]
27	Martin Henz	[27] [33]
28	Mikael Högqvist	[56]
29	Bruce K. Holmer	[7] [17]
30	Elliot B. Koffman	[31]
31	Amruth N. Kumar	[31]
32	Quentin Limbourg	[45]
33	Maria Lúcia Blanck Lisbôa	[31]
34	Benoit M. Macq (Benoît Macq)	[45]
35	Boris Magnusson	[34]
36	Michael Mehl	[18] [19] [23]
37	Boris Mejías	[52] [53] [55] [56]
38	Kim Mens	[55]
39	Valentin Mesaros	[29] [35] [39]
40	Wolfgang De Meuter	[55]
41	Benoît Michel	[45]
42	Joan M. Pendleton	[7]
43	Andreas Podelski	[12] [14] [16]
44	Luis Quesada	[32] [46] [48]
45	Mahmoud Rafea	[40]
46	Alexander Reinefeld	[54]
47	Juris Reinfelds	[31]
48	Barton Sano	[7] [17]
49	Ralf Scheidhauer	[18] [19] [23]
50	Christian Schulte	[20] [27] [33]
51	Gert Smolka	[19] [23]
52	Fred Spiessens	[37] [43]
53	Jean-Bernard Stefani	[54]
54	Jorge Vallejos	[55]
55	Jean Vanderdonckt	[26] [28] [36] [44] [45]
56	Raul Sidnei Wazlawick	[31]
57	Yves D. Willems	[2]
58	Roland H. C. Yap	[54]

Colors in the list of coauthors