| 2015 | GECCO | Solving Euclidean Steiner Tree Problems with Multi Swarm Optimization. | Tom Decroos, Patrick De Causmaecker, Bart Demoen |
| 2014 | PPDP | Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. | Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen |
| 2012 | PPDP | Tor: extensible search with hookable disjunction. | Tom Schrijvers, Markus Triska, Bart Demoen |
| 2008 | CPAIOR | A Novel Approach For Detecting Symmetries in CSP Models. | Christopher Mears, Maria J. Garca de la Banda, Mark Wallace, Bart Demoen |
| 2008 | ICLP | Two WAM Implementations of Action Rules. | Bart Demoen, Phuong-Lan Nguyen |
| 2008 | ICLP | Environment Reuse in the WAM. | Bart Demoen, Phuong-Lan Nguyen |
| 2008 | ICLP | On the Efficient Execution of ProbLog Programs. | Angelika Kimmig, Vtor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
| 2008 | ICLP | Towards Typed Prolog. | Tom Schrijvers, Vtor Santos Costa, Jan Wielemaker, Bart Demoen |
| 2008 | ICLP | Uniting the Prolog Community. | Tom Schrijvers, Bart Demoen |
| 2007 | ICLP | The Correspondence Between the Logical Algorithms Language and CHR. | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2007 | ICLP | Aggregates in Constraint Handling Rules. | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
| 2007 | LOPSTR | Aggregates for CHR through Program Transformation. | Peter Van Weert, Jon Sneyers, Bart Demoen |
| 2007 | PPDP | User-definable rule priorities for CHR. | Leslie De Koninck, Tom Schrijvers, Bart Demoen |
| 2006 | ICLP | Memory Reuse for CHR. | Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2005 | ICLP | Guard and Continuation Optimization for Occurrence Representations of CHR. | Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2003 | ICLP | Refactoring Logic Programs: Extended Abstract. | Alexander Serebrenik, Bart Demoen |
| 2002 | FLOPS | To the Gates of HAL: A HAL Tutorial. | Maria J. Garca de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
| 2002 | ICLP | A Different Look at Garbage Collection for the WAM. | Bart Demoen |
| 2002 | ICLP | Copying Garbage Collection for the WAM: To Mark or Not to Mark? | Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
| 2002 | ICLP | Trailing Analysis for HAL. | Tom Schrijvers, Maria J. Garca de la Banda, Bart Demoen |
| 2002 | PADL | Segment Order Preserving and Generational Garbage Collection for Prolog. | Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
| 2002 | PPDP | Combining an improvement to PARMA trailing with trailing analysis. | Tom Schrijvers, Bart Demoen |
| 2000 | ILP | Executing Query Packs in ILP. | Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele |
| 2000 | ILP | Two Advanced Transormations for Improving the Efficiency of an ILP system. | Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer |
| 2000 | LOPSTR | Prolog and abduction 4 writing garbage collectors. | Bart Demoen |
| 2000 | PADL | Heap Garbage Collection in XSB: Practice and Experience. | Bart Demoen, Konstantinos Sagonas |
| 2000 | PDPTA | On the Static Analysis of Indirect Control Transfers in Binaries. | Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, P. Keyngnaert, Bart Demoen |
| 1999 | CP | An Overview of HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | ICLP | Herbrand Constraint Solving in HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | LPAR | CHAT Is Theta(SLG-Wam). | Bart Demoen, Konstantinos Sagonas |
| 1999 | PADL | CHAT: The Copy-Hybrid Approach to Tabling. | Bart Demoen, Konstantinos Sagonas |
| 1997 | ICLP | XSB as the Natural Habitat for General Purpose Program Analysis. | Michael Codish, Bart Demoen, Konstantinos Sagonas |
| 1996 | SAC | Segment order preserving copying garbage collection for WAM based Prolog. | Bart Demoen, Geert Engels, Paul Tarau |
| 1996 | SAS | A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. | Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers |
| 1995 | SAC | The power of partial tanslation: an experiment with the C-ification of binary Prolog. | Paul Tarau, Bart Demoen, Koenraad De Bosschere |
| 1994 | ICLP | Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. | Michael Codish, Bart Demoen |
| 1994 | ICLP | A Comparison of Some Schemes for Translating Logic to C. | Bart Demoen, Greet Maris |
| 1994 | ICLP | Hybrid Tree Search in the Andorra Model. | Remco Moolenaar, Bart Demoen |
| 1994 | ICLP | Language Embedding by Dual Compilation and State Mirroring. | Paul Tarau, Bart Demoen |
| 1994 | SAS | Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. | Michael Codish, Bart Demoen |
| 1993 | ICLP | Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. | Remco Moolenaar, Bart Demoen |
| 1992 | LOPSTR | On the Transformation of a Prolog Program to a More Efficient Binary Program. | Bart Demoen |
| 1991 | ICLP | KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. | Remco Moolenaar, Henk Van Acker, Bart Demoen |
| 1991 | LPAR | Implementation of Prolog as Binary Definite Programs. | Bart Demoen, Andr Marin |
| 1988 | ICLP | Improving the Register Allocation of WAM by Recording Unification. | Gerda Janssens, Bart Demoen, Andr Marin |