| 2026 | Coordination | Bach4Popper: Towards Federated Inductive Logic Programming Using Coordination. | Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, Wim Vanhoof |
| 2026 | ICST | Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation. | Lucas Berg, Lukas Krodinger, Stephan Lukasczyk, Annibale Panichella, Gordon Fraser, Wim Vanhoof, Xavier Devroey |
| 2025 | CSEDU | Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation. | Lucas Berg, Gonzague Yernaux, Mikel Vandeloise, Wim Vanhoof |
| 2023 | CSEDU | EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science. | Rudy Kabimbi Ngoy, Gonzague Yernaux, Wim Vanhoof |
| 2023 | LOPSTR | Predicate Anti-unification in (Constraint) Logic Programming. | Gonzague Yernaux, Wim Vanhoof |
| 2022 | CSL | Anti-Unification of Unordered Goals. | Gonzague Yernaux, Wim Vanhoof |
| 2020 | FLOPS | An SMT-Based Concolic Testing Tool for Logic Programs. | Sophie Fortz, Fred Mesnard, tienne Payet, Gilles Perrouin, Wim Vanhoof, Germn Vidal |
| 2020 | PPDP | Moulinog: A Generator of Random Student Assignments Written in Prolog. | Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher |
| 2019 | LOPSTR | Generalization-Driven Semantic Clone Detection in CLP. | Wim Vanhoof, Gonzague Yernaux |
| 2017 | PAAMS | Survey of Software Visualization Systems to Teach Message-Passing Concurrency in Secondary School. | Cdric Libert, Wim Vanhoof |
| 2016 | PPDP | Towards a framework for algorithm recognition in binary code. | Frdric Mesnard, tienne Payet, Wim Vanhoof |
| 2014 | ICSE | Towards testing of full-scale SQL applications using relational symbolic execution. | Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
| 2013 | SCAM | A relational symbolic execution algorithm for constraint-based testing of database programs. | Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
| 2012 | LOPSTR | Semantic Code Clones in Logic Programs. | Celine Dandois, Wim Vanhoof |
| 2012 | SIGMOD | Test input generation for database programs using relational constraints. | Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
| 2011 | GECCO | A novel probabilistic encoding for EAs applied to biclustering of microarray data. | Michal Marcozzi, Federico Divina, Jess S. Aguilar-Ruiz, Wim Vanhoof |
| 2011 | LOPSTR | Clones in Logic Programs and How to Detect Them. | Celine Dandois, Wim Vanhoof |
| 2010 | CEC | A multi-objective Evolutionary Concept Learner. | Celine Dandois, Federico Divina, Wim Vanhoof |
| 2010 | PPDP | Declarative workflows to efficiently manage flexible and advanced business processes. | Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
| 2009 | LOPSTR | Towards a Framework for Constraint-Based Test Case Generation. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2008 | ICLP | An Algorithm for Sophisticated Code Matching in Logic Programs. | Wim Vanhoof, Franois Degrave |
| 2008 | LOPSTR | Automatic Generation of Test Inputs for Mercury. | Franois Degrave, Tom Schrijvers, Wim Vanhoof |
| 2007 | LOPSTR | Towards a Normal Form for Mercury Programs. | Franois Degrave, Wim Vanhoof |
| 2004 | LOPSTR | Searching Semantically Equivalent Code Fragments in Logic Programs. | Wim Vanhoof |
| 2002 | LOPSTR | Collecting Potential Optimisations. | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
| 2002 | LOPSTR | A Fixed Point Semantics for Logic Programs Extended with Cuts. | Wim Vanhoof, Remko Tronon, Maurice Bruynooghe |
| 2002 | SAS | Reuse of Results in Termination Analysis of Typed Logic Programs. | Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof |
| 2001 | LOPSTR | When Size Does Matter. | Wim Vanhoof, Maurice Bruynooghe |
| 2001 | LPAR | Binding-Time Annotations Without Binding-Time Analysis. | Wim Vanhoof, Maurice Bruynooghe |
| 2000 | LOPSTR | Towards a modular binding-time analysis for higher-order Mercury. | Wim Vanhoof, Maurice Bruynooghe |
| 2000 | LPAR | Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. | Wim Vanhoof |
| 1999 | ICLP | Binding-time Analysis for Mercury. | Wim Vanhoof, Maurice Bruynooghe |
| 1998 | ICLP | Specialising the Other Way Arond. | Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck |
| 1998 | LOPSTR | Bottom-Up Specialisation of Logic Programs. | Wim Vanhoof, Danny De Schreye, Bern Martens |
| 1997 | LOPSTR | To Parse or Not To Parse. | Wim Vanhoof, Bern Martens |