Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, Katholieke Universiteit Leuven (KUL)
Award Date: 30 Jun 2001
Fingerprint
- 8 Similar Profiles
Network
Projects
-
Silverkit: Plateforme autoadaptative afin de préserver la qualité d’interaction des seniors avec les outils numériques
Genin, S., ENGLEBERT, V., VANHOOF, W. & Lobet-Maris, C.
1/09/19 → 31/08/22
Project: Research
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & VANHOOF, W.
15/12/09 → …
Project: PHD
-
Génération de données de test basée à base de contraintes pour des applications orientées base de données
1/10/10 → 30/09/12
Project: PHD
-
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
1/10/10 → 30/09/14
Project: Research
Research Output
-
A comparative study of supervised machine learning algorithms for the prediction of long-range chromatin interactions
Vanhaeren, T., Divina, F., García-Torres, M., Gómez-Vela, F., Vanhoof, W. & García, P. M. M., Sep 2020, In : Genes. 11, 9, p. 1-17 17 p., 985.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., Perrouin, G., Vanhoof, W. & Vidal, G., 2020, Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Proceedings. Nakano, K. & Sagonas, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12073 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile -
Generalization-Driven Semantic Clone Detection in CLP
Yernaux, G. & Vanhoof, W., 21 Apr 2020, In : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Introduire la concurrence en début de secondaire
Libert, C. & Vanhoof, W., 2020. 12 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Moulinog: A Generator of Random Student Assignments Written in Prolog
YERNAUX, GONZAGUE., VANHOOF, W. & SCHUMACHER, LAURENT., 8 Sep 2020, In : ACM International Conference Proceedings Series. 5 p.Research output: Contribution to journal › Article › peer-review
Prizes
Activities
-
22nd International Symposium on Principles and Practice of Declarative Programming
GONZAGUE YERNAUX (Participant), LAURENT SCHUMACHER (Participant) & Wim VANHOOF (Participant)
8 Sep 2020 → 10 Sep 2020Activity: Participating in or organising an event types › Participation in conference
-
FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee) & Christian Colot (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
7 Oct 2019 → 9 Oct 2019Activity: Participating in or organising an event types › Participation in conference
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant) & Wim Vanhoof (Participant)
8 Oct 2019 → 10 Oct 2019Activity: Participating in or organising an event types › Participation in conference
-
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)
8 Oct 2019Activity: Talk or presentation types › Invited talk
Press / Media
-
24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)
19/03/14
1 item of Media coverage
Press/Media: Expert Comment