Projects per year
Personal profile
Areas of expertise
Awards
Diplomas
Areas of expertise
Awards
Diplomas
Education/Academic qualification
Doctor of Science, Clustering and instance based learning in first order logic, 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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Sandbox4CS: Sandbox4CS: a research infrastructure for computer science
Vanhoof, W. (PI)
1/01/24 → 31/12/25
Project: Research
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Researcher) & Vanhoof, W. (PI)
15/12/09 → …
Project: PHD
-
Algorithmic equivalence by generalization-driven transformations of logic programs
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
Project: PHD
-
Silverkit: Plateforme autoadaptative afin de préserver la qualité d’interaction des seniors avec les outils numériques
Genin, S. (Researcher), Englebert, V. (PI), Vanhoof, W. (Co-supervisor) & Lobet-Maris, C. (Co-supervisor)
1/09/19 → 31/08/22
Project: Research
-
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
Vanhoof, W. (PI)
1/10/10 → 30/09/14
Project: Research
-
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Yernaux, G. & Vanhoof, W., 12 Sept 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol. 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile41 Downloads (Pure) -
EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science
Kabimbi Ngoy, R., Yernaux, G. & Vanhoof, W., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I.-A., Uhomoibhi, J. & McLaren, B. (eds.). Vol. 2. p. 241-251 11 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 2).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile52 Downloads (Pure) -
Neuroevolutionary Transfer Learning for Time Series Forecasting
Vellinger, A., Torres, J. F., Divina, F. & Vanhoof, W., 31 Aug 2023, p. 219-228. 10 p.Research output: Contribution to conference › Paper › peer-review
-
Predicate Anti-unification in (Constraint) Logic Programming
Yernaux, G. & Vanhoof, W., 16 Oct 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings: Logic-Based Program Synthesis and Transformation. LOPSTR 2023.. Glück, R. & Kafle, B. (eds.). Springer, Cham, Vol. 14330. p. 131-149 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14330 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile37 Downloads (Pure) -
ScrImmo: A Real-time Web Scraper Monitoring the Belgian Real Estate Market
Barzin, F., Yernaux, G. & Vanhoof, W., Oct 2023, Proceedings - 2023 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023. p. 335-338 4 p. (Proceedings - 2023 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2023).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile101 Downloads (Pure)
Prizes
Activities
-
Computer Science Logic 2022
Yernaux, G. (Participant) & VANHOOF, W. (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
VANHOOF, W. (Co-chairman)
7 Sept 2021Activity: Participating in or organising an event types › Participation in conference
-
22nd International Symposium on Principles and Practice of Declarative Programming
YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)
8 Sept 2020 → 10 Sept 2020Activity: Participating in or organising an event types › Participation in conference
-
FOCUS Research Seminar
Vanhoof, W. (Organiser), Jacquet, J.-M. (Organiser), Barkallah, M. (Member of Organizing Committee), Yernaux, G. (Member of Organizing Committee), Schobbens, P.-Y. (Member of Organizing Committee), Ortiz Vega, J. J. (Member of Organizing Committee), Amrani, M. (Member of Organizing Committee), Linden, I. (Member of Organizing Committee) & Colot, C. (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
Yernaux, G. (Participant) & Vanhoof, W. (Participant)
8 Oct 2019 → 10 Oct 2019Activity: Participating in or organising an event types › Participation in conference