dblp.uni-trier.dewww.uni-trier.de

Peter Van Roy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
58EEPeter Van Roy: Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. BCS Int. Acad. Conf. 2008: 379-390
57EEBoris Mejías, Mikael Högqvist, Peter Van Roy: Visualizing Transactional Algorithms for DHTs. Peer-to-Peer Computing 2008: 79-80
56EEAlfredo 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
55EEBoris Mejías, Peter Van Roy: The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. Parallel Processing Letters 18(3): 411-432 (2008)
2007
54EEPeter 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
53EEDonatien Grolaux, Boris Mejías, Peter Van Roy: PEPINO: PEer-to-Peer network INspectOr. Peer-to-Peer Computing 2007: 247-248
52EEBoris Mejías, Peter Van Roy: A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. SCCC 2007: 13-22
51EEPeter Van Roy: Self Management and the Future of Software Design. Electr. Notes Theor. Comput. Sci. 182: 201-217 (2007)
2006
50EERaphaël Collet, Peter Van Roy: Failure Handling in a Network-Transparent Distributed Programming Language. Advanced Topics in Exception Handling Techniques 2006: 121-140
49EEPeter Van Roy: Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. FLOPS 2006: 2-12
48EELuis 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
46EELuis 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
44EEDonatien Grolaux, Jean Vanderdonckt, Peter Van Roy: Attach Me, Detach Me, Assemble Me Like You Work. INTERACT 2005: 198-212
43EEFred 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
41EESeif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni: Topic 18: Peer-to-Peer and Web Computing. Euro-Par 2004: 1013
40EESameh 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
39EEValentin Mesaros, Bruno Carton, Peter Van Roy: P2PS: Peer-to-Peer Development Platform for Mozart. MOZ 2004: 125-136
38EEDonatien Grolaux, Kevin Glynn, Peter Van Roy: A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ 2004: 149-160
37EEFred Spiessens, Peter Van Roy: The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ 2004: 21-40
36EEDonatien 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
34EEPeter 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
32EELuis 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
29EELuc 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
27EEPeter 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
26EEDonatien 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
23EESeif 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
21EEPeter 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
19EEPeter 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
18EEPeter 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
3EEPeter Van Roy: A useful extension to Prolog's definite clause grammar notation. SIGPLAN Notices 24(11): 132-134 (1989)
1987
2EEPeter 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)