Projets par an
Profil personnel
Domaines de compétence
Prix/Distinctions
Diplômes
Lic. Informatica K.U.Leuven, 1996.
Domaines de compétence
Prix/Distinctions
Diplômes
Lic. Informatica K.U.Leuven, 1996.
Qualification académique
Docteur ès sciences, Clustering and instance based learning in first order logic, KU Leuven
Date d'octroi: 30 juin 2001
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques
1/01/24 → 31/12/25
Projet: Recherche
-
Program Analysis to Support Concurrent Programming in Functional Languages
15/12/09 → …
Projet: Projet de thèse
-
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
Projet: Recherche
-
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
Projet: Projet de thèse
Résultat de recherche
-
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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile33 Téléchargements (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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile29 Téléchargements (Pure) -
Neuroevolutionary Transfer Learning for Time Series Forecasting
Vellinger, A., Torres, J. F., Divina, F. & Vanhoof, W., 31 août 2023, p. 219-228. 10 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs
-
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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile5 Téléchargements (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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile35 Téléchargements (Pure)
Prix
-
IBM Belgium Prijs informatica
Vanhoof, Wim (Bénéficiaire), 1996
Prix: Mise à l'honneur nationale/internationale
Activités
-
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 févr. 2022 → 19 févr. 2022Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
Wim VANHOOF (Vice-président)
7 sept. 2021Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
22nd International Symposium on Principles and Practice of Declarative Programming
GONZAGUE YERNAUX (Participant), LAURENT SCHUMACHER (Participant) & Wim VANHOOF (Participant)
8 sept. 2020 → 10 sept. 2020Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Orateur)
8 oct. 2019Activité: Discours ou présentation › Discours invité