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

An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. - Maurice Bruynooghe; Gerda Janssens (ICLP/SLP, 1988)

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

The Impact of Abstract Interpretation: An Experiment in Code Generation. - André Mariën; Gerda Janssens; Anne Mulkers; Maurice Bruynooghe (ICLP, 1989)

On Abstracting the Procedural Behaviour of Logic Programs. - Gerda Janssens; Maurice Bruynooghe (RCLP, 1991)

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. - Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens (PDK, 1991)

Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. - Maurice Bruynooghe; Gerda Janssens (META, 1992)

Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. - Gerda Janssens; Maurice Bruynooghe (J. Log. Program., 1992)

Freeness Analysis in the Presence of Numerical Constraints. - Veroniek Dumortier; Gerda Janssens; Maurice Bruynooghe; Michael Codish (ICLP, 1993)

On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. - Gerda Janssens; Wim Simoens (CC, 1994)

Towards a Practical Full Mode Inference System for CLP(H, N). - Veroniek Dumortier; Gerda Janssens (ICLP, 1994)

Abstracting Numerical Values in CLP(H, N). - Gerda Janssens; Maurice Bruynooghe; Vincent Englebert (PLILP, 1994)

On the Practicality of Abstract Equation Systems. - Anne Mulkers; Wim Simoens; Gerda Janssens; Maurice Bruynooghe (ICLP, 1995)

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. - Gerda Janssens; Maurice Bruynooghe; Veroniek Dumortier (ILPS, 1995)

Global Analysis of Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens; Wim Simoens (ACM Trans. Program. Lang. Syst., 1996)

Live-Structure Analysis for Logic Programming Languages with Declarations. - Maurice Bruynooghe; Gerda Janssens; Andreas Kågedal (ICLP, 1997)

On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. - Gerda Janssens; Konstantinos Sagonas (TAPD, 1998)

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

A Module Based Analysis for Memory Reuse in Mercury. - Nancy Mazur; Gerda Janssens; Maurice Bruynooghe (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)

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)

Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. - Nancy Mazur; Peter Ross; Gerda Janssens; Maurice Bruynooghe (ICLP, 2001)

Collecting Potential Optimisations. - Nancy Mazur; Gerda Janssens; Wim Vanhoof (LOPSTR, 2002)

Storage Size Reduction by In-place Mapping of Arrays. - Remko Tronçon; Maurice Bruynooghe; Gerda Janssens; Francky Catthoor (VMCAI, 2002)

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (COCV@ETAPS, 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)

Multi-dimentsional Incremetal Loops Fusion for Data Locality. - Sven Verdoolaege; Maurice Bruynooghe; Gerda Janssens; Francky Catthoor (ASAP, 2003)

Automatic functional verification of memory oriented global source code transformations. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (HLDVT, 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)

An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (J. Univers. Comput. Sci., 2003)

An Open Ended Tree. - Henk Vandecasteele; Gerda Janssens (Theory Pract. Log. Program., 2003)

Fast Query Evaluation with (Lazy) Control Flow Compilation. - Remko Tronçon; Gerda Janssens; Henk Vandecasteele (ICLP, 2004)

Analyzing & debugging ILP data mining query execution. - Remko Tronçon; Gerda Janssens (AADEBUG, 2005)

Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. - Peter Vanbroekhoven; Gerda Janssens; Maurice Bruynooghe; Francky Catthoor (APLAS, 2005)

Verification of Source Code Transformations by Program Equivalence Checking. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (CC, 2005)

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (DATE, 2005)

Towards Region-Based Memory Management for Mercury Programs. - Quan Phan; Gerda Janssens (ICLP, 2006)

Static Region Analysis for Mercury. - Quan Phan; Gerda Janssens (ICLP, 2007)

A Delta Debugger for ILP Query Execution - Remko Tronçon; Gerda Janssens (CoRR, 2007)

A practical dynamic single assignment transformation. - Peter Vanbroekhoven; Gerda Janssens; Maurice Bruynooghe; Francky Catthoor (ACM Trans. Design Autom. Electr. Syst., 2007)

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

Runtime support for region-based memory management in Mercury. - Quan Phan; Zoltan Somogyi; Gerda Janssens (ISMM, 2008)

Path-sensitive region analysis for mercury programs. - Quan Phan; Gerda Janssens (PPDP, 2009)

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 (ECAI, 2010)

Dedicated Tabling for a Probabilistic Setting. - Theofrastos Mantadelis; Gerda Janssens (ICLP (Technical Communications), 2010)

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. - Theofrastos Mantadelis; Ricardo Rocha 001; Angelika Kimmig; Gerda Janssens (JELIA, 2010)

Variable Compression in ProbLog. - Theofrastos Mantadelis; Gerda Janssens (LPAR (Yogyakarta), 2010)

DNF Sampling for ProbLog Inference - Dimitar Sht. Shterionov; Angelika Kimmig; Theofrastos Mantadelis; Gerda Janssens (CoRR, 2010)

Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. - Sven Verdoolaege; Martin Palkovic; Maurice Bruynooghe; Gerda Janssens; Francky Catthoor (J. Electron. Test., 2010)

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. - Theofrastos Mantadelis; Koosha Paridel; Gerda Janssens; Yves Vanrompay; Yolande Berbers (PADL, 2011)

Nesting Probabilistic Inference - Theofrastos Mantadelis; Gerda Janssens (CoRR, 2011)

Equivalence checking of static affine programs using widening to handle recurrences. - Sven Verdoolaege; Gerda Janssens; Maurice Bruynooghe (ACM Trans. Program. Lang. Syst., 2012)

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. - Joachim Jansen; Albert Jorissen; Gerda Janssens (Theory Pract. Log. Program., 2013)

Region-based memory management for Mercury programs. - Quan Phan; Gerda Janssens; Zoltan Somogyi (Theory Pract. Log. Program., 2013)

Pattern-Based Compaction for ProbLog Inference. - Dimitar Sht. Shterionov; Theofrastos Mantadelis; Gerda Janssens (Theory Pract. Log. Program., 2013)

The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions. - Dimitar Sht. Shterionov; Joris Renkens; Jonas Vlasselaer; Angelika Kimmig; Wannes Meert; Gerda Janssens (ILP, 2014)

Experimental Evaluation of a State-Of-The-Art Grounder. - Joachim Jansen; Ingmar Dasseville; Jo Devriendt; Gerda Janssens (PPDP, 2014)

Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation. - Koosha Paridel; Theofrastos Mantadelis; Ansar-Ul-Haque Yasar; Davy Preuveneers; Gerda Janssens; Yves Vanrompay; Yolande Berbers (J. Ambient Intell. Humaniz. Comput., 2014)

Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. - Theofrastos Mantadelis; Dimitar Sht. Shterionov; Gerda Janssens (LPNMR, 2015)

Implementation and Performance of Probabilistic Inference Pipelines. - Dimitar Sht. Shterionov; Gerda Janssens (PADL, 2015)

Crucial components in probabilistic inference pipelines. - Dimitar Sht. Shterionov; Gerda Janssens (SAC, 2015)

A web-based IDE for IDP. - Ingmar Dasseville; Gerda Janssens (CoRR, 2015)

Semantics of templates in a compositional framework for building logics. - Ingmar Dasseville; Matthias van der Hallen; Gerda Janssens; Marc Denecker (Theory Pract. Log. Program., 2015)

Inference and learning in probabilistic logic programs using weighted Boolean formulas. - Daan Fierens; Guy Van den Broeck; Joris Renkens; Dimitar Sht. Shterionov; Bernd Gutmann; Ingo Thon; Gerda Janssens; Luc De Raedt (Theory Pract. Log. Program., 2015)

A Compositional Typed Higher-Order Logic with Definitions. - Ingmar Dasseville; Matthias van der Hallen; Bart Bogaerts 001; Gerda Janssens; Marc Denecker (ICLP (Technical Communications), 2016)

Relevance for SAT(ID). - Joachim Jansen; Bart Bogaerts 001; Jo Devriendt; Gerda Janssens; Marc Denecker (IJCAI, 2016)

Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. - Ingmar Dasseville; Laurent Janssens; Gerda Janssens; Jan Vanthienen; Marc Denecker (RuleML (Supplement), 2016)

Knowledge Representation Analysis of Graph Mining. - Matthias van der Hallen; Sergey Paramonov 001; Michael Leuschel; Gerda Janssens (CoRR, 2016)

Implementing a Relevance Tracker Module. - Joachim Jansen; Jo Devriendt; Bart Bogaerts 001; Gerda Janssens; Marc Denecker (CoRR, 2016)

Bootstrapping Inference in the IDP Knowledge Base System. - Bart Bogaerts 001; Joachim Jansen; Broes De Cat; Gerda Janssens; Maurice Bruynooghe; Marc Denecker (New Gener. Comput., 2016)

The KB paradigm and its application to interactive configuration. - Pieter Van Hertum; Ingmar Dasseville; Gerda Janssens; Marc Denecker (Theory Pract. Log. Program., 2017)

Predicate logic as a modeling language: the IDP system. - Broes De Cat; Bart Bogaerts 001; Maurice Bruynooghe; Gerda Janssens; Marc Denecker (Declarative Logic Programming, 2018)

SOGrounder: Modelling and Solving Second-Order Logic. - Matthias van der Hallen; Gerda Janssens (KR, 2018)

FMS: Functional Programming as a Modelling Language. - Ingmar Dasseville; Gerda Janssens (WFLP, 2018)

Knowledge representation analysis of graph mining. - Matthias van der Hallen; Sergey Paramonov 001; Gerda Janssens; Marc Denecker (Ann. Math. Artif. Intell., 2019)