Gerda Janssens

	2009
47		Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613
46		Quan Phan, Gerda Janssens: Path-sensitive region analysis for mercury programs. PPDP 2009: 161-170
	2008
45		Quan Phan, Zoltan Somogyi, Gerda Janssens: Runtime support for region-based memory management in Mercury. ISMM 2008: 61-70
	2007
44		Quan Phan, Gerda Janssens: Static Region Analysis for Mercury. ICLP 2007: 317-332
43		Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12(4): (2007)
42		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)
41		Remko Tronçon, Gerda Janssens: A Delta Debugger for ILP Query Execution CoRR abs/cs/0701105: (2007)
40		Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation. TPLP 7(4): 481-498 (2007)
	2006
39		Quan Phan, Gerda Janssens: Towards Region-Based Memory Management for Mercury Programs. ICLP 2006: 433-435
38		Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation CoRR abs/cs/0601072: (2006)
	2005
37		Remko Tronçon, Gerda Janssens: Analyzing & debugging ILP data mining query execution. AADEBUG 2005: 105-110
36		Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. APLAS 2005: 330-346
35		K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Verification of Source Code Transformations by Program Equivalence Checking. CC 2005: 221-236
34		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
	2004
33		Remko Tronçon, Gerda Janssens, Henk Vandecasteele: Fast Query Evaluation with (Lazy) Control Flow Compilation. ICLP 2004: 240-253
	2003
32		Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27
31		Henk Vandecasteele, Gerda Janssens: An Open Ended Tree CoRR cs.PL/0312027: (2003)
30		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)
29		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)
28		Henk Vandecasteele, Gerda Janssens: An Open Ended Tree. TPLP 3(3): 377-385 (2003)
	2002
27		Nancy Mazur, Gerda Janssens, Wim Vanhoof: Collecting Potential Optimisations. LOPSTR 2002: 109-110
26		Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Storage Size Reduction by In-place Mapping of Arrays. VMCAI 2002: 167-181
25		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): (2002)
24		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)
	2001
23		Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP 2001: 105-119
22		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)
	2000
21		Nancy Mazur, Gerda Janssens, Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000: 1255-1269
20		Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele: Executing Query Packs in ILP. ILP 2000: 60-77
19		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
18		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)
	1999
17		Henk Vandecasteele, Bart Demoen, Gerda Janssens: A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints 1999: 256-273
	1998
16		Gerda Janssens, Konstantinos F. Sagonas: On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126
	1997
15		Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal: Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47
	1996
14		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)
	1995
13		Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795
12		Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier: A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS 1995: 336-350
	1994
11		Gerda Janssens, Wim Simoens: On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. CC 1994: 172-187
10		Veroniek Dumortier, Gerda Janssens: Towards a Practical Full Mode Inference System for CLP(H, N). ICLP 1994: 569-583
9		Gerda Janssens, Maurice Bruynooghe, Vincent Englebert: Abstracting Numerical Values in CLP(H, N). PLILP 1994: 400-414
	1993
8		Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish: Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993: 100-115
	1992
7		Maurice Bruynooghe, Gerda Janssens: Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META 1992: 294-307
	1991
6		Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens: Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK 1991: 309-317
5		Gerda Janssens, Maurice Bruynooghe: On Abstracting the Procedural Behaviour of Logic Programs. RCLP 1991: 240-262
	1989
4		André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe: The Impact of Abstract Interpretation: An Experiment in Code Generation. ICLP 1989: 33-47
	1988
3		Gerda Janssens, Bart Demoen, André Mariën: Improving the Register Allocation of WAM by Recording Unification. ICLP/SLP 1988: 1388-1402
2		Maurice Bruynooghe, Gerda Janssens: An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP 1988: 669-683
	1987
1		Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen: Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP 1987: 192-204

Coauthor Index

1	Maria Garcia de la Banda (Maria J. García de la Banda)	[14]
2	Hendrik Blockeel	[19] [20] [24] [29]
3	Maurice Bruynooghe	[1] [2] [4] [5] [6] [7] [8] [9] [12] [13] [14] [15] [18] [21] [22] [23] [25] [26] [30] [32] [34] [35] [36] [42] [43] [47]
4	Alain Callebaut	[1]
5	Rui Camacho	[29]
6	Francky Catthoor	[25] [26] [30] [32] [34] [35] [36] [42] [43]
7	Michael Codish	[8]
8	Vítor Santos Costa	[29]
9	Luc Dehaspe	[20] [24]
10	Bart Demoen	[1] [3] [17] [18] [19] [20] [24] [29] [38] [40]
11	Marc Denecker	[18]
12	Veroniek Dumortier	[6] [8] [10] [12] [14]
13	Vincent Englebert	[9]
14	Manuel V. Hermenegildo	[14]
15	Andreas Kågedal	[15]
16	Wim Van Laer	[19] [29]
17	André Mariën	[3] [4]
18	Bern Martens	[18]
19	Nancy Mazur	[21] [22] [23] [27]
20	Anne Mulkers	[4] [13]
21	Quan Phan	[39] [44] [45] [46]
22	Jan Ramon	[20] [24]
23	Peter Ross	[22] [23]
24	Konstantinos F. Sagonas	[16]
25	Danny De Schreye	[18]
26	K. C. Shashidhar	[25] [30] [34] [35] [42]
27	Wim Simoens	[11] [13] [14]
28	Zoltan Somogyi	[45]
29	Ashwin Srinivasan	[29]
30	Jan Struyf	[29]
31	Remko Tronçon	[26] [33] [37] [38] [40] [41]
32	Peter Vanbroekhoven	[36] [43]
33	Henk Vandecasteele	[17] [19] [20] [24] [28] [29] [31] [33] [38] [40]
34	Wim Vanhoof	[27]
35	Sven Verdoolaege	[32] [47]