Wim VANHOOF

Belgium

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

8 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

1 Not started
2 Active
5 Finished

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
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, G. & VANHOOF, W.
Project: PHD
Génération de données de test basée à base de contraintes pour des applications orientées base de données
VANHOOF, W.
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.
VANHOOF, W.
1/10/10 → 30/09/14
Project: Research

142 Citations
8 h-Index
22 Article
16 Conference contribution
12 Chapter
7 Paper
More

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 Access
File
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 Access
File
2 Downloads (Pure)
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 Access
File
4 Downloads (Pure)
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

IBM Belgium Prijs informatica
VANHOOF, Wim (Recipient), 1996
Prize: National/international honour

58 Participation in conference
5 Participation in workshop, seminar, course
3 Oral presentation
2 Publication peer-review
More

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
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
7 Oct 2019 → 9 Oct 2019
Activity: 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 2019
Activity: 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 2019
Activity: Talk or presentation types › Invited talk

24th international symposium on logic-based program synthesis and transformation (LOPSTR 2014)
Wim Vanhoof
19/03/14
1 item of Media coverage
Press/Media: Expert Comment