| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Quan Phan, Gerda Janssens, Zoltan Somogyi |
Region-based memory management for Mercury programs  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Theofrastos Mantadelis, Gerda Janssens |
Nesting Probabilistic Inference |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers |
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens |
DNF Sampling for ProbLog Inference |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. |
J. Electronic Testing |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Theofrastos Mantadelis, Gerda Janssens |
Variable Compression in ProbLog. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theofrastos Mantadelis, Gerda Janssens |
Dedicated Tabling for a Probabilistic Setting. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens |
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Experience with widening based equivalence checking in realistic multimedia systems. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Phan, Gerda Janssens |
Path-sensitive region analysis for mercury programs. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
region analysis, region reuse, logic programming, region-based memory management, mercury |
| 1 | Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe |
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Phan, Zoltan Somogyi, Gerda Janssens |
Runtime support for region-based memory management in Mercury. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
logic programming, region-based memory management, mercury |
| 1 | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
A practical dynamic single assignment transformation. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
reaching definitions, parallelization, Data flow analysis, arrays, single assignment |
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens |
A Delta Debugger for ILP Query Execution |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele |
Fast Frequent Querying with Lazy Control Flow Compilation. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Phan, Gerda Janssens |
Static Region Analysis for Mercury. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele |
Fast Frequent Querying with Lazy Control Flow Compilation |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Quan Phan, Gerda Janssens |
Towards Region-Based Memory Management for Mercury Programs. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens |
Analyzing & debugging ILP data mining query execution. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
monitoring, debugging, traces, inductive logic programming |
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Verification of Source Code Transformations by Program Equivalence Checking. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Remko Tronçon, Gerda Janssens, Henk Vandecasteele |
Fast Query Evaluation with (Lazy) Control Flow Compilation. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henk Vandecasteele, Gerda Janssens |
An Open Ended Tree |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henk Vandecasteele, Gerda Janssens |
An Open Ended Tree. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Multi-dimentsional Incremetal Loops Fusion for Data Locality. |
ASAP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
Collecting Potential Optimisations. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor |
Storage Size Reduction by In-place Mapping of Arrays. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe |
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele |
Executing Query Packs in ILP. |
ILP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy Mazur, Gerda Janssens, Maurice Bruynooghe |
A Module Based Analysis for Memory Reuse in Mercury. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Vandecasteele, Bart Demoen, Gerda Janssens |
A Finite Domain CLP Solver on Top of Mercury. |
New Trends in Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerda Janssens, Konstantinos F. Sagonas |
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. |
TAPD |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal |
Live-Structure Analysis for Logic Programming Languages with Declarations. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
global program analysis, program analysis, abstract interpretation, constraint logic programming |
| 1 | Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
On the Practicality of Abstract Equation Systems. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier |
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Veroniek Dumortier, Gerda Janssens |
Towards a Practical Full Mode Inference System for CLP(H, N). |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gerda Janssens, Maurice Bruynooghe, Vincent Englebert |
Abstracting Numerical Values in CLP(H, N). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerda Janssens, Wim Simoens |
On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. |
CC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish |
Freeness Analysis in the Presence of Numerical Constraints. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Gerda Janssens, Maurice Bruynooghe |
Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Gerda Janssens |
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. |
META |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerda Janssens, Maurice Bruynooghe |
On Abstracting the Procedural Behaviour of Logic Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens |
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe |
The Impact of Abstract Interpretation: An Experiment in Code Generation. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Gerda Janssens, Bart Demoen, André Mariën |
Improving the Register Allocation of WAM by Recording Unification. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Gerda Janssens |
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen |
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")