Gerda Janssens

Daan Fierens, Guy Van den Broeck, Joris Renkens, Dimitar Sht. Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, Luc De Raedt: Inference and learning in probabilistic logic programs using weighted Boolean formulas. CoRR abs/1304.6810 (2013)

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

Danny De Schreye, Gerda Janssens, Andy King (Eds.): Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. ACM 2012, isbn 978-1-4503-1522-7

Quan Phan, Gerda Janssens, Zoltan Somogyi: Region-based memory management for Mercury programs. CoRR abs/1203.1392 (2012)

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

Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele: Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. CoRR abs/1106.1803 (2011)

Theofrastos Mantadelis, Gerda Janssens: Nesting Probabilistic Inference. CoRR abs/1112.3785 (2011)

Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. J. Electronic Testing 26(2): 279-292 (2010)

Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt: ProbLog Technology for Inference in a Probabilistic First Order Logic. ECAI 2010: 719-724

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

Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272

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

Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens: DNF Sampling for ProbLog Inference. CoRR abs/1009.3798 (2010)

Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613

Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with widening based equivalence checking in realistic multimedia systems. HLDVT 2009: 122-129

Quan Phan, Gerda Janssens: Path-sensitive region analysis for mercury programs. PPDP 2009: 161-170

Quan Phan, Zoltan Somogyi, Gerda Janssens: Runtime support for region-based memory management in Mercury. ISMM 2008: 61-70

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

Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation. TPLP 7(4): 481-498 (2007)

Quan Phan, Gerda Janssens: Static Region Analysis for Mercury. ICLP 2007: 317-332

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. CoRR abs/0710.4689 (2007)

Remko Tronçon, Gerda Janssens: A Delta Debugger for ILP Query Execution. CoRR abs/cs/0701105 (2007)

Quan Phan, Gerda Janssens: Towards Region-Based Memory Management for Mercury Programs. ICLP 2006: 433-435

Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation. CoRR abs/cs/0601072 (2006)

Remko Tronçon, Gerda Janssens: Analyzing & debugging ILP data mining query execution. AADEBUG 2005: 105-110

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

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Verification of Source Code Transformations by Program Equivalence Checking. CC 2005: 221-236

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

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

Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer: Query Transformations for Improving the Efficiency of ILP Systems. Journal of Machine Learning Research 4: 465-491 (2003)

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. J. UCS 9(3): 248-269 (2003)

Henk Vandecasteele, Gerda Janssens: An Open Ended Tree. TPLP 3(3): 377-385 (2003)

Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Automatic functional verification of memory oriented global source code transformations. HLDVT 2003: 31-36

Henk Vandecasteele, Gerda Janssens: An Open Ended Tree. CoRR cs.PL/0312027 (2003)

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. Electr. Notes Theor. Comput. Sci. 65(2): 67-82 (2002)

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

Nancy Mazur, Gerda Janssens, Wim Vanhoof: Collecting Potential Optimisations. LOPSTR 2002: 109-110

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

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

Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. CoRR cs.PL/0110037 (2001)

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

Nancy Mazur, Gerda Janssens, Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000: 1255-1269

Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele: Executing Query Packs in ILP. ILP 2000: 60-77

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

Henk Vandecasteele, Bart Demoen, Gerda Janssens: A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints 1999: 256-273

Gerda Janssens, Konstantinos F. Sagonas: On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126

Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal: Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47

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

Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795

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

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

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

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

Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish: Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993: 100-115

Gerda Janssens, Maurice Bruynooghe: Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. J. Log. Program. 13(2&3): 205-258 (1992)

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

Gerda Janssens, Maurice Bruynooghe: On Abstracting the Procedural Behaviour of Logic Programs. RCLP 1991: 240-262

Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens: Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK 1991: 309-317

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

Maurice Bruynooghe, Gerda Janssens: An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP 1988: 669-683

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

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