| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy |
Distribution Primitives for Distributed User Interfaces.  |
Distributed User Interfaces  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy |
A model-based approach for distributed user interfaces. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mejías, Peter Van Roy |
Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage. |
IJARAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mejías, Peter Van Roy |
From Mini-clouds to Cloud Computing. |
SASO Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos |
Lock-Free Decentralized Storage for Transactional Upgrade Rollback. |
WETICE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
multi-user user interfaces, ubiquitous computing, peer-to-peer, user interface toolkit, multi-device environments, distributed user interfaces, multi-platform user interfaces |
| 1 | Boris Mejías, Peter Van Roy |
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. |
Parallel Processing Letters |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mejías, Alfredo Cádiz, Peter Van Roy, Kim Mens |
A Self-Adaptable Network Topology for Ambient Intelligence. |
SASO Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Gutierrez, Boris Mejías, Peter Van Roy, Diana Velasco, Juan Torres |
WSN and P2P: A Self-Managing Marriage. |
SASO Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy |
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. |
BCS Int. Acad. Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Mejías, Mikael Högqvist, Peter Van Roy |
Visualizing Transactional Algorithms for DHTs. |
Peer-to-Peer Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy |
Self Management and the Future of Software Design. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Donatien Grolaux, Boris Mejías, Peter Van Roy |
PEPINO: PEer-to-Peer network INspectOr. |
Peer-to-Peer Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Mejías, Peter Van Roy |
A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. |
SCCC |
2007 |
DBLP DOI BibTeX RDF |
Decentralised systems, Peer-to-peer, Self-management, Feedback-loops, Faulttolerance |
| 1 | Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet |
Using Dominators for Solving Constrained Path Problems. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy |
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Collet, Peter Van Roy |
Failure Handling in a Network-Transparent Distributed Programming Language. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy |
Attach Me, Detach Me, Assemble Me Like You Work. |
INTERACT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy (eds.) |
Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers |
MOZ |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fred Spiessens, Peter Van Roy |
A Practical Formal Model for Safety Analysis in Capability-Based Systems. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Quesada, Peter Van Roy, Yves Deville |
Speeding Up Constrained Path Solvers with a Reachability Propagator. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Seif Haridi |
Concepts, Techniques, and Models of Computer Programming |
|
2004 |
RDF |
|
| 1 | Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni |
Topic 18: Peer-to-Peer and Web Computing. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt |
Migratable User Interfaces: Beyond Migratory Interfaces. |
MobiQuitous |
2004 |
DBLP DOI BibTeX RDF |
detachability, migratory UI, multiple computing platforms, multi-surface interaction, migration, plasticity, naturalness, Attachability |
| 1 | Fred Spiessens, Peter Van Roy |
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Donatien Grolaux, Kevin Glynn, Peter Van Roy |
A Fault Tolerant Abstraction for Transparent Distributed Programming. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Mesaros, Bruno Carton, Peter Van Roy |
P2PS: Peer-to-Peer Development Platform for Mozart. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Mesaros, Bruno Carton, Peter Van Roy |
S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson |
The role of language paradigms in teaching programming. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
concurrency, concepts, programming paradigms |
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt |
FlexClock, a Plastic Clock Written in Oz with the QTk toolkit. |
TAMODIA |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy, Seif Haridi |
Teaching Programming Broadly and Deeply: The Kernel Language Approach. |
Informatics Curricula and Teaching Methods |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luis Quesada, Peter Van Roy |
A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt |
QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. |
EHCI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mustapha Hadim, Peter Van Roy |
Service Combinators for WEB Computing in Distributed Oz. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
Announcing the Mozart Programming System. |
SIGPLAN Notices |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka |
Efficient logic variables for distributed computing. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Mozart, distributed algorithms, Oz |
| 1 | Peter Van Roy |
Logic Programming in Oz with Mozart. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte |
Programming Languages for Distributed Applications. |
New Generation Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet |
A Lightweight Object Migration Protocol. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer |
Mobile Objects in Distributed Oz. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
network transparency, mobile objects, latency tolerance |
| 1 | Seif Haridi, Peter Van Roy, Gert Smolka |
An overview of the design of Distributed Oz. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Michael Mehl, Ralf Scheidhauer |
Integrating Efficient Records into Concurrent Constraint Programming. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record |
| 1 | Andreas Podelski, Peter Van Roy |
A Detailed Algorithm Testing Guards over Feature Trees. |
Constraint Processing, Selected Papers |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
1983-1993: The Wonder Years of Sequential Prolog Implementation. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Peter Van Roy |
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy |
Announcing the Release of Aquarius Prolog. |
SIGPLAN Notices |
1993 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. |
JFPL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Andreas Podelski, Peter Van Roy |
The Beauty and the Beast Algorithm. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
Challenges in Developing Useful and Practical Static Analysis for Logic Programs. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Alvin M. Despain |
High-Performance Logic Programming with the Aquarius Prolog Compiler. |
IEEE Computer |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy |
Can Logic Programming Execute as Fast as Imperative Programming? |
|
1990 |
RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy, Alvin M. Despain |
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Peter Van Roy |
A useful extension to Prolog's definite clause grammar notation. |
SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Peter Van Roy |
An Intermediate Language to Support Prolog's Unification. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Mike Carlton, Peter Van Roy |
A Distributed Prolog System with And Parallelism. |
IEEE Software |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy |
A Prolog Compiler for the PLM. |
|
1984 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")