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
1997 …2024

Résultat de recherche par an

Résultats de recherche

  • 18th Belgium-Netherlands Conference on Artificial Intelligence

    Schobbens, P-Y., Vanhoof, W. & Schwanen, G., 2006

    Résultats de recherche: Autre contribution

  • 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
    45 Téléchargements (Pure)

  • A control flow graph for Mercury.

    Degrave, F. & Vanhoof, W., 2007, Proceedings of CICLOPS 2007: Porto, Portugal. Abreu, S. & Santos, V. (eds.).

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

  • 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 ouvert
    File
    42 Téléchargements (Pure)

  • A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2015.

    Résultats de recherche: Papier de travail › Article de travail

    File
    162 Téléchargements (Pure)

  • A fixed point semantics for logic programs extended with cuts

    Vanhoof, W., Tronçon, R. & Bruynooghe, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Leuschel, M. (Ed.). Springer Verlag, Vol 2664. p. 238-257 20 p. (Logic Based Program Synthesis and Transformation, LOPSTR 2002 ).

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

  • A Framework for bottom up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98. Vol 1490. p. 54-72 19 p. (Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98).

    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 framework for bottom-up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer, p. 54-72 (Lecture Notes in Computer Science; Vol 1490).

    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 Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

    Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24

    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 Multi-Objective Evolutionary Concept Learner

    Dandois, C., Divina, F. & Vanhoof, W., 2010, IEEE Congress on Evolutionary Computation (CEC 2010).

    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

  • An Algorithm for Sophisticated Code Matching in Logic Programs

    Vanhoof, W. & Degrave, F., 2009, Proceedings of ICLP 2008. M. Garcia de la Banda and E. Pontelli, Vol 5366.

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

  • Analysis of Students' Preconceptions of Concurrency

    Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 26 août 2019, EASEAI 2019 - Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2019. Vanderose, B., Frenay, B., Henry, J. & Devroey, X. (eds.). New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

    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 Novel Probabilistic Encoding for EAs Applied to Biclustering of Microarray Data

    Marcozzi, M., DIVINA, F., AGUILAR-RUIZ, J. S. & Vanhoof, W., 2011, GECCO '11: Proceedings of the Genetic and Evolutionary Computation Conference. Krasnogor, N. (Ed.). New York: ACM Press, p. 339-346 8 p.

    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
    74 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
    34 Téléchargements (Pure)

  • Anti-unification in Constraint Logic Programming

    Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans: Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

    3 Téléchargements (Pure)

  • Anti-unification of Unordered Goals

    Yernaux, G. & Vanhoof, W., 27 janv. 2022, Proceedings of the 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Manea, F. & Simpson, A. (eds.). 17 p. 37. (Leibniz International Proceedings in Informatics (LIPIcs); Vol 216).

    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
    52 Téléchargements (Pure)

  • Application Mémoires

    Vanhoof, W., 2011

    Résultats de recherche: Forme non textuelle › Logiciel

  • A relational symbolic execution algorithm for constraint-based testing of database programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 sept. 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

    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
    210 Téléchargements (Pure)

  • A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 6 déc. 2012.

    Résultats de recherche: Papier de travail › Article de travail

    Accès ouvert
    File
    111 Téléchargements (Pure)

  • Automatic Generation of Test Inputs for Mercury Programs

    Vanhoof, W. & Mweze Nabintu Feza, N., 2006, Venice Italy: G. Puebla.

    Résultats de recherche: Papier de travail › Article de travail

  • Automatic Test Input Generation for Mercury

    Degrave, F., Schrijvers, T. & Vanhoof, W., 2008, Proceedings of LOPSTR 2008. Vol 5438. p. 71-86 16 p. (Proceedings of LOPSTR 2008).

    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

  • Binding-Time analysis by constraint solving a modular and Higher-Order approach for mercury

    Vanhoof, W., 2000, Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000, Proceedings. Voronkov, A. & Parigot, M. (eds.). Springer Verlag, Vol 1955. p. 399-416 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1955).

    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

  • Binding-time analysis for Mercury

    Vanhoof, W. & Bruynooghe, M., 1999, Proceedings of the 16th International Conference on Logic Programming . MIT, T. (Ed.). De Schreye, D., p. 500-514 15 p.

    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

  • Binding-time Analysis for Mercury

    Vanhoof, W., Bruynooghe, M. & Leuschel, M., 2004, Program Development in Computational Logic.. K.K & Lau, M. (eds.). Springer Verlag, Vol 3049. p. 190-223 34 p.

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

  • Binding-time annotations without binding-time analysis

    Vanhoof, W. & Bruynooghe, M., 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, Vol 2250. p. 707-722 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2250).

    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

  • Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 déc. 2001, Fifth international workshop on termination, WST'01. p. 707-722

    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

  • Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 déc. 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Nieuwsenhuis, R. & Voronkov, A. (eds.). Springer, p. 707-722 (Lecture Notes in Artificial Intelligence; Numéro 2250).

    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

  • Bottom up information propagation for partial deduction

    Vanhoof, W., 1997, Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications. Leuschel, M. (Ed.). p. 73-82 10 p.

    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

  • Bottom up specialisation: towards general foundations

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Logic Program Synthesis and Transformation, Pre-proceedings of LOPSTR'98 . Flener, P., p. 114-121 8 p.

    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

  • Bottom-up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 2000, Dans: Journal of Functional and Logic Programming. 1999, 2, p. 1-33 33 p.

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

  • Bottom-up transformation for programs with procedural control

    Vanhoof, W. & Bruynooghe, M., 2002, Preproceedings of the International Workshop on Logic Based Program Development and Transformation. Leuschel, M. and Bueno, F., p. 234-250 17 p.

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

  • Calculabilité et complexité

    Vanhoof, W., 2008

    Résultats de recherche: Forme non textuelle › Produits numériques ou (audio)visuels

  • Calculabilité et complexité

    Vanhoof, W., 2007

    Résultats de recherche: Autre contribution

  • Clones in Logic Programs and How to Detect Them

    Dandois, C. & Vanhoof, W., 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers.

    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

  • Collecting potential optimisations

    Mazur, N., Janssens, G. & Vanhoof, W., 2002, Logic Based Program Synthesis and Transformation. Vol 2664. p. 109-110 2 p. (Logic Based Program Synthesis and Transformation ).

    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

  • Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes

    Demeyer, R., Van Assche, M., Langevine, L. & Vanhoof, W., 2010, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA: ACM Press, p. 209-218 (PPDP '10).

    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

  • 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 ouvert
    File
    33 Téléchargements (Pure)

  • Fingerprinting Logic Programs

    Serebrenik, A. & Vanhoof, W., 2006, Seatlle, Washington, USA: W. Vanhoof and S. Hernandez.

    Résultats de recherche: Papier de travail › Article de travail

  • 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
    48 Téléchargements (Pure)

  • Introduction à l'algorithmique

    Vanhoof, W., 2008

    Résultats de recherche: Forme non textuelle › Produits numériques ou (audio)visuels

  • Introduction à la programmation et à l'architecture des ordinateurs

    Vanhoof, W., 2005

    Résultats de recherche: Autre contribution

  • 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érence › Article dans les actes d'une conférence/un colloque

    File
    18 Téléchargements (Pure)

  • La programmation par passage de messages pour aider à développer la pensée informatique

    Libert, C. & Vanhoof, W., 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs) › Revue par des pairs

  • Méthodes de programmation

    Vanhoof, W., 2008

    Résultats de recherche: Forme non textuelle › Produits numériques ou (audio)visuels

  • Méthodes de programmation

    Vanhoof, W., 2008

    Résultats de recherche: Autre contribution

  • Moulinog: A generator of random student assignments written in prolog

    Yernaux, G., Vanhoof, W. & Schumacher, L., 8 sept. 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. ACM Press, 5 p. 3414100. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

    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
    59 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

  • Offline specialisation in Prolog using a hand-written compiler generator

    Leuschel, M., Jorgensen, J., Bruynooghe, M. & Vanhoof, W., janv. 2004, Dans: Theory and Practice of Logic Programming. 4, 1-2, p. 139-191 53 p.

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

  • 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

  • One Loop at a Time

    Codish, M., Genaim, S., Bruynooghe, M., Gallagher, J. & Vanhoof, W., 2003, 6th International Workshop on Termination: WST'03,.

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

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.