To Parse or Not To Parse. - Wim Vanhoof; Bern Martens (LOPSTR, 1997)

Specialising the Other Way Arond. - Wim Vanhoof; Bern Martens; Danny De Schreye; Karel De Vlaminck (IJCSLP, 1998)

Bottom-Up Specialisation of Logic Programs. - Wim Vanhoof; Danny De Schreye; Bern Martens (LOPSTR, 1998)

A Framework for Bottom Up Specialisation of Logic Programs. - Wim Vanhoof; Danny De Schreye; Bern Martens (PLILP/ALP, 1998)

Binding-time Analysis for Mercury. - Wim Vanhoof; Maurice Bruynooghe (ICLP, 1999)

Bottom-up Partial Deduction of Logic Programs - Wim Vanhoof; Danny De Schreye; Bern Martens (J. Funct. Log. Program., 1999)

Towards Modular Binding-Time Analysis for First-order Mercury. - Wim Vanhoof; Maurice Bruynooghe (WOID@ICLP, 1999)

Towards a modular binding-time analysis for higher-order Mercury. - Wim Vanhoof; Maurice Bruynooghe (LOPSTR, 2000)

Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. - Wim Vanhoof (LPAR, 2000)

Pos(T): Analyzing Dependencies in Typed Logic Programs. - Maurice Bruynooghe; Wim Vanhoof; Michael Codish (Ershov Memorial Conference, 2001)

When Size Does Matter. - Wim Vanhoof; Maurice Bruynooghe (LOPSTR, 2001)

Binding-Time Annotations Without Binding-Time Analysis. - Wim Vanhoof; Maurice Bruynooghe (LPAR, 2001)

Collecting Potential Optimisations. - Nancy Mazur; Gerda Janssens; Wim Vanhoof (LOPSTR, 2002)

A Fixed Point Semantics for Logic Programs Extended with Cuts. - Wim Vanhoof; Remko Tronçon; Maurice Bruynooghe (LOPSTR, 2002)

Reuse of Results in Termination Analysis of Typed Logic Programs. - Maurice Bruynooghe; Michael Codish; Samir Genaim; Wim Vanhoof (SAS, 2002)

Specialising Interpreters Using Offline Partial Deduction. - Michael Leuschel; Stephen-John Craig; Maurice Bruynooghe; Wim Vanhoof (Program Development in Computational Logic, 2004)

Searching Semantically Equivalent Code Fragments in Logic Programs. - Wim Vanhoof (LOPSTR, 2004)

Binding-Time Analysis for Mercury. - Wim Vanhoof; Maurice Bruynooghe; Michael Leuschel (Program Development in Computational Logic, 2004)

Offline specialisation in Prolog using a hand-written compiler generator. - Michael Leuschel; Jesper Jørgensen; Wim Vanhoof; Maurice Bruynooghe (Theory Pract. Log. Program., 2004)

Towards a Normal Form for Mercury Programs. - François Degrave; Wim Vanhoof (LOPSTR, 2007)

Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) - Patricia M. Hill; Wim Vanhoof (CoRR, 2007)

Fingerprinting Logic Programs - Alexander Serebrenik; Wim Vanhoof (CoRR, 2007)

Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006) - Wim Vanhoof; Susana Muñoz-Hernández (CoRR, 2007)

Termination analysis of logic programs through combination of type-based norms. - Maurice Bruynooghe; Michael Codish; John P. Gallagher; Samir Genaim; Wim Vanhoof (ACM Trans. Program. Lang. Syst., 2007)

An Algorithm for Sophisticated Code Matching in Logic Programs. - Wim Vanhoof; François Degrave (ICLP, 2008)

Automatic Generation of Test Inputs for Mercury. - François Degrave; Tom Schrijvers; Wim Vanhoof (LOPSTR, 2008)

Towards a Framework for Constraint-Based Test Case Generation. - François Degrave; Tom Schrijvers; Wim Vanhoof (LOPSTR, 2009)

A multi-objective Evolutionary Concept Learner. - Celine Dandois; Federico Divina; Wim Vanhoof (IEEE Congress on Evolutionary Computation, 2010)

Declarative workflows to efficiently manage flexible and advanced business processes. - Romain Demeyer; Maxime Van Assche; Ludovic Langevine; Wim Vanhoof (PPDP, 2010)

A Test Automation Framework for Mercury - Peter Biener; François Degrave; Wim Vanhoof (CoRR, 2010)

A novel probabilistic encoding for EAs applied to biclustering of microarray data. - Michaël Marcozzi; Federico Divina; Jesús S. Aguilar-Ruiz; Wim Vanhoof (GECCO, 2011)

Clones in Logic Programs and How to Detect Them. - Celine Dandois; Wim Vanhoof (LOPSTR, 2011)

Semantic Code Clones in Logic Programs. - Celine Dandois; Wim Vanhoof (LOPSTR, 2012)

Test input generation for database programs using relational constraints. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (DBTest, 2012)

A relational symbolic execution algorithm for constraint-based testing of database programs. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (SCAM, 2013)

Static Application-Level Race Detection in STM Haskell using Contracts. - Romain Demeyer; Wim Vanhoof (PLACES, 2013)

Towards testing of full-scale SQL applications using relational symbolic execution. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (CSTVA, 2014)

A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (CoRR, 2015)

A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (CoRR, 2015)

Relational symbolic execution of SQL code for unit testing of database programs. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (Sci. Comput. Program., 2015)

Towards a framework for algorithm recognition in binary code. - Frédéric Mesnard; Étienne Payet; Wim Vanhoof (PPDP, 2016)

Survey of Software Visualization Systems to Teach Message-Passing Concurrency in Secondary School. - Cédric Libert; Wim Vanhoof (PAAMS (Workshops), 2017)

Generalization-Driven Semantic Clone Detection in CLP. - Wim Vanhoof; Gonzague Yernaux (LOPSTR, 2019)

Analysis of students' preconceptions of concurrency. - Cédric Libert; Wim Vanhoof (EASEAI@ESEC/SIGSOFT FSE, 2019)

Anti-unification in Constraint Logic Programming. - Gonzague Yernaux; Wim Vanhoof (Theory Pract. Log. Program., 2019)

An SMT-Based Concolic Testing Tool for Logic Programs. - Sophie Fortz; Fred Mesnard; Étienne Payet; Gilles Perrouin; Wim Vanhoof; Germán Vidal (FLOPS, 2020)

Moulinog: A Generator of Random Student Assignments Written in Prolog. - Gonzague Yernaux; Wim Vanhoof; Laurent Schumacher (PPDP, 2020)

Technical Report: Anti-unification of Unordered Goals. - Gonzague Yernaux; Wim Vanhoof (CoRR, 2021)

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021). - Emanuele De Angelis; Wim Vanhoof (CoRR, 2021)

Anti-Unification of Unordered Goals. - Gonzague Yernaux; Wim Vanhoof (CSL, 2022)

On Detecting Semantic Clones in Constraint Logic Programs. - Gonzague Yernaux; Wim Vanhoof (IWSC, 2022)

EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science. - Rudy Kabimbi Ngoy; Gonzague Yernaux; Wim Vanhoof (CSEDU (2), 2023)

Predicate Anti-unification in (Constraint) Logic Programming. - Gonzague Yernaux; Wim Vanhoof (LOPSTR, 2023)

Neuroevolutionary Transfer Learning for Time Series Forecasting. - Aymeric Vellinger; J. F. Torres; Federico Divina; Wim Vanhoof (SOCO (1), 2023)

Scrimmo: A Real-Time Web Scraper Monitoring the Belgian Real Estate Market. - Felix Barzin; Gonzague Yernaux; Wim Vanhoof (WI/IAT, 2023)

A Dataflow Analysis for Comparing and Reordering Predicate Arguments. - Gonzague Yernaux; Wim Vanhoof (ICLP, 2023)

Rethinking Paradigmatic Collaboration: New Metrics for Inter-language Synergy in Software Engineering. - Mikel Vandeloise; Gonzague Yernaux; Wim Vanhoof (BENEVOL, 2024)

Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation. - Lucas Berg; Gonzague Yernaux; Mikel Vandeloise; Wim Vanhoof (CSEDU (1), 2025)