Wim Vanhoof

View Scopus Profile

Wim Vanhoof

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

  • Belgium

Calculated based on number of publications stored in Pure and citations from Scopus
1997 …2024

Research activity per year

Filter
Conference contribution

Search results

  • Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    42 Downloads (Pure)

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • A Multi-Objective Evolutionary Concept Learner

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Analysis of Students' Preconceptions of Concurrency

    Libert, C. & Vanhoof, W., 26 Aug 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    74 Downloads (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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    34 Downloads (Pure)

  • Anti-unification of Unordered Goals

    Yernaux, G. & Vanhoof, W., 27 Jan 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    52 Downloads (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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    210 Downloads (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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 Dec 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; no. 2250).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Binding-time Annotations Without Binding-time Analysis

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference 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.

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    33 Downloads (Pure)

  • Generalization-Driven Semantic Clone Detection in CLP

    Vanhoof, W. & Yernaux, G., 21 Apr 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    File
    48 Downloads (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.

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    File
    18 Downloads (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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    58 Downloads (Pure)

  • On Detecting Semantic Clones in Constraint Logic Programs

    Yernaux, G. & Vanhoof, W., 14 Dec 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    9 Downloads (Pure)

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    41 Downloads (Pure)

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Demeyer, R. & Vanhoof, W., 10 Dec 2013, Electronic Proceedings in Theoretical Computer Science EPTCS. Open Publishing Association, (EPTCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    File
    34 Downloads (Pure)

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

    Libert, C. & Vanhoof, W., Jun 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    50 Downloads (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).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    382 Downloads (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 ).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 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, p. 189-198 9 p. (Electronic Notes in Theoretical Computer Science; vol. 30, no. 2).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    5 Downloads (Pure)

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

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 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

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
    File
    276 Downloads (Pure)

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

    Libert, C. & Vanhoof, W., 27 Mar 2018, Une école numérique pour émanciper ?: Colloque scientifique, Actes de la conférence. Sanchez, E. & Baumberger, B. (eds.). p. 16-19 4 p.

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    File
    13 Downloads (Pure)

  • When size does matter - Termination analysis for typed logic programs.

    Vanhoof, W. & Bruynooghe, M., 2002, Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001. Vol. 2372. p. 129-147 19 p. (.Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Your message has successfully been sent.
Your message was not sent due to an error.