Photo de Wim VANHOOF
  • 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.

Résultats de recherche

  • Article

    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
    27 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 revueArticleRevue par des pairs

    3 Téléchargements (Pure)
  • 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)
  • 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 revueArticleRevue 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 revueArticleRevue par des pairs

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

    Vanhoof, W., 2011.

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

  • 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 revueArticleRevue par des pairs

    Accès ouvert
    File
    96 Téléchargements (Pure)
  • Termination analysis of logic programs through combination of type-based norms

    Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 1 avr. 2007, Dans: ACM Transactions on Programming Languages and Systems. 29, 2

    Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

  • 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é)ArticleRevue par des pairs

  • 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é)ArticleRevue 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é)ArticleRevue par des pairs

  • 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é)ArticleRevue par des pairs

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

  • Analysis of Students' Preconceptions of Concurrency

    Libert, 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érenceArticle 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érenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    55 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
    9 Téléchargements (Pure)
  • 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érenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    197 Téléchargements (Pure)
  • 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érenceArticle 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érenceArticle 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érenceArticle dans les actes d'une conférence/un colloque

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

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

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

    Accès ouvert
    File
    16 Téléchargements (Pure)
  • Pos(T ): Analyzing dependencies in typed logic programs

    Bruynooghe, M., Vanhoof, W. & Codish, M., 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. Bjørner, D., Broy, M. & Zamulin, Z. (eds.). Springer Verlag, Vol 2244. p. 406-420 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2244 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

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

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

  • Reuse of results in termination analysis of typed logic programs

    Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 2002, Static Analysis, 9th International Symposium. Vol 2477. p. 477-492 16 p. (Static Analysis, 9th International Symposium ).

    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

  • Searhing semantically equivalent code fragments in logic programs

    Vanhoof, W., 2005, Logic Based Program Synthesis and Transformation. Vol 3573. p. 1-18 18 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érenceArticle dans les actes d'une conférence/un colloque

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

  • Specialising the other way around

    Vanhoof, W., Martens, B., De Schreye, D. & De Vlaminck, K., 1998, Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming. MIT, T. (Ed.). Jaffar, J., p. 279-293 15 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

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

    File
    15 Téléchargements (Pure)
  • Survey of software visualization systems to teach message-passing concurrency in secondary school

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

    Accès ouvert
    File
    39 Téléchargements (Pure)
  • 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érenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    364 Téléchargements (Pure)
  • To parse or not to parse

    Vanhoof, W. & Martens, B., 1997, Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97. Vol 1463. p. 314-333 20 p. (Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 ).

    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

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

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

  • Towards modular binding-time analysis for first-order Mercury

    Vanhoof, W. & Bruynooghe, M., 1999, WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming). Leuschel, M. (Ed.). Elsevier BV, p. 189-198 9 p. (Electronic Notes in Theoretical Computer Science; Vol 30, Numéro 2).

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

    Accès ouvert
    File
    259 Téléchargements (Pure)
  • 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érenceArticle dans les actes d'une conférence/un colloque

    File
    1 Téléchargements (Pure)
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.