| 2018 | HCI | Automatic Joke Generation: Learning Humor from Examples. | Thomas Winters, Vincent Nys, Danny De Schreye |
| 2018 | LOPSTR | Compiling Control as Offline Partial Deduction. | Vincent Nys, Danny De Schreye |
| 2014 | LOPSTR | Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. | Danny De Schreye, Vincent Nys, Colin J. Nicholson |
| 2011 | ICLP | Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise. | Colin J. Nicholson, Danny De Schreye, Jon Sneyers |
| 2011 | LOPSTR | Improved Termination Analysis of CHR Using Self-sustainability Analysis. | Paolo Pilozzi, Danny De Schreye |
| 2011 | LOPSTR | Probabilistic Termination of CHRiSM Programs. | Jon Sneyers, Danny De Schreye |
| 2010 | LOPSTR | Non-termination Analysis of Logic Programs Using Types. | Dean Voets, Danny De Schreye |
| 2009 | ICLP | Proving Termination by Invariance Relations. | Paolo Pilozzi, Danny De Schreye |
| 2009 | ICLP | Automating Termination Proofs for CHR. | Paolo Pilozzi, Danny De Schreye |
| 2009 | ICLP | A New Approach to Non-termination Analysis of Logic Programs. | Dean Voets, Danny De Schreye |
| 2008 | ICLP | Termination Analysis of CHR Revisited. | Paolo Pilozzi, Danny De Schreye |
| 2007 | LOPSTR | Termination Analysis of Logic Programs Based on Dependency Graphs. | Manh Thang Nguyen, Jrgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
| 2006 | LOPSTR | Polytool: Proving Termination Automatically Based on Polynomial Interpretations. | Manh Thang Nguyen, Danny De Schreye |
| 2006 | PADL | Probabilistic-Logical Modeling of Music. | Jon Sneyers, Joost Vennekens, Danny De Schreye |
| 2005 | ICLP | Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. | Manh Thang Nguyen, Danny De Schreye |
| 2003 | LOPSTR | Proving Termination with Adornments. | Alexander Serebrenik, Danny De Schreye |
| 2002 | SAS | On Termination of Logic Programs with Floating Point Computations. | Alexander Serebrenik, Danny De Schreye |
| 2001 | LPAR | On Termination of Meta-Programs. | Alexander Serebrenik, Danny De Schreye |
| 2001 | LPAR | Inference of Termination Conditions for Numerical Loops in Prolog. | Alexander Serebrenik, Danny De Schreye |
| 2000 | LOPSTR | Non-tranformational termination analysis of logic programs, based on general term-orderings. | Alexander Serebrenik, Danny De Schreye |
| 2000 | LOPSTR | Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. | Alexander Serebrenik, Danny De Schreye |
| 1999 | FLOPS | Termination Analysis of Tabled Logic Programs Using Mode and Type Information. | Sofie Verbaeten, Danny De Schreye |
| 1999 | PPDP | Modular Termination Proofs for Prolog with Tabling. | Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |
| 1998 | ICLP | Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. | Stefaan Decorte, Danny De Schreye |
| 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 | ICLP | A Strong Correspondence between Description Logics and Open Logic Programming. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1997 | ICLP | Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. | Stefaan Decorte, Danny De Schreye |
| 1997 | LOPSTR | Termination Analysis for Tabled Logic Programming. | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
| 1996 | ICLP | A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. | Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye |
| 1996 | ICLP | A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. | Michael Leuschel, Danny De Schreye, D. Andre de Waal |
| 1996 | LOPSTR | Logic Program Specialisation: How to Be More Specific (Abstract). | Michael Leuschel, Danny De Schreye |
| 1995 | ICLP | Combining Situation Calculus and Event Calculus. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1995 | PEPM | Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. | Michael Leuschel, Danny De Schreye |
| 1994 | ICLP | Representing Continuous Change in the Abductive Event Calculus. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1994 | ICLP | Compiling Control Revisited: A New Approach based upon Abstract Interpretation. | Dmitri Boulanger, Danny De Schreye |
| 1994 | LPAR | Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. | Henk Vandecasteele, Danny De Schreye |
| 1993 | LOPSTR | Some Further Issues in Finite Unfolding (Abstract). | Bern Martens, Danny De Schreye |
| 1993 | LPNMR | Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. | Marc Denecker, Danny De Schreye |
| 1992 | ICLP | SLDNFA: An Abductive Procedure for Normal Abductive Programs. | Marc Denecker, Danny De Schreye |
| 1992 | ICLP | A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. | Bern Martens, Danny De Schreye |
| 1992 | LOPSTR | Automatic Termination Analysis. | Kristof Verschaetse, Stefaan Decorte, Danny De Schreye |
| 1991 | ICLP | Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. | Kristof Verschaetse, Danny De Schreye |
| 1990 | ESOP | Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. | Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
| 1990 | ICLP | A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. | Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe |
| 1990 | ICLP | Generation and Compilation of Efficient Computation Rules. | Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe |
| 1989 | IJCAI | Explanation Based Program Transformation. | Maurice Bruynooghe, Luc De Raedt, Danny De Schreye |