Abstract Interpretation: Towards the Global Optimization of Prolog Programs. - Maurice Bruynooghe; Gerda Janssens; Alain Callebaut; Bart Demoen (SLP, 1987)

Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. - Peter Van Roy; Bart Demoen; Yves D. Willems (TAPSOFT, Vol.2, 1987)

A Flexible Prolog-Based Lexical Database System. - William G. Imlah; Bart Demoen (Prolog and Databases, 1988)

Improving the Register Allocation of WAM by Recording Unification. - Gerda Janssens; Bart Demoen; André Mariën (ICLP/SLP, 1988)

A Partial Evaluation System for Prolog: some Practical Considerations. - Raf Venken; Bart Demoen (New Gener. Comput., 1988)

Indexing Prolog Clauses. - Bart Demoen; André Mariën; Alain Callebaut (NACLP, 1989)

On the Management of Choicepoint and Environment Frames in the WAM. - André Mariën; Bart Demoen (NACLP, 1989)

Program Source as Model for Debugging Prolog. - Alain Callebaut; Bart Demoen (LPE, 1990)

A la Recherche de la Mémoire Perdue OR Memory Compaction for Shard Memory Multiprocessors. - Patrick Weemeeuw; Bart Demoen (NACLP, 1990)

KAPPA: A Kernel Andorra Prolog Parallel Architecture Design. - Remco Moolenaar; Henk Van Acker; Bart Demoen (ICLP Workshop on Parallel Execution of Logic Programs, 1991)

Implementation of Prolog as Binary Definite Programs. - Bart Demoen; André Mariën (RCLP, 1991)

A Framework to Specify Database Update Views for Prolog. - Egon Börger; Bart Demoen (PLILP, 1991)

A New Scheme for Unification in WAM. - André Mariën; Bart Demoen (ISLP, 1991)

Garbage Collection in Aurora: An Overview. - Patrick Weemeeuw; Bart Demoen (IWMM, 1992)

On the Transformation of a Prolog Program to a More Efficient Binary Program. - Bart Demoen (LOPSTR, 1992)

Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. - Remco Moolenaar; Bart Demoen (ICLP Workshop on Concurrent Constraint Programming, 1993)

A Parallel Implementation for AKL. - Remco Moolenaar; Bart Demoen (PLILP, 1993)

Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand. - Michael Codish; Bart Demoen (ILPS, 1993)

Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop. - Michael Codish; Bart Demoen (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

A Comparison of Some Schemes for Translating Logic to C. - Bart Demoen; Greet Maris (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Hybrid Tree Search in the Andorra Model. - Remco Moolenaar; Bart Demoen (ICLP, 1994)

Language Embedding by Dual Compilation and State Mirroring. - Paul Tarau; Bart Demoen (LPE, 1994)

A Fine-Grained Parallel Memory Compaction Algorithm. - Patrick Weemeeuw; Bart Demoen (J. Parallel Distributed Comput., 1994)

The power of partial tanslation: an experiment with the C-ification of binary Prolog. - Paul Tarau; Bart Demoen; Koenraad De Bosschere (SAC, 1995)

Analyzing Logic Programs Using "PROP"-ositional Logic Programs and a Magic Wand. - Michael Codish; Bart Demoen (J. Log. Program., 1995)

Segment order preserving copying garbage collection for WAM based Prolog. - Bart Demoen; Geert Engels; Paul Tarau (SAC, 1996)

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. - Maurice Bruynooghe; Bart Demoen; Dmitri Boulanger; Marc Denecker; Anne Mulkers (SAS, 1996)

Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. - Paul Tarau; Koenraad De Bosschere; Bart Demoen (J. Log. Program., 1996)

XSB as the Natural Habitat for General Purpose Program Analysis. - Michael Codish; Bart Demoen; Konstantinos Sagonas (ICLP, 1997)

On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. - Paul Tarau; Koenraad De Bosschere; Bart Demoen (J. Log. Program., 1997)

Memory Management for Prolog with Tabling. - Bart Demoen; Konstantinos Sagonas (ISMM, 1998)

Semantics-Based Program Analysis for Logic-Based Languages Using XSB. - Michael Codish; Bart Demoen; Konstantinos Sagonas (Int. J. Softw. Tools Technol. Transf., 1998)

A Finite Domain CLP Solver on Top of Mercury. - Henk Vandecasteele; Bart Demoen; Gerda Janssens (New Trends in Constraints, 1999)

An Overview of HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey (CP, 1999)

Herbrand Constraint Solving in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey (ICLP, 1999)

CHAT Is Theta(SLG-Wam). - Bart Demoen; Konstantinos Sagonas (LPAR, 1999)

Scaling Up Inductive Logic Programming by Learning from Interpretations. - Hendrik Blockeel; Luc De Raedt; Nico Jacobs; Bart Demoen (Data Min. Knowl. Discov., 1999)

CAT: The Copying Approach to Tabling - Bart Demoen; Konstantinos Sagonas (J. Funct. Log. Program., 1999)

So Many WAM Variations, So Little Time. - Bart Demoen; Phuong-Lan Nguyen (Computational Logic, 2000)

Executing Query Packs in ILP. - Hendrik Blockeel; Luc Dehaspe; Bart Demoen; Gerda Janssens; Jan Ramon; Henk Vandecasteele (ILP, 2000)

Two Advanced Transormations for Improving the Efficiency of an ILP system. - Hendrik Blockeel; Bart Demoen; Gerda Janssens; Henk Vandecasteele; Wim Van Laer (ILP Work-in-progress reports, 2000)

Prolog and abduction 4 writing garbage collectors. - Bart Demoen (LOPSTR, 2000)

Heap Garbage Collection in XSB: Practice and Experience. - Bart Demoen; Konstantinos Sagonas (PADL, 2000)

On the Static Analysis of Indirect Control Transfers in Binaries. - Bjorn De Sutter; Bruno De Bus; Koenraad De Bosschere; P. Keyngnaert; Bart Demoen (PDPTA, 2000)

Project Report on LP+: A Second Generation Logic Programming Language. - Danny De Schreye; Maurice Bruynooghe; Bart Demoen; Marc Denecker; Gerda Janssens; Bern Martens (AI Commun., 2000)

CHAT: the copy-hybrid approach to tabling. - Bart Demoen; Konstantinos Sagonas (Future Gener. Comput. Syst., 2000)

Heap Memory Management in Prolog with Tabling: Principles and Practice. - Bart Demoen; Konstantinos Sagonas (J. Funct. Log. Program., 2001)

To the Gates of HAL: A HAL Tutorial. - Maria J. García de la Banda; Bart Demoen; Kim Marriott; Peter J. Stuckey (FLOPS, 2002)

A Different Look at Garbage Collection for the WAM. - Bart Demoen (ICLP, 2002)

Copying Garbage Collection for the WAM: To Mark or Not to Mark? - Bart Demoen; Phuong-Lan Nguyen; Ruben Vandeginste (ICLP, 2002)

Trailing Analysis for HAL. - Tom Schrijvers; Maria J. García de la Banda; Bart Demoen (ICLP, 2002)

Segment Order Preserving and Generational Garbage Collection for Prolog. - Ruben Vandeginste; Konstantinos Sagonas; Bart Demoen (PADL, 2002)

Combining an improvement to PARMA trailing with trailing analysis. - Tom Schrijvers; Bart Demoen (PPDP, 2002)

Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. - Hendrik Blockeel; Luc Dehaspe; Bart Demoen; Gerda Janssens; Jan Ramon; Henk Vandecasteele (J. Artif. Intell. Res., 2002)

Refactoring Logic Programs: Extended Abstract. - Alexander Serebrenik; Bart Demoen (ICLP, 2003)

Query Transformations for Improving the Efficiency of ILP Systems. - Vítor Santos Costa; Ashwin Srinivasan 001; Rui Camacho; Hendrik Blockeel; Bart Demoen; Gerda Janssens; Jan Struyf; Henk Vandecasteele; Wim Van Laer (J. Mach. Learn. Res., 2003)

Herbrand Constraints in HAL. - Bart Demoen; Maria J. García de la Banda; Warwick Harvey; Kim Marriott; David Overton; Peter J. Stuckey (Program Development in Computational Logic, 2004)

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. - Edgar G. Daylight; Bart Demoen; Francky Catthoor (FESCA@ETAPS, 2004)

Guard and Continuation Optimization for Occurrence Representations of CHR. - Jon Sneyers; Tom Schrijvers; Bart Demoen (ICLP, 2005)

Guard Simplification in CHR programs. - Jon Sneyers; Tom Schrijvers; Bart Demoen (W(C)LP, 2005)

Automatic Implication Checking for CHR Constraints. - Tom Schrijvers; Bart Demoen; Gregory J. Duck; Peter J. Stuckey; Thom W. Frühwirth (RULE@RDP, 2005)

Checking modes of HAL programs. - Maria J. García de la Banda; Warwick Harvey; Kim Marriott; Peter J. Stuckey; Bart Demoen (Theory Pract. Log. Program., 2005)

Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. - Bart Demoen (Theory Pract. Log. Program., 2005)

Memory Reuse for CHR. - Jon Sneyers; Tom Schrijvers; Bart Demoen (ICLP, 2006)

INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. - Leslie De Koninck; Tom Schrijvers; Bart Demoen (WLP, 2006)

Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. - Jon Sneyers; Tom Schrijvers; Bart Demoen (WLP, 2006)

Improving PARMA trailing. - Tom Schrijvers; Bart Demoen; Maria J. García de la Banda; Peter J. Stuckey (Theory Pract. Log. Program., 2006)

The Correspondence Between the Logical Algorithms Language and CHR. - Leslie De Koninck; Tom Schrijvers; Bart Demoen (ICLP, 2007)

Aggregates in Constraint Handling Rules. - Jon Sneyers; Peter Van Weert; Tom Schrijvers; Bart Demoen (ICLP, 2007)

Aggregates for CHR through Program Transformation. - Peter Van Weert; Jon Sneyers; Bart Demoen (LOPSTR, 2007)

User-definable rule priorities for CHR. - Leslie De Koninck; Tom Schrijvers; Bart Demoen (PPDP, 2007)

Fast Frequent Querying with Lazy Control Flow Compilation. - Remko Tronçon; Gerda Janssens; Bart Demoen; Henk Vandecasteele (Theory Pract. Log. Program., 2007)

Incremental copying garbage collection for WAM-based Prolog systems. - Ruben Vandeginste; Bart Demoen (Theory Pract. Log. Program., 2007)

A Novel Approach For Detecting Symmetries in CSP Models. - Christopher Mears; Maria J. García de la Banda; Mark Wallace 001; Bart Demoen (CPAIOR, 2008)

Two WAM Implementations of Action Rules. - Bart Demoen; Phuong-Lan Nguyen (ICLP, 2008)

Environment Reuse in the WAM. - Bart Demoen; Phuong-Lan Nguyen (ICLP, 2008)

On the Efficient Execution of ProbLog Programs. - Angelika Kimmig; Vítor Santos Costa; Ricardo Rocha 001; Bart Demoen; Luc De Raedt (ICLP, 2008)

Towards Typed Prolog. - Tom Schrijvers; Vítor Santos Costa; Jan Wielemaker; Bart Demoen (ICLP, 2008)

Uniting the Prolog Community. - Tom Schrijvers; Bart Demoen (ICLP, 2008)

Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. - Bart Demoen (Theory Pract. Log. Program., 2008)

TCHR: a framework for tabled CLP. - Tom Schrijvers; Bart Demoen; David Scott Warren (Theory Pract. Log. Program., 2008)

Improving Prolog programs: Refactoring for Prolog. - Alexander Serebrenik; Tom Schrijvers; Bart Demoen (Theory Pract. Log. Program., 2008)

A Flexible Search Framework for CHR. - Leslie De Koninck; Tom Schrijvers; Bart Demoen (Constraint Handling Rules, 2008)

Guard Reasoning in the Refined Operational Semantics of CHR. - Jon Sneyers; Tom Schrijvers; Bart Demoen (Constraint Handling Rules, 2008)

CHR for Imperative Host Languages. - Peter Van Weert; Pieter Wuille; Tom Schrijvers; Bart Demoen (Constraint Handling Rules, 2008)

The computational power and complexity of constraint handling rules. - Jon Sneyers; Tom Schrijvers; Bart Demoen (ACM Trans. Program. Lang. Syst., 2009)

High-Level Multi-Threading in hProlog - Timon Van Overveldt; Bart Demoen (CoRR, 2011)

On the implementation of the probabilistic logic programming language ProbLog. - Angelika Kimmig; Bart Demoen; Luc De Raedt; Vítor Santos Costa; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

Tor: extensible search with hookable disjunction. - Tom Schrijvers; Markus Triska; Bart Demoen (PPDP, 2012)

Introduction to the special issue on Prolog systems. - Bart Demoen; Maria Garcia de la Banda (Theory Pract. Log. Program., 2012)

Redundant disequalities in the Latin Square problem. - Bart Demoen; Maria Garcia de la Banda (Constraints An Int. J., 2013)

Representation sharing for Prolog. - Phuong-Lan Nguyen; Bart Demoen (Theory Pract. Log. Program., 2013)

Delimited continuations for prolog. - Tom Schrijvers; Bart Demoen; Benoit Desouter; Jan Wielemaker (Theory Pract. Log. Program., 2013)

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. - Tom Schrijvers; Nicolas Wu; Benoit Desouter; Bart Demoen (PPDP, 2014)

Lightweight dynamic symmetry breaking. - Christopher Mears; Maria Garcia de la Banda; Bart Demoen; Mark Wallace 001 (Constraints An Int. J., 2014)

Tor: Modular search with hookable disjunction. - Tom Schrijvers; Bart Demoen; Markus Triska; Benoit Desouter (Sci. Comput. Program., 2014)

Redundant Sudoku rules. - Bart Demoen; Maria Garcia de la Banda (Theory Pract. Log. Program., 2014)

Solving Euclidean Steiner Tree Problems with Multi Swarm Optimization. - Tom Decroos; Patrick De Causmaecker; Bart Demoen (GECCO (Companion), 2015)

Learning a Hidden Markov Model-Based Hyper-heuristic. - Willem Van Onsem; Bart Demoen; Patrick De Causmaecker (LION, 2015)

A method for detecting symmetries in constraint models and its generalisation. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001; Bart Demoen (Constraints An Int. J., 2015)

Graphs with coloring redundant edges. - Bart Demoen; Phuong-Lan Nguyen (Electron. J. Graph Theory Appl., 2016)

Bringing Algorithms to Flemish Classrooms: Teaching the Teachers, and some Students. - Bern Martens; Bart Demoen; Febe Karpez; Dorien Vandenhove; Kristien Van Loon (WiPSCE, 2017)

Co-de: an online learning platform for computational thinking. - Zimcke Van de Staey; Tobias Verlinde; Bart Demoen; Bern Martens (WiPSCE, 2018)