Gerda Janssens

	2012
59		Quan Phan, Gerda Janssens, Zoltan Somogyi: Region-based memory management for Mercury programs CoRR abs/1203.1392: (2012)
	2011
58		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
57		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)
56		Theofrastos Mantadelis, Gerda Janssens: Nesting Probabilistic Inference CoRR abs/1112.3785: (2011)
	2010
55		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
54		Theofrastos Mantadelis, Gerda Janssens: Dedicated Tabling for a Probabilistic Setting. ICLP (Technical Communications) 2010: 124-133
53		Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. JELIA 2010: 260-272
52		Theofrastos Mantadelis, Gerda Janssens: Variable Compression in ProbLog. LPAR (Yogyakarta) 2010: 504-518
51		Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens: DNF Sampling for ProbLog Inference CoRR abs/1009.3798: (2010)
50		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)
	2009
49		Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe: Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. CAV 2009: 599-613
48		Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Experience with widening based equivalence checking in realistic multimedia systems. HLDVT 2009: 122-129
47		Quan Phan, Gerda Janssens: Path-sensitive region analysis for mercury programs. PPDP 2009: 161-170
	2008
46		Quan Phan, Zoltan Somogyi, Gerda Janssens: Runtime support for region-based memory management in Mercury. ISMM 2008: 61-70
	2007
45		Quan Phan, Gerda Janssens: Static Region Analysis for Mercury. ICLP 2007: 317-332
44		Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: A practical dynamic single assignment transformation. ACM Trans. Design Autom. Electr. Syst. 12(4): (2007)
43		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)
42		Remko Tronçon, Gerda Janssens: A Delta Debugger for ILP Query Execution CoRR abs/cs/0701105: (2007)
41		Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation. TPLP 7(4): 481-498 (2007)
	2006
40		Quan Phan, Gerda Janssens: Towards Region-Based Memory Management for Mercury Programs. ICLP 2006: 433-435
39		Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele: Fast Frequent Querying with Lazy Control Flow Compilation CoRR abs/cs/0601072: (2006)
	2005
38		Remko Tronçon, Gerda Janssens: Analyzing & debugging ILP data mining query execution. AADEBUG 2005: 105-110
37		Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor: Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. APLAS 2005: 330-346
36		K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens: Verification of Source Code Transformations by Program Equivalence Checking. CC 2005: 221-236
35		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
34		Remko Tronçon, Gerda Janssens, Henk Vandecasteele: Fast Query Evaluation with (Lazy) Control Flow Compilation. ICLP 2004: 240-253
	2003
33		Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27
32		Henk Vandecasteele, Gerda Janssens: An Open Ended Tree CoRR cs.PL/0312027: (2003)
31		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)
30		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)
29		Henk Vandecasteele, Gerda Janssens: An Open Ended Tree. TPLP 3(3): 377-385 (2003)
	2002
28		Nancy Mazur, Gerda Janssens, Wim Vanhoof: Collecting Potential Optimisations. LOPSTR 2002: 109-110
27		Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Storage Size Reduction by In-place Mapping of Arrays. VMCAI 2002: 167-181
26		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)
25		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
24		Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. ICLP 2001: 105-119
23		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
22		Nancy Mazur, Gerda Janssens, Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. Computational Logic 2000: 1255-1269
21		Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele: Executing Query Packs in ILP. ILP 2000: 60-77
20		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
19		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
18		Henk Vandecasteele, Bart Demoen, Gerda Janssens: A Finite Domain CLP Solver on Top of Mercury. New Trends in Constraints 1999: 256-273
	1998
17		Gerda Janssens, Konstantinos F. Sagonas: On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. TAPD 1998: 118-126
	1997
16		Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal: Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47
	1996
15		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
14		Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. ICLP 1995: 781-795
13		Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier: A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS 1995: 336-350
	1994
12		Gerda Janssens, Wim Simoens: On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. CC 1994: 172-187
11		Veroniek Dumortier, Gerda Janssens: Towards a Practical Full Mode Inference System for CLP(H, N). ICLP 1994: 569-583
10		Gerda Janssens, Maurice Bruynooghe, Vincent Englebert: Abstracting Numerical Values in CLP(H, N). PLILP 1994: 400-414
	1993
9		Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish: Freeness Analysis in the Presence of Numerical Constraints. ICLP 1993: 100-115
	1992
8		Maurice Bruynooghe, Gerda Janssens: Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. META 1992: 294-307
7		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)
	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)	[15]
2	Yolande Berbers	[58]
3	Hendrik Blockeel	[20] [21] [25] [30] [57]
4	Maurice Bruynooghe	[1] [2] [4] [5] [6] [7] [8] [9] [10] [13] [14] [15] [16] [19] [22] [23] [24] [26] [27] [31] [33] [35] [36] [37] [43] [44] [48] [49] [50] [55]
5	Alain Callebaut	[1]
6	Rui Camacho	[30]
7	Francky Catthoor	[26] [27] [31] [33] [35] [36] [37] [43] [44] [48] [50]
8	Michael Codish	[9]
9	Vítor Santos Costa	[30]
10	Luc Dehaspe	[21] [25] [57]
11	Bart Demoen	[1] [3] [18] [19] [20] [21] [25] [30] [39] [41] [57]
12	Marc Denecker	[19]
13	Veroniek Dumortier	[6] [9] [11] [13] [15]
14	Vincent Englebert	[10]
15	Bernd Gutmann	[55]
16	Manuel V. Hermenegildo	[15]
17	Andreas Kågedal	[16]
18	Angelika Kimmig	[51] [53] [55]
19	Wim Van Laer	[20] [30]
20	Theofrastos Mantadelis	[51] [52] [53] [54] [55] [56] [58]
21	André Mariën	[3] [4]
22	Bern Martens	[19]
23	Nancy Mazur	[22] [23] [24] [28]
24	Anne Mulkers	[4] [14]
25	Martin Palkovic	[48] [50]
26	Koosha Paridel	[58]
27	Quan Phan	[40] [45] [46] [47] [59]
28	Luc De Raedt	[55]
29	Jan Ramon	[21] [25] [57]
30	Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha)	[53]
31	Peter Ross	[23] [24]
32	Konstantinos F. Sagonas	[17]
33	Danny De Schreye	[19]
34	K. C. Shashidhar	[26] [31] [35] [36] [43]
35	Dimitar Sht. Shterionov	[51]
36	Wim Simoens	[12] [14] [15]
37	Zoltan Somogyi	[46] [59]
38	Ashwin Srinivasan	[30]
39	Jan Struyf	[30]
40	Remko Tronçon	[27] [34] [38] [39] [41] [42]
41	Peter Vanbroekhoven	[37] [44]
42	Henk Vandecasteele	[18] [20] [21] [25] [29] [30] [32] [34] [39] [41] [57]
43	Wim Vanhoof	[28]
44	Yves Vanrompay	[58]
45	Joost Vennekens	[55]
46	Sven Verdoolaege	[33] [48] [49] [50]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page