Peter Van Roy
Université Catholique de Louvain
H-index: 35
Europe-Belgium
Top articles of Peter Van Roy
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A constraint formalization of Fux’s counterpoint | Actes des Journées d’Informatique Musicale 2023 | Damien Sprockeels Thibault Wafflard Peter Van Roy Karim Haddad | 2023 |
ChatGPT and the concept of ‘truth’ | Peter Van Roy | 2023/10/31 | |
On the Algebraic Properties of Timeliness | Seyed Hossein Haeri Peter W Thompson Peter Van Roy Magne Haveraaen Neil J Davies | 2023 | |
Algebraic Reasoning About Timeliness | arXiv preprint arXiv:2308.10654 | Seyed Hossein Haeri Peter W Thompson Peter Van Roy Magne Haveraaen Neil J Davies | 2023/8/21 |
Ideas for the future of Prolog inspired by Oz | arXiv preprint arXiv:2302.00558 | Peter Van Roy Seif Haridi | 2023/2/1 |
FuxCP: a constraint programming based tool formalizing Fux’s musical theory of counterpoint | Prom. by Peter Van Roy. MA thesis. École polytechnique de Louvain, Université catholique de Louvain | Thibault Wafflard Peter Van Roy | 2023 |
Programs should always be declarative except when real-world time is important | Peter Van Roy | 2023 | |
Programs should always be declarative except where they interact with the real world | Peter Van Roy | 2023/12 | |
Numerl: efficient vector and matrix computation for Erlang | Tanguy Losseau Peter Van Roy | 2022 | |
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study | Computers | Seyed Hossein Haeri Peter Thompson Neil Davies Peter Van Roy Kevin Hammond | 2022/3/17 |
Mind Your Outcomes: The∆ Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study | Seyed Hossein HAERI Peter Thompson Neil Davies Peter Van Roy Kevin Hammond | 2022/1/24 | |
Melodizer 2.0: a constraint programming tool for computer-aided musical composition | Prom. by Peter Van Roy. MA thesis. Ecole polytechnique de Louvain, Université catholique de Louvain | Clément Chardon Amaury Diels Federico Gobbi Peter Van Roy | 2022 |
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network | Sébastien Kalbusch Vincent Verpoten Peter Van Roy | 2021/8/18 | |
Visualizing and controlling convergence in Lasp program execution | Grégory Creupelandt Peter Van Roy | 2021/1/22 | |
Mind Your Outcomes | Seyed Hossein Haeri Peter Thompson Neil Davies Peter Van Roy Kevin Hammond | 2021 | |
Melodizer: a constraint programming tool for computer-aided musical composition | Prom. by Peter Van Roy. MA thesis. Ecole polytechnique de Louvain, Université catholique de Louvain | Damien Sprockeels Peter Van Roy | 2021 |
Sensor fusion at the extreme edge of an internet of things network | Guillaume Neirinckx Julien Bastin Peter Van Roy | 2020 | |
Interoperable and network‐aware service workflows for big data executions at internet scale | Concurrency and Computation: Practice and Experience | Pradeeban Kathiravelu Peter Van Roy Luís Veiga | 2020/11/10 |
A new syntax for Oz | Prom. Peter Van Roy. MA thesis. École Polytechnique de Louvain, UCLouvain | Jean-Pacifique Mbonyincungu Peter Van Roy Kim Mens Nicolas Laurent | 2020 |
A history of the Oz multiparadigm language | Proceedings of the ACM on Programming Languages | Peter Van Roy Seif Haridi Christian Schulte Gert Smolka | 2020/6/12 |