Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Van Roy
@inproceedings{DBLP:journals/corr/abs-2308-10654,
author = {Seyed Hossein Haeri and
Peter W. Thompson and
Peter Van Roy and
Magne Haveraaen and
Neil J. Davies and
Mikhail Barash and
Kevin Hammond and
James Chapman},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Simon Fowler and
Larisa Safina},
title = {Algebraic Reasoning About Timeliness},
booktitle = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
Lisbon, Portugal, 19th June 2023},
series = {{EPTCS}},
volume = {383},
pages = {35--54},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.383.3},
doi = {10.4204/EPTCS.383.3},
timestamp = {Mon, 11 Sep 2023 15:45:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-10654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-00558,
author = {Peter Van Roy and
Seif Haridi},
title = {Ideas for the future of Prolog inspired by Oz},
journal = {CoRR},
volume = {abs/2302.00558},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.00558},
doi = {10.48550/ARXIV.2302.00558},
eprinttype = {arXiv},
eprint = {2302.00558},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-00558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/HaeriTDRHC22,
author = {Seyed H. Haeri and
Peter Thompson and
Neil J. Davies and
Peter Van Roy and
Kevin Hammond and
James Chapman},
title = {Mind Your Outcomes: The {\(\Delta\)}QSD Paradigm for Quality-Centric
Systems Development and Its Application to a Blockchain Case Study},
journal = {Comput.},
volume = {11},
number = {3},
pages = {45},
year = {2022},
url = {https://doi.org/10.3390/computers11030045},
doi = {10.3390/COMPUTERS11030045},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/HaeriTDRHC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-09923,
author = {David Scott Warren and
Peter Van Roy and
Yanhong A. Liu},
title = {Proceedings of the 2nd Workshop on Logic and Practice of Programming
{(LPOP)}},
journal = {CoRR},
volume = {abs/2211.09923},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.09923},
doi = {10.48550/ARXIV.2211.09923},
eprinttype = {arXiv},
eprint = {2211.09923},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-09923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/KalbuschVR21,
author = {S{\'{e}}bastien Kalbusch and
Vincent Verpoten and
Peter Van Roy},
editor = {Stavros Aronis and
Annette Bieniusa},
title = {The Hera framework for fault-tolerant sensor fusion with Erlang and
GRiSP on an IoT network},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021},
pages = {15--27},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471871.3472962},
doi = {10.1145/3471871.3472962},
timestamp = {Wed, 08 Sep 2021 16:17:48 +0200},
biburl = {https://dblp.org/rec/conf/erlang/KalbuschVR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KathiraveluRV20,
author = {Pradeeban Kathiravelu and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
title = {Interoperable and network-aware service workflows for big data executions
at internet scale},
journal = {Concurr. Comput. Pract. Exp.},
volume = {32},
number = {21},
year = {2020},
url = {https://doi.org/10.1002/cpe.5212},
doi = {10.1002/CPE.5212},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KathiraveluRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/LiRR20,
author = {Zhongmiao Li and
Paolo Romano and
Peter Van Roy},
title = {Transparent speculation in geo-replicated transactional data stores},
journal = {J. Parallel Distributed Comput.},
volume = {143},
pages = {129--147},
year = {2020},
url = {https://doi.org/10.1016/j.jpdc.2020.04.014},
doi = {10.1016/J.JPDC.2020.04.014},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/LiRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RoyHSS20,
author = {Peter Van Roy and
Seif Haridi and
Christian Schulte and
Gert Smolka},
title = {A history of the Oz multiparadigm language},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{HOPL}},
pages = {83:1--83:56},
year = {2020},
url = {https://doi.org/10.1145/3386333},
doi = {10.1145/3386333},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RoyHSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sds/KathiraveluRVB20,
author = {Pradeeban Kathiravelu and
Peter Van Roy and
Lu{\'{\i}}s Veiga and
Elhadj Benkhelifa},
title = {Latency-Sensitive Web Service Workflows: {A} Case for a Software-Defined
Internet},
booktitle = {2020 Seventh International Conference on Software Defined Systems,
{SDS} 2020, Paris, France, April 20-23, 2020},
pages = {115--122},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SDS49854.2020.9143882},
doi = {10.1109/SDS49854.2020.9143882},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sds/KathiraveluRVB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07136,
author = {Pradeeban Kathiravelu and
Peter Van Roy and
Lu{\'{\i}}s Veiga and
Elhadj Benkhelifa},
title = {Latency-Sensitive Web Service Workflows: {A} Case for a Software-Defined
Internet},
journal = {CoRR},
volume = {abs/2005.07136},
year = {2020},
url = {https://arxiv.org/abs/2005.07136},
eprinttype = {arXiv},
eprint = {2005.07136},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/KathiraveluRV19,
author = {Pradeeban Kathiravelu and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
title = {{SD-CPS:} software-defined cyber-physical systems. Taming the challenges
of {CPS} with workflows at the edge},
journal = {Clust. Comput.},
volume = {22},
number = {3},
pages = {661--677},
year = {2019},
url = {https://doi.org/10.1007/s10586-018-2874-8},
doi = {10.1007/S10586-018-2874-8},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/KathiraveluRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/KathiraveluSGRV19,
author = {Pradeeban Kathiravelu and
Ashish Sharma and
Helena Galhardas and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
title = {On-demand big data integration - {A} hybrid {ETL} approach for reproducible
scientific research},
journal = {Distributed Parallel Databases},
volume = {37},
number = {2},
pages = {273--295},
year = {2019},
url = {https://doi.org/10.1007/s10619-018-7248-y},
doi = {10.1007/S10619-018-7248-Y},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dpd/KathiraveluSGRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Li0R19,
author = {Zhongmiao Li and
Paolo Romano and
Peter Van Roy},
title = {Sparkle: Speculative Deterministic Concurrency Control for Partially
Replicated Transactional Stores},
booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019},
pages = {164--175},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/DSN.2019.00029},
doi = {10.1109/DSN.2019.00029},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/Li0R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/KopestenskiR19,
author = {Igor Kopestenski and
Peter Van Roy},
editor = {Adrian Francalanza and
Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s},
title = {Erlang as an enabling technology for resilient general-purpose applications
on edge IoT networks},
booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019},
pages = {1--12},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331542.3342567},
doi = {10.1145/3331542.3342567},
timestamp = {Tue, 04 Aug 2020 18:50:35 +0200},
biburl = {https://dblp.org/rec/conf/erlang/KopestenskiR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/KopestenskiR19,
author = {Igor Kopestenski and
Peter Van Roy},
title = {Achlys: Towards a Framework for Distributed Storage and Generic Computing
Applications for Wireless IoT Edge Networks with Lasp on GRiSP},
booktitle = {{IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
pages = {875--881},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PERCOMW.2019.8730773},
doi = {10.1109/PERCOMW.2019.8730773},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/percom/KopestenskiR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/iet/19/CostaLBMZJJ0MPRRSL19,
author = {Georges Da Costa and
Alexey L. Lastovetsky and
Jorge G. Barbosa and
Juan Carlos D{\'{\i}}az Mart{\'{\i}}n and
Juan{-}Luis Garc{\'{\i}}a Zapata and
Matthias Janetschek and
Emmanuel Jeannot and
Jo{\~{a}}o Leit{\~{a}}o and
Ravi Reddy Manumachu and
Radu Prodan and
Juan A. Rico{-}Gallego and
Peter Van Roy and
Ali Shoker and
Albert van der Linde},
editor = {Jes{\'{u}}s Carretero and
Emmanuel Jeannot and
Albert Y. Zomaya},
title = {Programming models and runtimes},
booktitle = {Ultrascale Computing Systems},
pages = {9--63},
publisher = {{IET}},
year = {2019},
url = {https://doi.org/10.1049/pbpc024e\_ch2},
doi = {10.1049/PBPC024E\_CH2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/iet/19/CostaLBMZJJ0MPRRSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-05030,
author = {Igor Kopestenski and
Peter Van Roy},
title = {Achlys : Towards a framework for distributed storage and generic computing
applications for wireless IoT edge networks with Lasp on GRiSP},
journal = {CoRR},
volume = {abs/1901.05030},
year = {2019},
url = {http://arxiv.org/abs/1901.05030},
eprinttype = {arXiv},
eprint = {1901.05030},
timestamp = {Wed, 12 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-05030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ett/KathiraveluRV18,
author = {Pradeeban Kathiravelu and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
title = {Composing network service chains at the edge: {A} Resilient and adaptive
software-defined approach},
journal = {Trans. Emerg. Telecommun. Technol.},
volume = {29},
number = {11},
year = {2018},
url = {https://doi.org/10.1002/ett.3489},
doi = {10.1002/ETT.3489},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ett/KathiraveluRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/LiR018,
author = {Zhongmiao Li and
Peter Van Roy and
Paolo Romano},
editor = {Ming Zhao and
Abhishek Chandra and
Lavanya Ramakrishnan},
title = {Transparent speculation in geo-replicated transactional data stores},
booktitle = {Proceedings of the 27th International Symposium on High-Performance
Parallel and Distributed Computing, {HPDC} 2018, Tempe, AZ, USA, June
11-15, 2018},
pages = {255--266},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3208040.3208055},
doi = {10.1145/3208040.3208055},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/LiR018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sds/KathiraveluRV18,
author = {Pradeeban Kathiravelu and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
title = {Software-defined data services: Interoperable and network-aware big
data executions},
booktitle = {Fifth International Conference on Software Defined Systems, {SDS}
2018, Barcelona, Spain, April 23-26, 2018},
pages = {145--152},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SDS.2018.8370436},
doi = {10.1109/SDS.2018.8370436},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/sds/KathiraveluRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02681,
author = {Christopher S. Meiklejohn and
Peter Van Roy},
title = {Towards {A} Systems Approach To Distributed Programming},
journal = {CoRR},
volume = {abs/1802.02681},
year = {2018},
url = {http://arxiv.org/abs/1802.02681},
eprinttype = {arXiv},
eprint = {1802.02681},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02681.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08985,
author = {Pradeeban Kathiravelu and
Ashish Sharma and
Helena Galhardas and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
title = {On-Demand Big Data Integration: {A} Hybrid {ETL} Approach for Reproducible
Scientific Research},
journal = {CoRR},
volume = {abs/1804.08985},
year = {2018},
url = {http://arxiv.org/abs/1804.08985},
eprinttype = {arXiv},
eprint = {1804.08985},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/LiRR17,
author = {Zhongmiao Li and
Peter Van Roy and
Paolo Romano},
title = {Exploiting speculation in partially replicated transactional data
stores},
booktitle = {Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa
Clara, CA, USA, September 24-27, 2017},
pages = {640},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127479.3132692},
doi = {10.1145/3127479.3132692},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/LiRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/PaulMRV17,
author = {Ruma R. Paul and
J{\'{e}}r{\'{e}}mie Melchior and
Peter Van Roy and
Vladimir Vlassov},
title = {Designing Distributed Applications Using a Phase-Aware, Reversible
System},
booktitle = {{IEEE} International Conference on Edge Computing, {EDGE} 2017, Honolulu,
HI, USA, June 25-30, 2017},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IEEE.EDGE.2017.16},
doi = {10.1109/IEEE.EDGE.2017.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edge/PaulMRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BravoRR17,
author = {Manuel Bravo and
Lu{\'{\i}}s E. T. Rodrigues and
Peter Van Roy},
editor = {Gustavo Alonso and
Ricardo Bianchini and
Marko Vukolic},
title = {Saturn: a Distributed Metadata Service for Causal Consistency},
booktitle = {Proceedings of the Twelfth European Conference on Computer Systems,
EuroSys 2017, Belgrade, Serbia, April 23-26, 2017},
pages = {111--126},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3064176.3064210},
doi = {10.1145/3064176.3064210},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BravoRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/LiR017,
author = {Zhongmiao Li and
Peter Van Roy and
Paolo Romano},
editor = {Aris Gkoulalas{-}Divanis and
Miguel P. Correia and
Dimiter R. Avresky},
title = {Enhancing throughput of partially replicated state machines via multi-partition
operation scheduling},
booktitle = {16th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2017, Cambridge, MA, USA, October 30 - November 1, 2017},
pages = {261--270},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/NCA.2017.8171364},
doi = {10.1109/NCA.2017.8171364},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/LiR017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/MeiklejohnR17,
author = {Christopher S. Meiklejohn and
Peter Van Roy},
title = {Loquat: {A} framework for large-scale actor communication on edge
networks},
booktitle = {2017 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2017, Kona, Big Island, HI, USA, March
13-17, 2017},
pages = {563--568},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/PERCOMW.2017.7917624},
doi = {10.1109/PERCOMW.2017.7917624},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/percom/MeiklejohnR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MeiklejohnEYBRB17,
author = {Christopher S. Meiklejohn and
Vitor Enes and
Junghun Yoo and
Carlos Baquero and
Peter Van Roy and
Annette Bieniusa},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Practical evaluation of the Lasp programming model at large scale:
an experience report},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {109--114},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131862},
doi = {10.1145/3131851.3131862},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MeiklejohnEYBRB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/KathiraveluCSGR17,
author = {Pradeeban Kathiravelu and
Yiru Chen and
Ashish Sharma and
Helena Galhardas and
Peter Van Roy and
Lu{\'{\i}}s Veiga},
editor = {Edmon Begoli and
Fusheng Wang and
Gang Luo},
title = {On-Demand Service-Based Big Data Integration: Optimized for Research
Collaboration},
booktitle = {Data Management and Analytics for Medicine and Healthcare - Third
International Workshop, {DMAH} 2017, Held at {VLDB} 2017, Munich,
Germany, September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10494},
pages = {9--28},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67186-4\_2},
doi = {10.1007/978-3-319-67186-4\_2},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vldb/KathiraveluCSGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-06423,
author = {Christopher S. Meiklejohn and
Vitor Enes and
Junghun Yoo and
Carlos Baquero and
Peter Van Roy and
Annette Bieniusa},
title = {Practical Evaluation of the Lasp Programming Model at Large Scale
- An Experience Report},
journal = {CoRR},
volume = {abs/1708.06423},
year = {2017},
url = {http://arxiv.org/abs/1708.06423},
eprinttype = {arXiv},
eprint = {1708.06423},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06423.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/MeiklejohnHR16,
author = {Christopher Meiklejohn and
Seyed H. Haeri and
Peter Van Roy},
title = {Declarative, sliding window aggregations for computations at the edge},
booktitle = {13th {IEEE} Annual Consumer Communications {\&} Networking Conference,
{CCNC} 2016, Las Vegas, NV, USA, January 9-12, 2016},
pages = {32--37},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CCNC.2016.7444727},
doi = {10.1109/CCNC.2016.7444727},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/MeiklejohnHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PaulRV16,
author = {Ruma R. Paul and
Peter Van Roy and
Vladimir Vlassov},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Reversible Phase Transitions in a Structured Overlay Network with
Churn},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {318--333},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_26},
doi = {10.1007/978-3-319-46140-3\_26},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/PaulRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HosseinRBM16,
author = {Seyed H. Haeri (Hossein) and
Peter Van Roy and
Carlos Baquero and
Christopher Meiklejohn},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Worlds of Events: Deduction with Partial Knowledge about Causality},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {113--127},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.8},
doi = {10.4204/EPTCS.223.8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseinRBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/BriquemontBLR15,
author = {Iwan Briquemont and
Manuel Bravo and
Zhongmiao Li and
Peter Van Roy},
title = {Conflict-Free Partially Replicated Data Types},
booktitle = {7th {IEEE} International Conference on Cloud Computing Technology
and Science, CloudCom 2015, Vancouver, BC, Canada, November 30 - December
3, 2015},
pages = {282--289},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CloudCom.2015.81},
doi = {10.1109/CLOUDCOM.2015.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/BriquemontBLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/MeiklejohnR15,
author = {Christopher Meiklejohn and
Peter Van Roy},
editor = {Hans Svensson and
Melinda T{\'{o}}th},
title = {The implementation and use of a generic dataflow behaviour in Erlang},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Workshop on Erlang 2015, Vancouver,
BC, Canada, September 4, 2015},
pages = {39--45},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804295.2804300},
doi = {10.1145/2804295.2804300},
timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
biburl = {https://dblp.org/rec/conf/erlang/MeiklejohnR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MeiklejohnR15,
author = {Christopher Meiklejohn and
Peter Van Roy},
editor = {Carlos Baquero and
Marco Serafini},
title = {Lasp: a language for distributed, eventually consistent computations
with CRDTs},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {7:1--7:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2745954},
doi = {10.1145/2745947.2745954},
timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MeiklejohnR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BravoRRR15,
author = {Manuel Bravo and
Paolo Romano and
Lu{\'{\i}}s E. T. Rodrigues and
Peter Van Roy},
editor = {Carlos Baquero and
Marco Serafini},
title = {Reducing the vulnerability window in distributed transactional protocols},
booktitle = {Proceedings of the First Workshop on Principles and Practice of Consistency
for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April
21, 2015},
pages = {10:1--10:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745947.2746688},
doi = {10.1145/2745947.2746688},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BravoRRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/PaulRV15,
author = {Ruma R. Paul and
Peter Van Roy and
Vladimir Vlassov},
title = {Interaction between Network Partitioning and Churn in a Self-Healing
Structured Overlay Network},
booktitle = {21st {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2015, Melbourne, Australia, December 14-17, 2015},
pages = {232--241},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICPADS.2015.37},
doi = {10.1109/ICPADS.2015.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/PaulRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BravoRR15,
author = {Manuel Bravo and
Lu{\'{\i}}s E. T. Rodrigues and
Peter Van Roy},
editor = {Ivan Beschastnikh and
Wouter Joosen},
title = {Towards a Scalable, Distributed Metadata Service for Causal Consistency
under Partial Geo-replication},
booktitle = {Proceedings of the Doctoral Symposium of the 16th International Middleware
Conference, Middleware Doct Symposium 2015, Vancouver, BC, Canada,
December 7-11, 2015},
pages = {5:1--5:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2843966.2843971},
doi = {10.1145/2843966.2843971},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/BravoRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MeiklejohnR15,
author = {Christopher Meiklejohn and
Peter Van Roy},
editor = {Moreno Falaschi and
Elvira Albert},
title = {Lasp: a language for distributed, coordination-free programming},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {184--195},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790525},
doi = {10.1145/2790449.2790525},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MeiklejohnR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MeiklejohnR15,
author = {Christopher Meiklejohn and
Peter Van Roy},
title = {Selective Hearing: An Approach to Distributed, Eventually Consistent
Edge Computation},
booktitle = {34th {IEEE} Symposium on Reliable Distributed Systems Workshop, {SRDS}
2015 Workshop, Montreal, QC, Canada, September 28 - October 1, 2015},
pages = {62--67},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SRDSW.2015.9},
doi = {10.1109/SRDSW.2015.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/MeiklejohnR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BravoLRM14,
author = {Manuel Bravo and
Zhongmiao Li and
Peter Van Roy and
Christopher Meiklejohn},
editor = {Laura M. Castro and
Hans Svensson},
title = {Derflow: distributed deterministic dataflow programming for erlang},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {51--60},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633451},
doi = {10.1145/2633448.2633451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/BravoLRM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/PaulRV14,
author = {Ruma R. Paul and
Peter Van Roy and
Vladimir Vlassov},
title = {An empirical study of the global behavior of a structured overlay
network},
booktitle = {14th {IEEE} International Conference on Peer-to-Peer Computing, {P2P}
2014, London, United Kingdom, September 9-11, 2014, Proceedings},
pages = {1--5},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/P2P.2014.6934316},
doi = {10.1109/P2P.2014.6934316},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/p2p/PaulRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DoeraeneR13,
author = {S{\'{e}}bastien Doeraene and
Peter Van Roy},
title = {A new concurrency model for Scala based on a declarative dataflow
core},
booktitle = {Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier,
France, July 2, 2013},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489837.2489841},
doi = {10.1145/2489837.2489841},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DoeraeneR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hci/MelchiorMJRV13,
author = {J{\'{e}}r{\'{e}}mie Melchior and
Boris Mej{\'{\i}}as and
Yves Jaradin and
Peter Van Roy and
Jean Vanderdonckt},
editor = {Mar{\'{\i}}a Dolores Lozano and
Jos{\'{e}} A. Gallud and
Ricardo Tesoriero and
Victor M. Ruiz Penichet},
title = {Improving DUIs with a Decentralized Approach with Transactions and
Feedbacks},
booktitle = {Distributed User Interfaces: Usability and Collaboration},
series = {Human-Computer Interaction Series},
pages = {17--25},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-1-4471-5499-0\_2},
doi = {10.1007/978-1-4471-5499-0\_2},
timestamp = {Wed, 22 Mar 2023 21:20:50 +0100},
biburl = {https://dblp.org/rec/series/hci/MelchiorMJRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhci/MelchiorVR12,
author = {J{\'{e}}r{\'{e}}mie Melchior and
Jean Vanderdonckt and
Peter Van Roy},
title = {A Comparative Evaluation of User Preferences for Extra-User Interfaces},
journal = {Int. J. Hum. Comput. Interact.},
volume = {28},
number = {11},
pages = {760--767},
year = {2012},
url = {https://doi.org/10.1080/10447318.2012.715544},
doi = {10.1080/10447318.2012.715544},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhci/MelchiorVR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsocial/ODohertyJR12,
author = {Daire O'Doherty and
Salim Jouili and
Peter Van Roy},
editor = {Denilson Barbosa and
Kristen LeFevre and
Evimaria Terzi},
title = {Towards trust inference from bipartite social networks},
booktitle = {Proceedings of the 2nd {ACM} {SIGMOD} Workshop on Databases and Social
Networks, DBSocial 2012, Scottsdale, AZ, USA, May 20, 2012},
pages = {13--18},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2304536.2304539},
doi = {10.1145/2304536.2304539},
timestamp = {Fri, 13 Jan 2023 16:47:11 +0100},
biburl = {https://dblp.org/rec/conf/dbsocial/ODohertyJR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/CauwelaertGR12,
author = {Sascha Van Cauwelaert and
Gustavo Gutierrez and
Peter Van Roy},
title = {A New Approach for Constraint Programming in Music using Relation
Domains},
booktitle = {Non-Cochlear Sound: Proceedings of the 38th International Computer
Music Conference, {ICMC} 2012, Ljubljana, Slovenia, September 9-14,
2012},
publisher = {Michigan Publishing},
year = {2012},
url = {https://hdl.handle.net/2027/spo.bbp2372.2012.090},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/CauwelaertGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DebongnieCDR12,
author = {G{\'{e}}ry Debongnie and
Rapha{\"{e}}l Collet and
S{\'{e}}bastien Doeraene and
Peter Van Roy},
title = {Modular fault handling in a network-transparent programming language},
booktitle = {Proceedings of the 5th International Workshop on Exception Handling,
{WEH} 2012, Zurich, Switzerland, June 9, 2012},
pages = {18--21},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WEH.2012.6226592},
doi = {10.1109/WEH.2012.6226592},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DebongnieCDR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/MelchiorVR12,
author = {J{\'{e}}r{\'{e}}mie Melchior and
Jean Vanderdonckt and
Peter Van Roy},
editor = {Colette Rolland and
Jaelson Castro and
Oscar Pastor},
title = {Modelling and developing distributed user interfaces based on distribution
graph},
booktitle = {Sixth International Conference on Research Challenges in Information
Science, {RCIS} 2012, Valencia, Spain, May 16-18 2012},
pages = {1--10},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/RCIS.2012.6240450},
doi = {10.1109/RCIS.2012.6240450},
timestamp = {Mon, 18 Jan 2021 08:56:35 +0100},
biburl = {https://dblp.org/rec/conf/rcis/MelchiorVR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MelchiorVR11,
author = {J{\'{e}}r{\'{e}}mie Melchior and
Jean Vanderdonckt and
Peter Van Roy},
editor = {Fabio Patern{\`{o}} and
Kris Luyten and
Frank Maurer},
title = {A model-based approach for distributed user interfaces},
booktitle = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
pages = {11--20},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996461.1996488},
doi = {10.1145/1996461.1996488},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MelchiorVR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hci/MelchiorVR11,
author = {J{\'{e}}r{\'{e}}mie Melchior and
Jean Vanderdonckt and
Peter Van Roy},
editor = {Jos{\'{e}} A. Gallud and
Ricardo Tesoriero and
Victor M. Ruiz Penichet},
title = {Distribution Primitives for Distributed User Interfaces},
booktitle = {Distributed User Interfaces - Designing Interfaces for the Distributed
Ecosystem},
series = {Human-Computer Interaction Series},
pages = {23--31},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4471-2271-5\_3},
doi = {10.1007/978-1-4471-2271-5\_3},
timestamp = {Wed, 25 Sep 2019 17:40:58 +0200},
biburl = {https://dblp.org/rec/series/hci/MelchiorVR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaras/MejiasR10,
author = {Boris Mej{\'{\i}}as and
Peter Van Roy},
title = {Beernet: Building Self-Managing Decentralized Systems with Replicated
Transactional Storage},
journal = {Int. J. Adapt. Resilient Auton. Syst.},
volume = {1},
number = {3},
pages = {1--24},
year = {2010},
url = {https://doi.org/10.4018/jaras.2010070101},
doi = {10.4018/JARAS.2010070101},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaras/MejiasR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MejiasR10,
author = {Boris Mej{\'{\i}}as and
Peter Van Roy},
title = {From Mini-clouds to Cloud Computing},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27-28 September 2010, Workshops
Proceedings},
pages = {234--238},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASOW.2010.67},
doi = {10.1109/SASOW.2010.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MejiasR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MejiasGRTT10,
author = {Boris Mej{\'{\i}}as and
Gustavo Gutierrez and
Peter Van Roy and
John Thomson and
Paulo Trezentos},
editor = {Sumitra Reddy},
title = {Lock-Free Decentralized Storage for Transactional Upgrade Rollback},
booktitle = {19th {IEEE} International Workshops on Enabling Technologies: Infrastructures
for Collaborative Enterprises, {WETICE} 2010, Larissa, Greece, 28-30
June 2010, Proceedings},
pages = {229--234},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WETICE.2010.43},
doi = {10.1109/WETICE.2010.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/MejiasGRTT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MelchiorGVR09,
author = {J{\'{e}}r{\'{e}}mie Melchior and
Donatien Grolaux and
Jean Vanderdonckt and
Peter Van Roy},
editor = {T. C. Nicholas Graham and
Ga{\"{e}}lle Calvary and
Philip D. Gray},
title = {A toolkit for peer-to-peer distributed user interfaces: concepts,
implementation, and applications},
booktitle = {Proceedings of the 1st {ACM} {SIGCHI} symposium on Engineering Interactive
Computing System , {EICS} 2009, Pittsburgh, PA, USA, July 15-17, 2009},
pages = {69--78},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570433.1570449},
doi = {10.1145/1570433.1570449},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MelchiorGVR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MejiasR08,
author = {Boris Mej{\'{\i}}as and
Peter Van Roy},
title = {The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay
Networks},
journal = {Parallel Process. Lett.},
volume = {18},
number = {3},
pages = {411--432},
year = {2008},
url = {https://doi.org/10.1142/S0129626408003478},
doi = {10.1142/S0129626408003478},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/MejiasR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/Roy08,
author = {Peter Van Roy},
editor = {Erol Gelenbe and
Samson Abramsky and
Vladimiro Sassone},
title = {Overcoming Software Fragility with Interacting Feedback Loops and
Reversible Phase Transitions},
booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
Imperial College, London, UK, 22-24 September 2008},
pages = {379--390},
publisher = {British Computer Society},
year = {2008},
url = {http://www.bcs.org/server.php?show=ConWebDoc.22914},
timestamp = {Mon, 21 Sep 2009 12:13:42 +0200},
biburl = {https://dblp.org/rec/conf/bcs/Roy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/MejiasGR08,
author = {Boris Mej{\'{\i}}as and
Donatien Grolaux and
Peter Van Roy},
editor = {Ramin Yahyapour and
Domenico Talia and
Norbert Meyer},
title = {Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids},
booktitle = {Grid and Services Evolution, Proceedings of the 3rd CoreGRID Workshop
on Grid Middleware, June 5-6, 2008, Barcelona, Spain},
pages = {1--12},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-85966-8\_16},
doi = {10.1007/978-0-387-85966-8\_16},
timestamp = {Wed, 26 Jun 2019 12:55:10 +0200},
biburl = {https://dblp.org/rec/conf/coregrid/MejiasGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/Roy08,
author = {Peter Van Roy},
title = {The Challenges and Opportunities of Multiple Processors: Why Multi-Core
Processors are Easy and Internet is Hard},
booktitle = {Proceedings of the 2008 International Computer Music Conference, {ICMC}
2008, Belfast, Ireland, August 24-29, 2008},
publisher = {Michigan Publishing},
year = {2008},
url = {https://hdl.handle.net/2027/spo.bbp2372.2008.185},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/Roy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/WesselDOPRW08,
author = {David Wessel and
Roger B. Dannenberg and
Yann Orlarey and
Miller S. Puckette and
Peter Van Roy and
Ge Wang},
title = {Reinventing Audio and Music Computation for Many-Core Processors},
booktitle = {Proceedings of the 2008 International Computer Music Conference, {ICMC}
2008, Belfast, Ireland, August 24-29, 2008},
publisher = {Michigan Publishing},
year = {2008},
url = {https://hdl.handle.net/2027/spo.bbp2372.2008.140},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/WesselDOPRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/MejiasHR08,
author = {Boris Mej{\'{\i}}as and
Mikael H{\"{o}}gqvist and
Peter Van Roy},
editor = {Klaus Wehrle and
Wolfgang Kellerer and
Sandeep K. Singhal and
Ralf Steinmetz},
title = {Visualizing Transactional Algorithms for DHTs},
booktitle = {Proceedings P2P'08, Eighth International Conference on Peer-to-Peer
Computing, 8-11 September 2008, Aachen, Germany},
pages = {79--80},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/P2P.2008.48},
doi = {10.1109/P2P.2008.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/MejiasHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/GutierrezMRVT08,
author = {Gustavo Gutierrez and
Boris Mej{\'{\i}}as and
Peter Van Roy and
Diana Velasco and
Juan Torres},
title = {{WSN} and {P2P:} {A} Self-Managing Marriage},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, Workshops Proceedings, October 20-24, 2008,
Venice, Italy},
pages = {198--201},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASOW.2008.61},
doi = {10.1109/SASOW.2008.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/GutierrezMRVT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MejiasCRM08,
author = {Boris Mej{\'{\i}}as and
Alfredo C{\'{a}}diz and
Peter Van Roy and
Kim Mens},
title = {A Self-Adaptable Network Topology for Ambient Intelligence},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, Workshops Proceedings, October 20-24, 2008,
Venice, Italy},
pages = {219--224},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASOW.2008.60},
doi = {10.1109/SASOW.2008.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MejiasCRM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/CadizMVMRM08,
author = {Alfredo C{\'{a}}diz and
Boris Mej{\'{\i}}as and
Jorge Vallejos and
Kim Mens and
Peter Van Roy and
Wolfgang De Meuter},
editor = {M. Cecilia Bastarrica and
Mauricio Solar},
title = {{PALTA:} Peer-to-peer AdaptabLe Topology for Ambient intelligence},
booktitle = {{XXVII} International Conference of the Chilean Computer Science Society
{(SCCC} 2008), 10-14 November 2008, Punta Arenas, Chile},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCCC.2008.16},
doi = {10.1109/SCCC.2008.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sccc/CadizMVMRM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/RoyHRSYC07,
author = {Peter Van Roy and
Seif Haridi and
Alexander Reinefeld and
Jean{-}Bernard Stefani and
Roland H. C. Yap and
Thierry Coupaye},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Self Management for Large-Scale Distributed Systems: An Overview of
the {SELFMAN} Project},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {153--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_7},
doi = {10.1007/978-3-540-92188-2\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/RoyHRSYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/GrolauxMR07,
author = {Donatien Grolaux and
Boris Mej{\'{\i}}as and
Peter Van Roy},
editor = {Manfred Hauswirth and
Adam Wierzbicki and
Klaus Wehrle and
Alberto Montresor and
Nahid Shahmehri},
title = {{PEPINO:} PEer-to-Peer network INspectOr},
booktitle = {Seventh {IEEE} International Conference on Peer-to-Peer Computing
{(P2P} 2007), September 2-5, 2007, Galway, Ireland},
pages = {247--248},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/P2P.2007.29},
doi = {10.1109/P2P.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/GrolauxMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sccc/MejiasR07,
author = {Boris Mej{\'{\i}}as and
Peter Van Roy},
title = {A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer
Networks},
booktitle = {{XXVI} International Conference of the Chilean Computer Science Society
{(SCCC} 2007), 8-9 November 2007, Iquique, Chile},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SCCC.2007.1},
doi = {10.1109/SCCC.2007.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sccc/MejiasR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopwException/ColletR06,
author = {Rapha{\"{e}}l Collet and
Peter Van Roy},
editor = {Christophe Dony and
J{\o}rgen Lindskov Knudsen and
Alexander B. Romanovsky and
Anand Tripathi},
title = {Failure Handling in a Network-Transparent Distributed Programming
Language},
booktitle = {Advanced Topics in Exception Handling Techniques (the book grow out
of {ECOOP} workshops)},
series = {Lecture Notes in Computer Science},
volume = {4119},
pages = {121--140},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11818502\_7},
doi = {10.1007/11818502\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ecoopwException/ColletR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Roy06,
author = {Peter Van Roy},
editor = {Masami Hagiya and
Philip Wadler},
title = {Convergence in Language Design: {A} Case of Lightning Striking Four
Times in the Same Place},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {2--12},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_2},
doi = {10.1007/11737414\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Roy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/QuesadaRDC06,
author = {Luis Quesada and
Peter Van Roy and
Yves Deville and
Rapha{\"{e}}l Collet},
editor = {Pascal Van Hentenryck},
title = {Using Dominators for Solving Constrained Path Problems},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {73--87},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_6},
doi = {10.1007/11603023\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/QuesadaRDC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Roy07,
author = {Peter Van Roy},
editor = {Vladimir Mencl and
Frank S. de Boer},
title = {Self Management and the Future of Software Design},
booktitle = {Proceedings of the Third International Workshop on Formal Aspects
of Component Software, {FACS} 2006, Prague, Czech Republic, September
20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {182},
pages = {201--217},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.043},
doi = {10.1016/J.ENTCS.2006.12.043},
timestamp = {Tue, 24 Jan 2023 13:47:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Roy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/QuesadaRD05,
author = {Luis Quesada and
Peter Van Roy and
Yves Deville},
editor = {Peter van Beek},
title = {Speeding Up Constrained Path Solvers with a Reachability Propagator},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {866},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_104},
doi = {10.1007/11564751\_104},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/QuesadaRD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasse/VanderdoncktGRLMM05,
author = {Jean Vanderdonckt and
Donatien Grolaux and
Peter Van Roy and
Quentin Limbourg and
Beno{\^{\i}}t Macq and
Beno{\^{\i}}t Michel},
editor = {Richard T. Hurley and
Wenying Feng},
title = {A Design Space for Context-Sensitive User Interfaces},
booktitle = {Proceedings of the {ISCA} 14th International Conference on Intelligent
and Adaptive Systems and Software Engineering, July 20-22, 2005, Novotel
Toronto Centre, Toronto, Canada},
pages = {207--214},
publisher = {{ISCA}},
year = {2005},
timestamp = {Mon, 28 Nov 2022 08:32:15 +0100},
biburl = {https://dblp.org/rec/conf/iasse/VanderdoncktGRLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/GrolauxVR05,
author = {Donatien Grolaux and
Jean Vanderdonckt and
Peter Van Roy},
editor = {Maria Francesca Costabile and
Fabio Patern{\`{o}}},
title = {Attach Me, Detach Me, Assemble Me Like You Work},
booktitle = {Human-Computer Interaction - {INTERACT} 2005, {IFIP} {TC13} International
Conference, Rome, Italy, September 12-16, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3585},
pages = {198--212},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11555261\_19},
doi = {10.1007/11555261\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/GrolauxVR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/SpiessensR05,
author = {Fred Spiessens and
Peter Van Roy},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {A Practical Formal Model for Safety Analysis in Capability-Based Systems},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {248--278},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_14},
doi = {10.1007/11580850\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/SpiessensR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/moz/2004,
editor = {Peter Van Roy},
title = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b106627},
doi = {10.1007/B106627},
isbn = {3-540-25079-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/moz/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mit/RoyH2004,
author = {Peter Van Roy and
Seif Haridi},
title = {Concepts, Techniques, and Models of Computer Programming},
publisher = {{MIT} Press},
year = {2004},
url = {http://www.info.ucl.ac.be/people/PVR/book.html},
isbn = {0-262-22069-5},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mit/RoyH2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HaridiARC04,
author = {Seif Haridi and
Karl Aberer and
Peter Van Roy and
Michele Colajanni},
editor = {Marco Danelutto and
Marco Vanneschi and
Domenico Laforenza},
title = {Topic 18: Peer-to-Peer and Web Computing},
booktitle = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference,
Pisa, Italy, August 31-September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3149},
pages = {1013},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27866-5\_136},
doi = {10.1007/978-3-540-27866-5\_136},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HaridiARC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/GrolauxRV04,
author = {Donatien Grolaux and
Peter Van Roy and
Jean Vanderdonckt},
title = {Migratable User Interfaces: Beyond Migratory Interfaces},
booktitle = {1st Annual International Conference on Mobile and Ubiquitous Systems
(MobiQuitous 2004), Networking and Services, 22-25 August 2004, Cambridge,
MA, {USA}},
pages = {422--430},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MOBIQ.2004.1331749},
doi = {10.1109/MOBIQ.2004.1331749},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/GrolauxRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/SpiessensR04,
author = {Fred Spiessens and
Peter Van Roy},
editor = {Peter Van Roy},
title = {The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming
Language},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {21--40},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_3},
doi = {10.1007/978-3-540-31845-3\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/moz/SpiessensR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/El-AnsaryGRR04,
author = {Sameh El{-}Ansary and
Donatien Grolaux and
Peter Van Roy and
Mahmoud Rafea},
editor = {Peter Van Roy},
title = {Overcoming the Multiplicity of Languages and Technologies for Web-Based
Development Using a Multi-paradigm Approach},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {113--124},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_10},
doi = {10.1007/978-3-540-31845-3\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/moz/El-AnsaryGRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/MesarosCR04,
author = {Valentin Mesaros and
Bruno Carton and
Peter Van Roy},
editor = {Peter Van Roy},
title = {{P2PS:} Peer-to-Peer Development Platform for Mozart},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {125--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_11},
doi = {10.1007/978-3-540-31845-3\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/moz/MesarosCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/GrolauxGR04,
author = {Donatien Grolaux and
Kevin Glynn and
Peter Van Roy},
editor = {Peter Van Roy},
title = {A Fault Tolerant Abstraction for Transparent Distributed Programming},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {149--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_13},
doi = {10.1007/978-3-540-31845-3\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/moz/GrolauxGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RoyBDHHS03,
author = {Peter Van Roy and
Per Brand and
Denys Duchier and
Seif Haridi and
Martin Henz and
Christian Schulte},
title = {Logic programming in the context of multiparadigm programming: the
Oz experience},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {6},
pages = {715--763},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001741},
doi = {10.1017/S1471068403001741},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RoyBDHHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/MesarosCR03,
author = {Valentin Mesaros and
Bruno Carton and
Peter Van Roy},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '03, June 23 - 26,
2003, Las Vegas, Nevada, USA, Volume 4},
pages = {1752--1760},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Fri, 05 Dec 2003 09:24:20 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/MesarosCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RoyAFM03,
author = {Peter Van Roy and
Joe Armstrong and
Matthew Flatt and
Boris Magnusson},
editor = {Scott Grissom and
Deborah Knox and
Daniel T. Joyce and
Wanda P. Dann},
title = {The role of language paradigms in teaching programming},
booktitle = {Proceedings of the 34th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2003, Reno, Nevada, USA, February 19-23, 2003},
pages = {269--270},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/611892.611908},
doi = {10.1145/611892.611908},
timestamp = {Thu, 10 Jun 2021 16:43:03 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/RoyAFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/QuesadaR02,
author = {Luis Quesada and
Peter Van Roy},
editor = {Pascal Van Hentenryck},
title = {A Concurrent Constraint Programming Approach for Trajectory Determination
of Autonomous Vehicles},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {777},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_72},
doi = {10.1007/3-540-46135-3\_72},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/QuesadaR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3-2/RoyH02,
author = {Peter Van Roy and
Seif Haridi},
editor = {Lillian N. Cassel and
Ricardo Augusto da Luz Reis},
title = {Teaching Programming Broadly and Deeply: The Kernel Language Approach},
booktitle = {Informatics Curricula and Teaching Methods, {IFIP} {TC3} / {WG3.2}
Conference on Informatics Curricula, Teaching Methods and Best Practics
{(ICTEM} 2002), July 10-12, 2002, Florian{\'{o}}polis, SC, Brazil},
series = {{IFIP} Conference Proceedings},
volume = {245},
pages = {53--62},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 22 Jan 2004 13:40:04 +0100},
biburl = {https://dblp.org/rec/conf/ifip3-2/RoyH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip3-2/KoffmanBAKLRRW02,
author = {Elliot B. Koffman and
Torsten Brinda and
Juan Alvarez and
Amruth N. Kumar and
Maria L{\'{u}}cia Blanck Lisb{\^{o}}a and
Juris Reinfelds and
Peter Van Roy and
Raul Sidnei Wazlawick},
editor = {Lillian N. Cassel and
Ricardo Augusto da Luz Reis},
title = {Teaching Programming and Problem Solving},
booktitle = {Informatics Curricula and Teaching Methods, {IFIP} {TC3} / {WG3.2}
Conference on Informatics Curricula, Teaching Methods and Best Practics
{(ICTEM} 2002), July 10-12, 2002, Florian{\'{o}}polis, SC, Brazil},
series = {{IFIP} Conference Proceedings},
volume = {245},
pages = {125--130},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 09 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip3-2/KoffmanBAKLRRW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/AlimaMRH02,
author = {Luc Onana Alima and
Valentin Mesaros and
Peter Van Roy and
Seif Haridi},
editor = {Ross Lee Graham and
Nahid Shahmehri},
title = {NetProber: {A} Component for Enhancing Efficiency of Overlay Networks
in {P2P} Systems},
booktitle = {2nd International Conference on Peer-to-Peer Computing {(P2P} 2002),
5-7 September 2002, Link{\"{o}}ping, Sweden},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/PTP.2002.1046309},
doi = {10.1109/PTP.2002.1046309},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/AlimaMRH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/GrolauxRV02,
author = {Donatien Grolaux and
Peter Van Roy and
Jean Vanderdonckt},
editor = {Costin Pribeanu and
Jean Vanderdonckt},
title = {FlexClock, a Plastic Clock Written in Oz with the QTk toolkit},
booktitle = {Task Models and Diagrams for User Interface Design: Proceedings of
the First International Workshop on Task Models and Diagrams for User
Interface Design - {TAMODIA} 2002, 18-19 July 2002, Bucharest, Romania},
pages = {135--142},
publisher = {{INFOREC} Publishing House Bucharest},
year = {2002},
timestamp = {Wed, 31 Jul 2002 15:36:50 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/GrolauxRV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0208029,
author = {Peter Van Roy and
Per Brand and
Denys Duchier and
Seif Haridi and
Martin Henz and
Christian Schulte},
title = {Logic programming in the context of multiparadigm programming: the
Oz experience},
journal = {CoRR},
volume = {cs.PL/0208029},
year = {2002},
url = {https://arxiv.org/abs/cs/0208029},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0208029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/GrolauxRV01,
author = {Donatien Grolaux and
Peter Van Roy and
Jean Vanderdonckt},
editor = {Murray Reed Little and
Laurence Nigay},
title = {QTk - {A} Mixed Declarative/Procedural Approach for Designing Executable
User Interfaces},
booktitle = {Engineering for Human-Computer Interaction, 8th {IFIP} International
Conference, {EHCI} 2001, Toronto, Canada, May 11-13, 2001, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2254},
pages = {109--110},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45348-2\_12},
doi = {10.1007/3-540-45348-2\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ehci/GrolauxRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/HadimR00,
author = {Mustapha Hadim and
Peter Van Roy},
editor = {Hamid R. Arabnia},
title = {Service Combinators for {WEB} Computing in Distributed Oz},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Tue, 20 Apr 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/HadimR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Roy99,
author = {Peter Van Roy},
title = {Announcing the Mozart Programming System},
journal = {{ACM} {SIGPLAN} Notices},
volume = {34},
number = {4},
pages = {33--34},
year = {1999},
url = {https://doi.org/10.1145/312009.312029},
doi = {10.1145/312009.312029},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Roy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HaridiRBMSS99,
author = {Seif Haridi and
Peter Van Roy and
Per Brand and
Michael Mehl and
Ralf Scheidhauer and
Gert Smolka},
title = {Efficient logic variables for distributed computing},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {3},
pages = {569--626},
year = {1999},
url = {https://doi.org/10.1145/319301.319347},
doi = {10.1145/319301.319347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HaridiRBMSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Roy99,
author = {Peter Van Roy},
editor = {Danny De Schreye},
title = {Logic Programming in Oz with Mozart},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {38--51},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Roy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HaridiRBS98,
author = {Seif Haridi and
Peter Van Roy and
Per Brand and
Christian Schulte},
title = {Programming Languages for Distributed Applications},
journal = {New Gener. Comput.},
volume = {16},
number = {3},
pages = {223--261},
year = {1998},
url = {https://doi.org/10.1007/BF03037481},
doi = {10.1007/BF03037481},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HaridiRBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/RoyBHC98,
author = {Peter Van Roy and
Per Brand and
Seif Haridi and
Rapha{\"{e}}l Collet},
editor = {Henri E. Bal and
Boumediene Belkhouche and
Luca Cardelli},
title = {A Lightweight Object Migration Protocol},
booktitle = {Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA,
May 13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1686},
pages = {32--46},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-47959-7\_2},
doi = {10.1007/3-540-47959-7\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccl/RoyBHC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RoyHBSMS97,
author = {Peter Van Roy and
Seif Haridi and
Per Brand and
Gert Smolka and
Michael Mehl and
Ralf Scheidhauer},
title = {Mobile Objects in Distributed Oz},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {5},
pages = {804--851},
year = {1997},
url = {https://doi.org/10.1145/265943.265972},
doi = {10.1145/265943.265972},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RoyHBSMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/HaridiRS97,
author = {Seif Haridi and
Peter Van Roy and
Gert Smolka},
editor = {Hoon Hong and
Erich L. Kaltofen and
Markus A. Hitz},
title = {An overview of the design of Distributed Oz},
booktitle = {Proceedings of the 2nd International Workshop on Parallel Symbolic
Computation, {PASCO} 1997, July 20-22, 1997, Kihei, Hawaii, {USA}},
pages = {176--187},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/266670.266726},
doi = {10.1145/266670.266726},
timestamp = {Mon, 03 Apr 2023 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/cap/HaridiRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HolmerSCRD96,
author = {Bruce K. Holmer and
Barton Sano and
Michael J. Carlton and
Peter Van Roy and
Alvin M. Despain},
title = {Design and Analysis of Hardware for High-Performance Prolog},
journal = {J. Log. Program.},
volume = {29},
number = {1-3},
pages = {107--139},
year = {1996},
url = {https://doi.org/10.1016/S0743-1066(96)88981-3},
doi = {10.1016/S0743-1066(96)88981-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HolmerSCRD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/RoyMS96,
author = {Peter Van Roy and
Michael Mehl and
Ralf Scheidhauer},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Integrating Efficient Records into Concurrent Constraint Programming},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {438--453},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_102},
doi = {10.1007/3-540-61756-6\_102},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/RoyMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PodelskiR95,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Manfred Meyer},
title = {A Detailed Algorithm Testing Guards over Feature Trees},
booktitle = {Constraint Processing, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {923},
pages = {11--38},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59479-5\_16},
doi = {10.1007/3-540-59479-5\_16},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PodelskiR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Roy95,
author = {Peter Van Roy},
editor = {Andreas Krall and
Ulrich Geske},
title = {Integrating Records into Concurrent Constraint Programming: {A} Case
Study for {DFKI} Oz (Abstract)},
booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
pages = {111},
year = {1995},
timestamp = {Thu, 21 Mar 2019 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Roy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Roy94,
author = {Peter Van Roy},
title = {1983-1993: The Wonder Years of Sequential Prolog Implementation},
journal = {J. Log. Program.},
volume = {19/20},
pages = {385--441},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90031-0},
doi = {10.1016/0743-1066(94)90031-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Roy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PodelskiR94,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Maurice Bruynooghe},
title = {The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests
of Entailment and Disentailment over Trees},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {359--374},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/PodelskiR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GetzingerHR93,
author = {Thomas W. Getzinger and
Ralph Clarke Haygood and
Peter Van Roy},
title = {Announcing the Release of Aquarius Prolog},
journal = {{ACM} {SIGPLAN} Notices},
volume = {28},
number = {9},
pages = {5},
year = {1993},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GetzingerHR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ait-KaciPR93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Peter Van Roy},
editor = {Christian Schulte and
Gert Smolka},
title = {An Informal Introduction to {LIFE}},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ait-KaciPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PodelskiR93,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Christian Schulte and
Gert Smolka},
title = {The Beauty and the Beast Algorithm: Testing Entailment and Disentailment
Incrementally},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PodelskiR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Roy93,
author = {Peter Van Roy},
editor = {Philippe {\'{E}}z{\'{e}}quel},
title = {Techniques avanc{\'{e}}es de compilation de Prolog: l'{\'{e}}tat
de l'art et l'avenir},
booktitle = {2{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique
{(JFPL} 93), Nimes, France},
pages = {5},
publisher = {{TEKNEA}},
year = {1993},
timestamp = {Mon, 07 Jun 2004 11:07:19 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Roy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Roy93,
author = {Peter Van Roy},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Challenges in Developing Useful and Practical Static Analysis for
Logic Programs},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {111},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_33},
doi = {10.1007/3-540-57264-3\_33},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Roy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PodelskiR93,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Dale Miller},
title = {The Beauty and the Beast Algorithm},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {653},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/PodelskiR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RoyD92,
author = {Peter Van Roy and
Alvin M. Despain},
title = {High-Performance Logic Programming with the Aquarius Prolog Compiler},
journal = {Computer},
volume = {25},
number = {1},
pages = {54--68},
year = {1992},
url = {https://doi.org/10.1109/2.108055},
doi = {10.1109/2.108055},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RoyD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/VanRoy90,
author = {Peter Van Roy},
title = {Can Logic Programming Execute as Fast as Imperative Programming?},
school = {University of California at Berkeley},
year = {1990},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/VanRoy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/HolmerSCRHBDPD90,
author = {Bruce K. Holmer and
Barton Sano and
Michael J. Carlton and
Peter Van Roy and
Ralph Clarke Haygood and
William R. Bush and
Alvin M. Despain and
Joan M. Pendleton and
Tep P. Dobry},
editor = {Jean{-}Loup Baer and
Larry Snyder and
James R. Goodman},
title = {Fast Prolog with an Extended General Purpose Architecture},
booktitle = {Proceedings of the 17th Annual International Symposium on Computer
Architecture, Seattle, WA, USA, June 1990},
pages = {282--291},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/325164.325154},
doi = {10.1145/325164.325154},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/HolmerSCRHBDPD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/RoyD90,
author = {Peter Van Roy and
Alvin M. Despain},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {The Benefits of Global Dataflow Analysis for an Optimizing Prolog
Compiler},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {501--515},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/RoyD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Roy89,
author = {Peter Van Roy},
title = {A useful extension to Prolog's definite clause grammar notation},
journal = {{ACM} {SIGPLAN} Notices},
volume = {24},
number = {11},
pages = {132--134},
year = {1989},
url = {https://doi.org/10.1145/71605.71617},
doi = {10.1145/71605.71617},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Roy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Roy89,
author = {Peter Van Roy},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {An Intermediate Language to Support Prolog's Unification},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {1148--1164},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Roy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CarltonR88,
author = {Mike Carlton and
Peter Van Roy},
title = {A Distributed Prolog System with And Parallelism},
journal = {{IEEE} Softw.},
volume = {5},
number = {1},
pages = {43--51},
year = {1988},
url = {https://doi.org/10.1109/52.1993},
doi = {10.1109/52.1993},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/CarltonR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/DespainPSBBCCFH87,
author = {Alvin M. Despain and
Yale N. Patt and
Vason P. Srini and
Philip Bitar and
William R. Bush and
C. Chien and
Wayne Citrin and
Barry Fagin and
Wenwei Hwu and
Stephen W. Melvin and
Rick McGeer and
Ashok Singhal and
Michael Shebanow and
Peter Van Roy},
title = {Aquarius},
journal = {{SIGARCH} Comput. Archit. News},
volume = {15},
number = {1},
pages = {22--34},
year = {1987},
url = {https://doi.org/10.1145/25372.25375},
doi = {10.1145/25372.25375},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigarch/DespainPSBBCCFH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/RoyDW87,
author = {Peter Van Roy and
Bart Demoen and
Yves D. Willems},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Improving the Execution Speed of Compiled Prolog with Modes, Clause
Selection, and Determinism},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {111--125},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014976},
doi = {10.1007/BFB0014976},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/RoyDW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@mastersthesis{DBLP:phd/VanRoy84,
author = {Peter Van Roy},
title = {A Prolog Compiler for the {PLM}},
school = {University of California at Berkeley},
year = {1984},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/VanRoy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:57 CEST 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:
