Peter Van Roy
Université Catholique de Louvain
H-index: 35
Europe-Belgium
Top articles of Peter Van Roy
Programs should always be declarative except where they interact with the real world
2023/12
Peter Van Roy
H-Index: 12
ChatGPT and the concept of ‘truth’
2023/10/31
Peter Van Roy
H-Index: 12
Algebraic Reasoning About Timeliness
arXiv preprint arXiv:2308.10654
2023/8/21
Ideas for the future of Prolog inspired by Oz
arXiv preprint arXiv:2302.00558
2023/2/1
Peter Van Roy
H-Index: 12
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
2023
Peter Van Roy
H-Index: 12
Programs should always be declarative except when real-world time is important
2023
Peter Van Roy
H-Index: 12
A constraint formalization of Fux’s counterpoint
Actes des Journées d’Informatique Musicale 2023
2023
Peter Van Roy
H-Index: 12
On the Algebraic Properties of Timeliness
2023
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study
Computers
2022/3/17
Mind Your Outcomes: The∆ Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study
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
2022
Peter Van Roy
H-Index: 12
Numerl: efficient vector and matrix computation for Erlang
2022
Peter Van Roy
H-Index: 12
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network
2021/8/18
Peter Van Roy
H-Index: 12
Visualizing and controlling convergence in Lasp program execution
2021/1/22
Peter Van Roy
H-Index: 12
Mind Your Outcomes
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
2021
Peter Van Roy
H-Index: 12
Interoperable and network‐aware service workflows for big data executions at internet scale
Concurrency and Computation: Practice and Experience
2020/11/10
Pradeeban Kathiravelu
H-Index: 7
Peter Van Roy
H-Index: 12
A history of the Oz multiparadigm language
Proceedings of the ACM on Programming Languages
2020/6/12
Computer-aided musical composition
2020/6
Latency-sensitive web service workflows: A case for a software-defined internet
2020/4/20
Pradeeban Kathiravelu
H-Index: 7
Peter Van Roy
H-Index: 12