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

  • 2023

    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)

  • 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)

  • 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

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

    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)

  • 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

  • Preface

    De Angelis, E. & Vanhoof, W., 12 mars 2022, Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings. Tallinn, Vol 13290. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 13290).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum

  • 2020

    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)

  • 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)

  • 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)

  • 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)

  • 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)
  • 2019

    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

  • 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)
  • 2018

    Un an d’évaluation continue en introduction à la programmation chez des étudiants de première année d'université

    Libert, C., Vanhoof, W. & Boraita, F., août 2018, (Non publié). 5 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

  • Un dispositif d'évaluation continue en introduction à la programmation

    Libert, C. & Vanhoof, W., 27 mars 2018, Une école numérique pour émanciper ?: Colloque scientifique, Actes de la conférence. Sanchez, E. & Baumberger, B. (eds.). p. 16-19 4 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
    13 Téléchargements (Pure)
  • 2017

    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

  • Survey of software visualization systems to teach message-passing concurrency in secondary school

    Titre traduit de la contribution: Comparaison de systèmes de visualisation de programmes pour l'enseignement de la programmation concurrente par passage de messages à l'école secondaire.Libert, C. & Vanhoof, W., juin 2017, Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Proceedings. Lopes, F., Bajo, J., Novais, P., Hallenborg, K., Del Val, E., Julian, V., Vale, Z., Pawlewski, P., Duque Mendez, N. D., Holmgren, J., Rocha, A. P. & Mathieu, P. (eds.). Springer, p. 386 - 397 12 p. (Communications in Computer and Information Science; Vol 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

    Accès ouvert
    File
    50 Téléchargements (Pure)
  • 2016

    Towards a framework for algorithm recognition in binary code

    Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

  • Un outil d'aide à la conception des formes normales en logique propositionnelle

    Désiron, K., Remiche, M-A. & Vanhoof, W., 2016. 2 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

  • 2015

    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)

  • Relational symbolic execution of SQL code for unit testing of database programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans: Science of Computer Programming. 105, p. 44-72 29 p.

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

    Accès ouvert
    File
    130 Téléchargements (Pure)
  • 2014

    Testing Database Programs using Relational Symbolic Execution

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

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

    File
    336 Téléchargements (Pure)

  • Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 mai 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

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

    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)

  • Semantic code clones in logic programs

    Dandois, C. & Vanhoof, W., 14 nov. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7844 LNCS. p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7844 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

  • Static Application-Level Race Detection in STM Haskell using Contracts

    Demeyer, R. & Vanhoof, W., 10 déc. 2013, Electronic Proceedings in Theoretical Computer Science EPTCS. Open Publishing Association, (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

    File
    34 Téléchargements (Pure)

  • Verification of Transactions in STM Haskell using Contracts and Program Transformation

    Demeyer, R. & Vanhoof, W., 2013, p. 47-51.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs

  • 2012

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

  • 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

  • Preface

    Vanhoof, W. & Villanueva, A., 1 janv. 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). (22nd Workshop on Logic-Based Programming Environments, WLPE 2012).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum

  • Test input generation for database programs using relational constraints

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2012, Proceedings of the Fifth International Workshop on Testing Database Systems. New York, NY, USA: ACM Press, p. 6:1-6:6 6 p. (DBTest '12).

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

  • Verifying the Consistency of Transactional Variables in STM Haskell

    Demeyer, R. & Vanhoof, W., 2012.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

  • 2011

    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)

  • Application Mémoires

    Vanhoof, W., 2011

    Résultats de recherche: Forme non textuelle › Logiciel

  • On the partial deduction of non-ground meta-interpreters

    Vanhoof, W., 2011.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

  • Proper Granularity for Atomic Sections in Concurrent Programs

    Demeyer, R. & Vanhoof, W., 2011, Pre-­Proceedings of the 21st International Symposium on Logic-­Based Program Synthesis and Transformation (LOPSTR 2011).

    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

  • 2010

    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

  • 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

  • Program analysis for code duplication in logic programs

    Dandois, C. & Vanhoof, W., 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK.

    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

  • 2009

    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

  • Towards a Framework for Constraint-Based Test Case Generation

    Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, Proceedings of LOPSTR 2009. Vol 6037. p. 128-142 15 p. (Proceedings of LOPSTR 2009).

    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

  • 2008

    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

  • Calculabilité et complexité

    Vanhoof, W., 2008

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

  • Introduction à l'algorithmique

    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

  • Méthodes de programmation

    Vanhoof, W., 2008

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

  • Towards a Normal Form for Mercury Programs

    Degrave, F. & Vanhoof, W., 2008, Proceedings of LOPSTR 2007. Vol 4915. p. 43-58 16 p. (Proceedings of LOPSTR 2007).

    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

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