Photo de Wim Vanhoof

Voir le profil Scopus

Wim Vanhoof

 https://orcid.org/0000-0003-3769-6294

  • Belgique

Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
19972022

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Programming languages, Program analysis, Program transformation, Program specialisation

Prix/Distinctions

IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"

Diplômes

Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
Lic. Informatica K.U.Leuven, 1996.

Domaines de compétence

Programming languages, Program analysis, Program transformation, Program specialisation

Prix/Distinctions

IBM Belgium Prijs voor informatica 1997 pour le mémoire "Implementatie van een supercompilator voor een functionele taal"

Diplômes

Doctor in de Wetenschappen : informatica, K.U.Leuven 2001.
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

Passez en revue plus en détail les thèmes de recherche où Wim Vanhoof est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Réseau

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
Tout afficher 8 projets

  • 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 ouvert
    11 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 ouvert
    File
    30 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 ouvert
    File
    16 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

    File
    24 Téléchargements (Pure)
Tout afficher 81 résultat de recherche
Tout afficher 76 activités