Home Courses Scientific Interests Publications Personnal Web Page INGI

Publications

article de périodique



  • Van Roy Peter, Brand Per, Duchier Denys, Haridi Seif, Henz Martin, Schulte Christian, Logic programming in the context of multiparadigm programming: The Oz experience, Theory and Practice of Logic Programming, 3, 6, 2003, p. 715-763. (Publié, Scientifique - portée internationale).

  • Van Roy Peter, 1983-1993 - The wonder years of sequential Prolog implementation Journal of Logic Programming,vol. 19-20,May-July 1994,pp. 385-441,, -, 1994. (Publié, Scientifique - portée internationale).

  • Van Roy Peter, Programming Languages for Distributed Applications Journal of New Generation Computing,16(3),1998,pp.1-39,, 1998. (Publié).

  • Van Roy Peter, Three Moves are Not as Bad as a Fire Workshop on Internet Programming Languages, International Conference on Computer Languages, Chicago, May 1998,1998,, 1998. (Publié).

  • Van Roy Peter, Mobile Objects in Distributed Oz ACM Transactions on Programming Languages and Systems (TOPLAS),19(5),1997,pp.804-851,, 1997. (Publié).

  • Van Roy Peter, An Overview of the Design of Distributed Oz Proceedings de PASCO'97, Second International Symposium on ParallelSymbolic Computation, Maui, Hawaii, July 1997,1997,pp.1-12,, 1997. (Publié).

  • Van Roy Peter, Design and Analysis of Hardware for High Performance Prolog Journal of Logic Programming 29,1-3,Nov. 1996,107-139, 1996. (Publié).

  • Van Roy Peter, Using Mobility to Make Transparent Distribution Practical Workshop on Mobile Object Systems (European Conference on Object-Oriented Programming ECOOP), Finlande, June 1997,1997,, 1997. (Diffusé).

  • Van Roy Peter, Using Mobility to Make Transparent Distribution Practical Workshop on Aspect-Oriented Programming (European Conference on Object-Oriented Programming ECOOP), Finlande, June 1997,1997,, 1997. (Diffusé).

  • Van Roy Peter, Oz: A system for constructing networked software agents Belgian Artificial Intelligence Day, Leuven, April 28, 1997,1997,, 1997. (Diffusé).

  • Van Roy Peter, The Design of Distributed Oz and its Mobility Protocol Dagstuhl Seminar 97041: High-Level Concurrent Languages, Dagstuhl, Germany, January 1997,1997,, 1997. (Diffusé).

  • Van Roy Peter, Mobile Objects in Distributed Oz Rapport de recherche RR 97-02, Unité d'informatique, FSA, UCL,1997,, 1997. (Diffusé).

monographie



  • Van Roy Peter, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, Springer, 2005, 3389 numero_vol, Lecture Notes in Computer Science, ISBN:3-540-25079-4. (Publié, Scientifique - portée internationale.)

  • Van Roy Peter, Haridi Seif, Programowanie. Koncepcje, techniki i modele, Pologne, Wydawnictwo Helion S.A., 2005, 904 p., ISBN:83-7361-979-8. (Publié, Scientifique - portée internationale.)

  • Van Roy Peter, Haridi Seif, Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004, 929 p., ISBN:0-262-22069-5. (Publié, Scientifique - portée internationale.)

  • Van Roy Peter, Ghodsi Ali, Haridi Seif, Stefani Jean-Bernard, Coupaye Thierry, Reinefeld Alexander, Winter Ehrhard, Yap Roland, Self Management of Large-Scale Distributed Systems by Combining Peer-to-Peer Networks and Components, 2005, CoreGRID Technical Report. (Diffusé, Scientifique - portée internationale.)

  • Glynn Kevin, Van Roy Peter, Multi-Consistency in Peer-to-Peer Computing, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-04 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)

  • Jaradin Yves, Spiessens Alfred, Van Roy Peter, Capability confinement by membranes, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-03 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)

  • Mesaros Valentin, Collet Raphaël, Glynn Kevin, Van Roy Peter, A transational system for structured overlay networks, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-01 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)

  • Jaradin Yves, Spiessens Alfred, Van Roy Peter, SCOLL : A Language for Safe Capability Based Collaboration, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-10 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)

  • Spiessens Alfred, Jaradin Yves, Van Roy Peter, Using Constraints To Analyze And Generate Safe Capability Patterns, Louvain-la-Neuve, Computing science and engineering department, UCL, 2005, 2005-11 numero_vol, Research report. (Diffusé, Scientifique - portée locale.)

  • Quesada Ramirez Luis, Van Roy Peter, Deville Yves, The Reachability Propagator, Louvain-la-Neuve, Computing Science and engineering Department, UCL, 2005, 2005-07 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)

  • Carton Bruno, Mesaros Valentin, Van Roy Peter, Improving the scalability of logarithmic-degree DHT-based Peer-to-Peer Networks, Louvain-la-Neuve, Computing science and Engineering Department, 2004, 2004-01 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)

  • Reinfelds Juris, Van Roy Peter, Bergin Joe, Rasala Richard, Scott Kirk, Concepts First in Introductory CS Courses: Working Group Report ITiCSE 2003, Louvain-la-Neuve, Computing science and engineering department, 2003, 2003-08 numero_vol, Research Report. (Diffusé, Scientifique - portée locale.)

  • Duchier Denys, Kornstaedt Leif, Muller Tobias, Schulte Christian, Van Roy Peter, System Modules, 2000, Mozart system documentation. (Diffusé, Autre.)

contribution à un ouvrage collectif



  • Collet Raphaël, Van Roy Peter, Failure Handling in a Network-Transparent Distributed Programming Language, In: Advanced Topics in Exception Handling Techniques, Dony, C.; Knudsen, J.L.; Romanovsky, A.; Tripathi, A. ed(s), Heidelberg, Germany, Springer-Verlag, 2006, ISBN: 3-540-37443-4, Lecture Notes in Computer Science, 4119, p. 121-140. (Publié, Scientifique - portée internationale).

  • Mesaros Valentin, Carton Bruno, Van Roy Peter, P2PS: Peer-to-Peer Development Platform for Mozart, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 125-136. (Publié, Scientifique - portée internationale).

  • Grolaux Donatien, Glynn Kevin, Van Roy Peter, A Fault Tolerant Abstraction for Transparent Distributed Programming, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 149-160. (Publié, Scientifique - portée internationale).

  • El-Ansary Sameh, Grolaux Donatien, Van Roy Peter, Rafea Mahmoud, Overcoming the Multiplicity of Languages and Technologies for Web-based Development Using a Multiparadigm Approach, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 113-124. (Publié, Scientifique - portée internationale).

  • Spiessens Alfred, Van Roy Peter, The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language, In: Multiparadigm Programming in Mozart/OZ: Second International Conference, MOZ 2004, Revised Selected and Invited Papers, Peter Van Roy ed(s), Springer-Verlag GmbH, 2005, ISBN: 3-540-25079-4, Lecture Notes in Computer Science, 3389, p. 21-40. (Publié, Scientifique - portée internationale).

  • Spiessens Alfred, Van Roy Peter, A Practical Formal Model for Safety Analysis in Capability-Based Systems, In: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, De Nicola, Rocco; Sangiorgi, Davide ed(s), Springer-Verlag, 2005, ISBN: 3-540-30007-4, Lecture Notes in Computer Science, 3705. (Publié, Scientifique - portée internationale).

  • Carton Bruno, Mesaros Valentin, Van Roy Peter, Improving the Scalability of Logarithmic-Degree DHT-based Peer-to-Peer Networks, In: Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Danelutto, Marco; Vanneschi, Marco; Laforenza, Domenico ed(s), Heidelberg, Springer-Verlag, 2004, ISBN: 3-540-22924-8, Lecture Notes in Computer Science, 3149, p. 1060-1067. (Publié, Scientifique - portée internationale).

  • , Van Roy Peter, A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles, In: Principles and Practice of Constraint Programming - CP 2002, Pascal Van Hentenryck ed(s), Springer-Verlag, 2002, ISBN: 3-540-44120-4, Lecture Notes in Computer Science, 2470, p. 777-777. (Publié, Scientifique - portée internationale).

  • Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces, In: Engineering for Human-Computer Interaction, Murray Reed Little, Laurence Nigay ed(s), Springer-Verlag, 2001, ISBN: 3-540-43044-X, Lecture Notes in Computer Science, 2254, p. 109-110. (Publié, Scientifique - portée internationale).

  • Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Collet Raphaël, Using Dominators for Solving Constrained Path Problems, In: Eighth International Symposium on Practical Aspects of Declarative Languages (PADL 06), Charleston, South Carolina, Springer-Verlag, 2006, Lecture Notes in Computer Science. (A paraître, Scientifique - portée internationale).

  • Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Collet Raphaël, Using Dominators for Solving Constrained Path Problems, In: Eighth International Symposium on Practical Aspects of Declarative Languages (PADL 06), Charleston, South Carolina, Springer-Verlag, 2006, Lecture Notes in Computer Science, 3819. (A paraître, Scientifique - portée internationale).

  • Van Roy Peter, Convergence in language design: a case of lightning striking four times in the same place, In: Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), Fuji Susono, Japan, Springer-Verlag, 2006, Lecture Notes in computer science, 3945. (A paraître, Scientifique - portée internationale).

communication à colloque à diffusion restreinte



  • , Gualandi Stefano, Van Roy Peter, Implementing a Distributed Shortest Path Propagator with Message Passing, 2nd International Workshop on Multiparadigm Constraint Programming Languages, Kinsale, Ireland, septembre 2003. (Diffusé).

  • Koffman Elliot B., Brinda Torsten, Alvarez Juan, Kumar A., Lisboa Maria Lucia B, Reinfelds Juris, Van Roy Peter, Wazlawick Raul Sidnei, Teaching Programming and Problem Solving, Florianopolis, Brazil, July 2002. (Diffusé).

  • Mejias Boris, Collet Raphaël, Popov Konstantin, Van Roy Peter, Improving Transparency of a Distributed Programming System, CoreGRID Integration Workshop. (Diffusé).

  • Mejias Boris, Collet Raphaël, Van Roy Peter, It is such a fine line between transparent and non-transparent distribution, The 17th Nordic Workshop on Programming Theory. (Diffusé).

  • Van Roy Peter, Aspect-oriented programming for distributed systems: its use, its effect on language design, and its limits, Belgian Symposium and Contact Day on Software Evolution and Aspect-Oriented, Ghent, Belgium, May 3, 2004. (Diffusé).

  • Reinfelds Juris, Van Roy Peter, Bergin Joe, Bredin Jonathan, Kirk Scott, Rasala Richard, Concepts First in Introductory CS Courses, Working Group Report ITiCSE 2003 (Innovation and Technology in Computer Science Education), Thessaloniki, Greece, June 2003. (Diffusé).

  • Mesaros Valentin, Carton Bruno, Van Roy Peter, Improving and Generalizing Chord, Global Computing Workshop, Rovereto-Trento, February 9-14, 2003. (Diffusé).

  • Mesaros Valentin, Van Roy Peter, Collaborative Work with GNUTELLA, The 1st PEPITO Project Workshop, Paris, January 31 - February 1, 2002. (Diffusé).

  • Mesaros Valentin, Onana Luc, Van Roy Peter, Haridi Seif, Mapping Logical Network Routing to Physical Network Routing, The 2nd PEPITO Project Worshop, Stockholm, July 1-2, 2002. (Diffusé).

  • Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, QTk: An Integrated Model-Based Approach to Designing Executable User Interfaces, 8th Workshop on Design, Specification and Verification of Interactive Systems: DSV-IS 2001, Glasgow, Ecosse, 13-15 juin 2001. (Diffusé).

  • Van Roy Peter, Reinfelds Juris, The Next Generation of Programming Languages, Seventh IFIP World Conference on Computers in Education (WCCE 2001),, Copenhagen, Denmark, July 29 - August 3, 2001. (Diffusé).

  • Van Roy Peter, The Mozart Programming System and Its Use for Agent Applications, Axlog Seminar on Constraint-based Scheduling and Planning for Autonomous Agents, Paris, France, February 29, 2000. (Diffusé).

communication à un colloque publiés dans des actes parus comme monographie



  • Grolaux Donatien, Vanderdonckt Jean, Van Roy Peter, Attach me, detach me, assemble me like you work, In: Tenth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2005), Rome, Italy, September 2005, 2005. (Publié, Scientifique - portée internationale).

  • Spiessens Alfred, Jaradin Yves, Van Roy Peter, Using Constraints to analyze and generate safe capability patterns, In: 1st Workshop on applications of constraint satisfaction and programming in computer security, Sitges, Spain, October 1, 2005, 2005, p. 61-75. (Publié, Scientifique - portée internationale).

  • Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Speeding up constrained path solvers with a reachability propagator, In: Colloquium on Implementation of Constraint and Logic Programming Systems(CICLOPS 2005), at the 11th International Conference on Principles and Practice of Constraint Programming (CP2005), 2005, Sitges (Barcelona), Spain, October 5, 2005, 2005. (Publié, Scientifique - portée internationale).

  • Quesada Ramirez Luis, Van Roy Peter, Deville Yves, Reachability: a constrained path propagator implemented as a multi-agent system, In: CLEI2005 Proceedings, Cali, Colombia, October 10-14, 2005, 2005. (Publié, Scientifique - portée internationale).

  • Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, Migratable User Interface: Beyond Migratory Interfaces, In: First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous'04), Boston, Massachusetts, August 2004, IEEE, 2004, p. 422-430. (Publié, Scientifique - portée internationale).

  • Mesaros Valentin, Carton Bruno, Van Roy Peter, S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord, In: Proceedings de International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, 23-26 juin 2003, ISBN: 1-892512-44-0, 2003. (Publié, Scientifique - portée internationale).

  • Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, FlexClock: a Plastic Clock Written in Oz with the QTk Toolkit, In: Proceedings de TAMODIA 2002 (First International Workshop on Task Models and Diagrams for User Interface Design), Bucharest, 18-19 july 2002, ISBN: 973-8360-01-3, Costin Pribeanu ; Jean Vanderdonckt ed(s), INFOREC Publishing House Bucharest, 2002, p. 135-142. (Publié, Scientifique - portée internationale).

  • Van Roy Peter, Haridi Seif, Teaching Programming Broadly and Deeply: The Kernel Language Approach, In: Proceedings de IFIP WG 3.2 Working Conference on
    Informatics Curricula, Teaching Methods, and Best Practice
    (ICTEM 2002), 2002, p. 10. (Publié, Scientifique - portée internationale).

  • Onana Luc, Mesaros Valentin, Van Roy Peter, Haridi Seif, NetProber: a Component for Enhancing Efficiency of Overlay Networks in P2P Systems, In: Second Internaztional Conference on Peer-to-Peer Computing, Linkoping, Sweden, 5-7 septembre 2002, IEEE, 2002, p. 1-8. (Publié, Scientifique - portée internationale).

  • Grolaux Donatien, Van Roy Peter, Vanderdonckt Jean, QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces, In: 8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01), Toronto, Canada, Mai 2001, 2001, p. 1. (Publié, Scientifique - portée internationale).

  • Van Roy Peter, Haridi Seif, Extracts from the Upcoming Book "Concepts, Techniques, and Models of Computer Programming", In: Proceedings de MPOOL 01: Workshop on Multiparadigm Programming with Object-Oriented Languages (Workshop de ECOOP 01), Budapest, 18-22 juin, ISBN: 3-00-007968-8, Key Davis, Yannis Smaragdakis, Jorg Striegnitz ed(s), John von Neumann-Instituts für Computing, 2001, p. NIC Series, p. 155-157. (Publié, Scientifique - portée internationale).

  • Spiessens Alfred, Collet Raphaël, Van Roy Peter, Declarative Laziness in a Concurrent Constraint Language, In: Proceedings de 2nd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL'03, Kinsale, County Cork, Ireland, 29 septembre 2003, 2003, p. 7-18. (Diffusé, Scientifique - portée internationale).

  • Van Roy Peter, Armstrong Joe, Flatt Matthew, Magnusson Boris, The Role of Language Paradigms in Teaching Programming, Reno, Nevada, February 2003, 2003. (Diffusé, Scientifique - portée internationale).

  • Van Roy Peter, La programmation répartie robuste dans la plate-forme Mozart: le rôle du langage et de l'algorithmique répartie, In: Proceedings de LMO 2002 (Languages et Modèles à Objets), Montpellier, France, 23-25 janvier 2002, ISBN: 2-7462-0403-7, Michel Dao, Marianne Huchard ed(s), Hermes Publications, 2002. (Diffusé, Scientifique - portée internationale).

  • Van Roy Peter, Haridi Seif, Teaching Programming with the Kernel Language Approach, In: Workshop on Functional and Declarative Programming in Education (FDPE02), at Principles, Logics, and Implementations of High-Level Programming Languages (PLI2002), Pittsburgh, Pennsylvania, October 7, 2002, 2002. (Diffusé, Scientifique - portée internationale).

  • Onana Luc, Haridi Seif, Van Roy Peter, Brand Per, A Survey of Concepts, Techniques, and Systems for High Availability Computing, In: Report done for LM Ericsson AB, Sweden, February 2002, 2002. (Diffusé, Scientifique - portée internationale).

  • Van Roy Peter, Programming as an Engineering Discipline, or Functional-logic Programming as an Antidote to Java in Computer Science Education, In: Proceedings de International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, Allemagne, 13-15 Sept. 2001, University of Kiel, 2001, p. Technical Report, p. 2017, p. 1-3. (Diffusé, Scientifique - portée internationale).

  • Van Roy Peter, Using dataflow to separate network issues from functionality issues in distributed object-oriented programming, In: 1st Belgian AOSD Workshop (Aspect-Oriented Software Development), Bruxelles, Nov. 8, 2001, 2001, p. 1-30. (Diffusé, Scientifique - portée internationale).

  • Hadim Mustapha, Van Roy Peter, Service Combinators for WEB Computing in Distributed Oz, In: Proceedings de The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Las Vegas, Nevada,, June 2000, 2000. (Diffusé, Scientifique - portée internationale).

  • Alouini Ilies, Van Roy Peter, Fault-tolerant Mobile Agents in Mozart, In: 2nd International Symposium on Agent Systems and Applications (ASA 2000)
    and 4th International Symposium on Mobile Agents (MA 2000), Zurich, Switzerland, September 2000, 2000. (Diffusé, Scientifique - portée internationale).

communication à un colloque publiés dans des actes parus comme volume de périodique



  • Van Roy Peter, An Overview of the Design of Distributed Oz Proceedings de Workshop on Multi-Paradigm Logic Programming, JICSLP 96 Bonn September 1996, 1996. (Publié).

  • Van Roy Peter, Integrating Efficient Records into Concurrent Constraint Programming Proceedings de 8th International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP 96) Aachen 1140,September 1996,439-453, 1996. (Publié).

    • Home

    Personnal Web Page

    Courses

    Scientific Interests