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
Vanhoof, W. (Responsable du Projet)
1/01/24 → 31/12/25
Projet: Recherche
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Chercheur) & Vanhoof, W. (Responsable du Projet)
15/12/09 → …
Projet: Projet de thèse
-
Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques
Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)
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. (Chercheur), Englebert, V. (Responsable du Projet), Vanhoof, W. (Co-Promoteur) & Lobet-Maris, C. (Co-Promoteur)
1/09/19 → 31/08/22
Projet: Recherche
-
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
Vanhoof, W. (Responsable du Projet)
1/10/10 → 30/09/14
Projet: Recherche
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 ouvertFile41 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 ouvertFile54 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é) › Papier › 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 ouvertFile39 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 ouvertFile105 Téléchargements (Pure)
Prix
-
IBM Belgium Prijs informatica
Vanhoof, W. (Bénéficiaire), 1996
Prix: Mise à l'honneur nationale/internationale
Activités
-
Computer Science Logic 2022
Yernaux, G. (Participant) & VANHOOF, W. (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
VANHOOF, W. (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
YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)
8 sept. 2020 → 10 sept. 2020Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
FOCUS Research Seminar
Vanhoof, W. (Organisateur), Jacquet, J.-M. (Organisateur), Barkallah, M. (Membre du Comité d'Organisation), Yernaux, G. (Membre du Comité d'Organisation), Schobbens, P.-Y. (Membre du Comité d'Organisation), Ortiz Vega, J. J. (Membre du Comité d'Organisation), Amrani, M. (Membre du Comité d'Organisation), Linden, I. (Membre du Comité d'Organisation) & Colot, C. (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
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Yernaux, G. (Participant) & Vanhoof, W. (Participant)
8 oct. 2019 → 10 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès