| 2018 | KR | SOGrounder: Modelling and Solving Second-Order Logic. | Matthias van der Hallen, Gerda Janssens |
| 2016 | ICLP | A Compositional Typed Higher-Order Logic with Definitions. | Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker |
| 2016 | IJCAI | Relevance for SAT(ID). | Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker |
| 2016 | PADL | The KB Paradigm and Its Application to Interactive Configuration. | Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker |
| 2015 | LPNMR | Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. | Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens |
| 2015 | PADL | Implementation and Performance of Probabilistic Inference Pipelines. | Dimitar Sht. Shterionov, Gerda Janssens |
| 2015 | SAC | Crucial components in probabilistic inference pipelines. | Dimitar Sht. Shterionov, Gerda Janssens |
| 2014 | ILP | The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions. | Dimitar Sht. Shterionov, Joris Renkens, Jonas Vlasselaer, Angelika Kimmig, Wannes Meert, Gerda Janssens |
| 2014 | PPDP | Experimental Evaluation of a State-Of-The-Art Grounder. | Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |
| 2011 | PADL | Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. | Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers |
| 2010 | ECAI | ProbLog Technology for Inference in a Probabilistic First Order Logic. | Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt |
| 2010 | ICLP | Dedicated Tabling for a Probabilistic Setting. | Theofrastos Mantadelis, Gerda Janssens |
| 2010 | JELIA | Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
| 2010 | LPAR | Variable Compression in ProbLog. | Theofrastos Mantadelis, Gerda Janssens |
| 2009 | CAV | Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
| 2009 | PPDP | Path-sensitive region analysis for mercury programs. | Quan Phan, Gerda Janssens |
| 2007 | ICLP | Static Region Analysis for Mercury. | Quan Phan, Gerda Janssens |
| 2006 | ICLP | Towards Region-Based Memory Management for Mercury Programs. | Quan Phan, Gerda Janssens |
| 2005 | APLAS | Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
| 2005 | CC | Verification of Source Code Transformations by Program Equivalence Checking. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2005 | DATE | Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2004 | ICLP | Fast Query Evaluation with (Lazy) Control Flow Compilation. | Remko Tronon, Gerda Janssens, Henk Vandecasteele |
| 2002 | LOPSTR | Collecting Potential Optimisations. | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
| 2002 | VMCAI | Storage Size Reduction by In-place Mapping of Arrays. | Remko Tronon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
| 2001 | ICLP | Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
| 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 |
| 1997 | ICLP | Live-Structure Analysis for Logic Programming Languages with Declarations. | Maurice Bruynooghe, Gerda Janssens, Andreas Kgedal |
| 1995 | ICLP | On the Practicality of Abstract Equation Systems. | Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
| 1994 | CC | On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. | Gerda Janssens, Wim Simoens |
| 1994 | ICLP | Towards a Practical Full Mode Inference System for CLP(H, N). | Veroniek Dumortier, Gerda Janssens |
| 1993 | ICLP | Freeness Analysis in the Presence of Numerical Constraints. | Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish |
| 1991 | LPAR | On Abstracting the Procedural Behaviour of Logic Programs. | Gerda Janssens, Maurice Bruynooghe |
| 1989 | ICLP | The Impact of Abstract Interpretation: An Experiment in Code Generation. | Andr Marin, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
| 1988 | ICLP | An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. | Maurice Bruynooghe, Gerda Janssens |
| 1988 | ICLP | Improving the Register Allocation of WAM by Recording Unification. | Gerda Janssens, Bart Demoen, Andr Marin |