• Source : Scopus
  • 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, 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

Réseau

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
  • 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é)ArticleRevue par des pairs

    Accès ouvert
    11 Téléchargements (Pure)
  • 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 revueArticleRevue par des pairs

    Accès ouvert
    File
    29 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érenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    11 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érenceArticle dans les actes d'une conférence/un colloque

    File
    17 Téléchargements (Pure)
  • Introduire la concurrence en début de secondaire ?

    Libert, C. & VANHOOF, W., 2020, L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation. Caron, P-A., Fluckiger, C., Marquet, P., Peter, Y. & Secq, Y. (eds.). p. 112-123 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    1 Téléchargements (Pure)