Search

Pages

1. An Oz implementation using Truffle and Graal

   By : Istasse, Maxime[UCL] Directed by : Van Roy, Peter[UCL] Daloze, Benoit Maudoux, Guillaume[UCL] (2017) Ecole polytechnique de Louvain

2. High availability for RoQ core components

   By : Van Melle, Benjamin[UCL] Directed by : Van Roy, Peter[UCL] D'Erman, Alexandre (2015) Ecole polytechnique de Louvain

3. Intelligent grading of programming exercises in a MOOC

   By : Dumoulin, Mehdi[UCL] Directed by : Van Roy, Peter[UCL] Combéfis, Sébastien[UCL] (2015) Ecole polytechnique de Louvain

4. Computer-aided musical composition

   By : Lapière, Baptiste[UCL] Directed by : Van Roy, Peter[UCL] Bresson, Jean[UCL] (2020) Ecole polytechnique de Louvain

5. A new syntax for Oz

   By : Mbonyincungu, Jean-Pacifique[UCL] Directed by : Van Roy, Peter[UCL] Mens, Kim[UCL] Laurent, Nicolas[UCL] (2020) Ecole polytechnique de Louvain

6. Hybrid causality : towards a model between potential and explicit causality

   By : Dagnely, Vincent[UCL] Directed by : Van Roy, Peter[UCL] Bravo, Manuel[UCL] (2017) Ecole polytechnique de Louvain

7. HoneyPot : a caching protocol for causally consistent data stores

   By : Munteanu, Ionel[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

8. A formal proof for Speculative Snapshot Isolation

   By : d'Oreye de Lantremange, Sébastien[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

9. Sensor fusion at the extreme edge of an internet of things network

   By : Neirinckx, Guillaume[UCL] Bastin, Julien[UCL] Directed by : Van Roy, Peter[UCL] (2020) Ecole polytechnique de Louvain

10. Doing large-scale computations on an Internet of Things network

    By : Banken, Julien[UCL] Xanthos, Nicolas[UCL] Directed by : Van Roy, Peter[UCL] (2020) Ecole polytechnique de Louvain

Pages