default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Van Roy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c88]Damien Sprockeels, Peter Van Roy:
Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony. IJCAI 2024: 7753-7761- 2023
- [c87]Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman:
Algebraic Reasoning About Timeliness. ICE 2023: 35-54 - [i9]Peter Van Roy, Seif Haridi:
Ideas for the future of Prolog inspired by Oz. CoRR abs/2302.00558 (2023) - 2022
- [j22]Seyed H. Haeri
, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman:
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. 11(3): 45 (2022) - [i8]David Scott Warren, Peter Van Roy, Yanhong A. Liu:
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR abs/2211.09923 (2022) - 2021
- [c86]Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy:
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. Erlang Workshop 2021: 15-27 - 2020
- [j21]Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga:
Interoperable and network-aware service workflows for big data executions at internet scale. Concurr. Comput. Pract. Exp. 32(21) (2020) - [j20]Zhongmiao Li, Paolo Romano, Peter Van Roy:
Transparent speculation in geo-replicated transactional data stores. J. Parallel Distributed Comput. 143: 129-147 (2020) - [j19]Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka:
A history of the Oz multiparadigm language. Proc. ACM Program. Lang. 4(HOPL): 83:1-83:56 (2020) - [c85]Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa:
Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. SDS 2020: 115-122 - [i7]Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa:
Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. CoRR abs/2005.07136 (2020)
2010 – 2019
- 2019
- [j18]Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga:
SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge. Clust. Comput. 22(3): 661-677 (2019) - [j17]Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga:
On-demand big data integration - A hybrid ETL approach for reproducible scientific research. Distributed Parallel Databases 37(2): 273-295 (2019) - [c84]Zhongmiao Li, Paolo Romano, Peter Van Roy:
Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores. DSN 2019: 164-175 - [c83]Igor Kopestenski, Peter Van Roy:
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. Erlang Workshop 2019: 1-12 - [c82]Igor Kopestenski, Peter Van Roy:
Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. PerCom Workshops 2019: 875-881 - [p3]Georges Da Costa, Alexey L. Lastovetsky, Jorge G. Barbosa, Juan Carlos Díaz Martín, Juan-Luis García Zapata, Matthias Janetschek, Emmanuel Jeannot, João Leitão, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde:
Programming models and runtimes. Ultrascale Computing Systems 2019: 9-63 - [i6]Igor Kopestenski, Peter Van Roy:
Achlys : Towards a framework for distributed storage and generic computing applications for wireless IoT edge networks with Lasp on GRiSP. CoRR abs/1901.05030 (2019) - 2018
- [j16]Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga:
Composing network service chains at the edge: A Resilient and adaptive software-defined approach. Trans. Emerg. Telecommun. Technol. 29(11) (2018) - [c81]Zhongmiao Li, Peter Van Roy, Paolo Romano:
Transparent speculation in geo-replicated transactional data stores. HPDC 2018: 255-266 - [c80]Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga:
Software-defined data services: Interoperable and network-aware big data executions. SDS 2018: 145-152 - [i5]Christopher S. Meiklejohn, Peter Van Roy:
Towards A Systems Approach To Distributed Programming. CoRR abs/1802.02681 (2018) - [i4]Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga:
On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research. CoRR abs/1804.08985 (2018) - 2017
- [c79]Zhongmiao Li, Peter Van Roy, Paolo Romano:
Exploiting speculation in partially replicated transactional data stores. SoCC 2017: 640 - [c78]Ruma R. Paul, Jérémie Melchior, Peter Van Roy, Vladimir Vlassov:
Designing Distributed Applications Using a Phase-Aware, Reversible System. EDGE 2017: 55-64 - [c77]Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy:
Saturn: a Distributed Metadata Service for Causal Consistency. EuroSys 2017: 111-126 - [c76]Zhongmiao Li, Peter Van Roy, Paolo Romano:
Enhancing throughput of partially replicated state machines via multi-partition operation scheduling. NCA 2017: 261-270 - [c75]Christopher S. Meiklejohn, Peter Van Roy:
Loquat: A framework for large-scale actor communication on edge networks. PerCom Workshops 2017: 563-568 - [c74]Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa:
Practical evaluation of the Lasp programming model at large scale: an experience report. PPDP 2017: 109-114 - [c73]Pradeeban Kathiravelu, Yiru Chen, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga:
On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration. DMAH@VLDB 2017: 9-28 - [i3]Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa:
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR abs/1708.06423 (2017) - 2016
- [c72]Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy:
Declarative, sliding window aggregations for computations at the edge. CCNC 2016: 32-37 - [c71]Ruma R. Paul, Peter Van Roy, Vladimir Vlassov:
Reversible Phase Transitions in a Structured Overlay Network with Churn. NETYS 2016: 318-333 - [c70]Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn:
Worlds of Events: Deduction with Partial Knowledge about Causality. ICE 2016: 113-127 - 2015
- [c69]Iwan Briquemont, Manuel Bravo, Zhongmiao Li, Peter Van Roy:
Conflict-Free Partially Replicated Data Types. CloudCom 2015: 282-289 - [c68]Christopher Meiklejohn, Peter Van Roy:
The implementation and use of a generic dataflow behaviour in Erlang. Erlang Workshop 2015: 39-45 - [c67]Christopher Meiklejohn, Peter Van Roy:
Lasp: a language for distributed, eventually consistent computations with CRDTs. PaPoC@EuroSys 2015: 7:1-7:4 - [c66]Manuel Bravo, Paolo Romano, Luís E. T. Rodrigues, Peter Van Roy:
Reducing the vulnerability window in distributed transactional protocols. PaPoC@EuroSys 2015: 10:1-10:4 - [c65]Ruma R. Paul, Peter Van Roy, Vladimir Vlassov:
Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. ICPADS 2015: 232-241 - [c64]Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy:
Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication. Middleware Doctoral Symposium 2015: 5:1-5:4 - [c63]Christopher Meiklejohn, Peter Van Roy:
Lasp: a language for distributed, coordination-free programming. PPDP 2015: 184-195 - [c62]Christopher Meiklejohn, Peter Van Roy:
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. SRDS Workshop 2015: 62-67 - 2014
- [c61]Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn:
Derflow: distributed deterministic dataflow programming for erlang. Erlang Workshop 2014: 51-60 - [c60]Ruma R. Paul, Peter Van Roy, Vladimir Vlassov:
An empirical study of the global behavior of a structured overlay network. P2P 2014: 1-5 - 2013
- [c59]Sébastien Doeraene, Peter Van Roy:
A new concurrency model for Scala based on a declarative dataflow core. SCALA@ECOOP 2013: 4:1-4:10 - [p2]Jérémie Melchior, Boris Mejías, Yves Jaradin, Peter Van Roy, Jean Vanderdonckt:
Improving DUIs with a Decentralized Approach with Transactions and Feedbacks. Distributed User Interfaces 2013: 17-25 - 2012
- [j15]Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy:
A Comparative Evaluation of User Preferences for Extra-User Interfaces. Int. J. Hum. Comput. Interact. 28(11): 760-767 (2012) - [c58]Daire O'Doherty, Salim Jouili, Peter Van Roy:
Towards trust inference from bipartite social networks. DBSocial 2012: 13-18 - [c57]Sascha Van Cauwelaert, Gustavo Gutierrez, Peter Van Roy:
A New Approach for Constraint Programming in Music using Relation Domains. ICMC 2012 - [c56]Géry Debongnie, Raphaël Collet, Sébastien Doeraene, Peter Van Roy:
Modular fault handling in a network-transparent programming language. WEH@ICSE 2012: 18-21 - [c55]Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy:
Modelling and developing distributed user interfaces based on distribution graph. RCIS 2012: 1-10 - 2011
- [c54]Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy:
A model-based approach for distributed user interfaces. EICS 2011: 11-20 - [p1]Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy:
Distribution Primitives for Distributed User Interfaces. Distributed User Interfaces 2011: 23-31 - 2010
- [j14]Boris Mejías, Peter Van Roy:
Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage. Int. J. Adapt. Resilient Auton. Syst. 1(3): 1-24 (2010) - [c53]Boris Mejías, Peter Van Roy:
From Mini-clouds to Cloud Computing. SASO Workshops 2010: 234-238 - [c52]Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos:
Lock-Free Decentralized Storage for Transactional Upgrade Rollback. WETICE 2010: 229-234
2000 – 2009
- 2009
- [c51]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: 69-78 - 2008
- [j13]Boris Mejías, Peter Van Roy:
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. Parallel Process. Lett. 18(3): 411-432 (2008) - [c50]Peter Van Roy:
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. BCS Int. Acad. Conf. 2008: 379-390 - [c49]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: 1-12 - [c48]Peter Van Roy:
The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard. ICMC 2008 - [c47]David Wessel, Roger B. Dannenberg, Yann Orlarey, Miller S. Puckette, Peter Van Roy, Ge Wang:
Reinventing Audio and Music Computation for Many-Core Processors. ICMC 2008 - [c46]Boris Mejías, Mikael Högqvist, Peter Van Roy:
Visualizing Transactional Algorithms for DHTs. Peer-to-Peer Computing 2008: 79-80 - [c45]Gustavo Gutierrez, Boris Mejías, Peter Van Roy, Diana Velasco, Juan Torres:
WSN and P2P: A Self-Managing Marriage. SASO Workshops 2008: 198-201 - [c44]Boris Mejías, Alfredo Cádiz, Peter Van Roy, Kim Mens:
A Self-Adaptable Network Topology for Ambient Intelligence. SASO Workshops 2008: 219-224 - [c43]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
- [c42]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 - [c41]Donatien Grolaux, Boris Mejías, Peter Van Roy:
PEPINO: PEer-to-Peer network INspectOr. Peer-to-Peer Computing 2007: 247-248 - [c40]Boris Mejías, Peter Van Roy:
A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. SCCC 2007: 13-22 - 2006
- [c39]Raphaël Collet, Peter Van Roy:
Failure Handling in a Network-Transparent Distributed Programming Language. Advanced Topics in Exception Handling Techniques 2006: 121-140 - [c38]Peter Van Roy:
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. FLOPS 2006: 2-12 - [c37]Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet:
Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87 - [c36]Peter Van Roy:
Self Management and the Future of Software Design. FACS 2006: 201-217 - 2005
- [c35]Luis Quesada, Peter Van Roy, Yves Deville:
Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866 - [c34]Jean Vanderdonckt, Donatien Grolaux, Peter Van Roy, Quentin Limbourg, Benoît Macq, Benoît Michel:
A Design Space for Context-Sensitive User Interfaces. IASSE 2005: 207-214 - [c33]Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy:
Attach Me, Detach Me, Assemble Me Like You Work. INTERACT 2005: 198-212 - [c32]Fred Spiessens, Peter Van Roy:
A Practical Formal Model for Safety Analysis in Capability-Based Systems. TGC 2005: 248-278 - [e1]Peter Van Roy:
Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3389, Springer 2005, ISBN 3-540-25079-4 [contents] - 2004
- [b2]Peter Van Roy, Seif Haridi:
Concepts, Techniques, and Models of Computer Programming. MIT Press 2004, ISBN 0-262-22069-5 - [c31]Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni:
Topic 18: Peer-to-Peer and Web Computing. Euro-Par 2004: 1013 - [c30]Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt:
Migratable User Interfaces: Beyond Migratory Interfaces. MobiQuitous 2004: 422-430 - [c29]Fred Spiessens, Peter Van Roy:
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ 2004: 21-40 - [c28]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 - [c27]Valentin Mesaros, Bruno Carton, Peter Van Roy:
P2PS: Peer-to-Peer Development Platform for Mozart. MOZ 2004: 125-136 - [c26]Donatien Grolaux, Kevin Glynn, Peter Van Roy:
A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ 2004: 149-160 - 2003
- [j12]Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. 3(6): 715-763 (2003) - [c25]Valentin Mesaros, Bruno Carton, Peter Van Roy:
S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord. PDPTA 2003: 1752-1760 - [c24]Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson:
The role of language paradigms in teaching programming. SIGCSE 2003: 269-270 - 2002
- [c23]Luis Quesada, Peter Van Roy:
A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. CP 2002: 777 - [c22]Peter Van Roy, Seif Haridi:
Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods 2002: 53-62 - [c21]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 - [c20]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 - [c19]Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt:
FlexClock, a Plastic Clock Written in Oz with the QTk toolkit. TAMODIA 2002: 135-142 - [i2]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
- [c18]Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt:
QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. EHCI 2001: 109-110 - 2000
- [c17]Mustapha Hadim, Peter Van Roy:
Service Combinators for WEB Computing in Distributed Oz. PDPTA 2000
1990 – 1999
- 1999
- [j11]Peter Van Roy:
Announcing the Mozart Programming System. ACM SIGPLAN Notices 34(4): 33-34 (1999) - [j10]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) - [c16]Peter Van Roy:
Logic Programming in Oz with Mozart. ICLP 1999: 38-51 - 1998
- [j9]Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte:
Programming Languages for Distributed Applications. New Gener. Comput. 16(3): 223-261 (1998) - [c15]Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet:
A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages 1998: 32-46 - 1997
- [j8]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) - [c14]Seif Haridi, Peter Van Roy, Gert Smolka:
An overview of the design of Distributed Oz. PASCO 1997: 176-187 - 1996
- [j7]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) - [c13]Peter Van Roy, Michael Mehl, Ralf Scheidhauer:
Integrating Efficient Records into Concurrent Constraint Programming. PLILP 1996: 438-453 - 1995
- [c12]Andreas Podelski, Peter Van Roy:
A Detailed Algorithm Testing Guards over Feature Trees. Constraint Processing, Selected Papers 1995: 11-38 - [c11]Peter Van Roy:
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). WLP 1995: 111 - 1994
- [j6]Peter Van Roy:
1983-1993: The Wonder Years of Sequential Prolog Implementation. J. Log. Program. 19/20: 385-441 (1994) - [c10]Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. ILPS 1994: 359-374 - 1993
- [j5]Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy:
Announcing the Release of Aquarius Prolog. ACM SIGPLAN Notices 28(9): 5 (1993) - [c9]Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy:
An Informal Introduction to LIFE. ICLP Workshop on Concurrent Constraint Programming 1993 - [c8]Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ICLP Workshop on Concurrent Constraint Programming 1993 - [c7]Peter Van Roy:
Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. JFPL 1993: 5 - [c6]Peter Van Roy:
Challenges in Developing Useful and Practical Static Analysis for Logic Programs. WSA 1993: 111 - [c5]Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm. ILPS 1993: 653 - 1992
- [j4]Peter Van Roy, Alvin M. Despain:
High-Performance Logic Programming with the Aquarius Prolog Compiler. Computer 25(1): 54-68 (1992) - 1990
- [b1]Peter Van Roy:
Can Logic Programming Execute as Fast as Imperative Programming? University of California at Berkeley, 1990 - [c4]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 - [c3]Peter Van Roy, Alvin M. Despain:
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. NACLP 1990: 501-515
1980 – 1989
- 1989
- [j3]Peter Van Roy:
A useful extension to Prolog's definite clause grammar notation. ACM SIGPLAN Notices 24(11): 132-134 (1989) - [c2]Peter Van Roy:
An Intermediate Language to Support Prolog's Unification. NACLP 1989: 1148-1164 - 1988
- [j2]Mike Carlton, Peter Van Roy:
A Distributed Prolog System with And Parallelism. IEEE Softw. 5(1): 43-51 (1988) - 1987
- [j1]Alvin M. Despain, Yale N. Patt, Vason P. Srini, Philip Bitar, William R. Bush, C. Chien, Wayne Citrin, Barry Fagin, Wenwei Hwu, Stephen W. Melvin, Rick McGeer, Ashok Singhal, Michael Shebanow, Peter Van Roy:
Aquarius. SIGARCH Comput. Archit. News 15(1): 22-34 (1987) - [c1]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
- [i1]Peter Van Roy:
A Prolog Compiler for the PLM. University of California at Berkeley, 1984
Coauthor Index
Christopher Meiklejohn
aka: Christopher S. Meiklejohn
aka: Christopher S. Meiklejohn
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
