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
Réseau
-
Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & Vanhoof, W.
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 sur les contraintes pour des applications orientées base de données.
Marcozzi, M., Vanhoof, W. & HAINAUT, J.
1/10/10 → 30/09/14
Projet: Projet de thèse
-
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
1/10/10 → 30/09/14
Projet: Recherche
Résultat de recherche
-
Anti-unification of Unordered Goals
Yernaux, G. & VANHOOF, W., 27 janv. 2022. 17 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs
Accès ouvert11 Téléchargements (Pure) -
On Detecting Semantic Clones in Constraint Logic Programs
Yernaux, G. & Vanhoof, W., 14 déc. 2022, Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022: Proceedings. IEEE Computer society, p. 32 - 38 7 p. (Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022).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
-
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., sept. 2020, Dans: Genes. 11, 9, p. 1-17 17 p., 985.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile30 Téléchargements (Pure) -
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).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 ouvertFile16 Téléchargements (Pure) -
Generalization-Driven Semantic Clone Detection in CLP
Vanhoof, W. & Yernaux, G., 21 avr. 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (Ed.). Springer, Vol 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12042 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
File24 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
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Orateur)
7 oct. 2019 → 9 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès