Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, KULeuven
Award Date: 30 Jun 2001
Fingerprint
Dive into the research topics where Wim VANHOOF is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 sur les contraintes pour des programmes orientés base de données.
1/10/10 → 30/09/14
Project: Research
-
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
-
Anti-unification of Unordered Goals
Yernaux, G. & VANHOOF, W., 27 Jan 2022. 17 p.Research output: Contribution to conference › Paper › peer-review
Open Access11 Downloads (Pure) -
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 AccessFile29 Downloads (Pure) -
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 AccessFile11 Downloads (Pure) -
Generalization-Driven Semantic Clone Detection in CLP
Vanhoof, W. & Yernaux, G., 21 Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File17 Downloads (Pure) -
Introduire la concurrence en début de secondaire ?
Libert, C. & VANHOOF, W., 2020, L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation. Caron, P-A., Fluckiger, C., Marquet, P., Peter, Y. & Secq, Y. (eds.). p. 112-123 12 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File1 Downloads (Pure)
Prizes
Activities
-
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 Feb 2022 → 19 Feb 2022Activity: Participating in or organising an event types › Participation in conference
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
Wim VANHOOF (Co-chairman)
7 Sep 2021Activity: Participating in or organising an event types › Participation in conference
-
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
-
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker) & Wim Vanhoof (Speaker)
9 Oct 2019Activity: Talk or presentation types › Oral presentation