The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Van Roy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  48. Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. [Citation Graph (, )][DBLP]


  49. PEPINO: PEer-to-Peer network INspectOr. [Citation Graph (, )][DBLP]


  50. Visualizing Transactional Algorithms for DHTs. [Citation Graph (, )][DBLP]


  51. PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence. [Citation Graph (, )][DBLP]


  52. A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. [Citation Graph (, )][DBLP]


  53. A Self-Adaptable Network Topology for Ambient Intelligence. [Citation Graph (, )][DBLP]


  54. WSN and P2P: A Self-Managing Marriage. [Citation Graph (, )][DBLP]


  55. Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. [Citation Graph (, )][DBLP]


  56. A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications. [Citation Graph (, )][DBLP]


Search in 0.268secs, Finished in 0.271secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002