Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, Katholieke Universiteit Leuven (KUL)
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.
- 3 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & VANHOOF, W.
15/12/09 → …
Project: PHD
Constraint-based test data generation for database-driven applications
Marcozzi, M., VANHOOF, W. & HAINAUT, J.
1/10/10 → 30/09/14
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
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
Open Access
File
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).Research output: Contribution to conference › Poster
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
Open Access
File
Introduire la concurrence en début de secondaire
Libert, C. & Vanhoof, W., 2020. 12 p.Research output: Contribution to conference › Paper
Open Access
Moulinog: A Generator of Random Student Assignments Written in Prolog
YERNAUX, GONZAGUE., VANHOOF, W. & SCHUMACHER, LAURENT., Sep 2020, In : ACM International Conference Proceedings Series. 5 p.Research output: Contribution to journal › Article
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 2020
Activity: 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 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)
8 Oct 2019
Activity: Talk or presentation types › Invited talk
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker), & Wim Vanhoof (Speaker)
9 Oct 2019
Activity: Talk or presentation types › Oral presentation
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), & Wim Vanhoof (Participant)
8 Oct 2019 → 10 Oct 2019
Activity: Participating in or organising an event types › Participation in conference
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