The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerda Janssens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen
    Abstract Interpretation: Towards the Global Optimization of Prolog Programs. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:192-204 [Conf]
  2. Maurice Bruynooghe, Gerda Janssens
    An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. [Citation Graph (1, 0)][DBLP]
    ICLP/SLP, 1988, pp:669-683 [Conf]
  3. Remko Tronçon, Gerda Janssens
    Analyzing & debugging ILP data mining query execution. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:105-110 [Conf]
  4. Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
    Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:330-346 [Conf]
  5. Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
    Multi-dimentsional Incremetal Loops Fusion for Data Locality. [Citation Graph (0, 0)][DBLP]
    ASAP, 2003, pp:17-27 [Conf]
  6. Gerda Janssens, Wim Simoens
    On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. [Citation Graph (0, 0)][DBLP]
    CC, 1994, pp:172-187 [Conf]
  7. K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
    Verification of Source Code Transformations by Program Equivalence Checking. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:221-236 [Conf]
  8. Nancy Mazur, Gerda Janssens, Maurice Bruynooghe
    A Module Based Analysis for Memory Reuse in Mercury. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1255-1269 [Conf]
  9. Henk Vandecasteele, Bart Demoen, Gerda Janssens
    A Finite Domain CLP Solver on Top of Mercury. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:256-273 [Conf]
  10. K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
    Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:1310-1315 [Conf]
  11. Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal
    Live-Structure Analysis for Logic Programming Languages with Declarations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:33-47 [Conf]
  12. Veroniek Dumortier, Gerda Janssens
    Towards a Practical Full Mode Inference System for CLP(H, N). [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:569-583 [Conf]
  13. Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish
    Freeness Analysis in the Presence of Numerical Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:100-115 [Conf]
  14. Gerda Janssens, Bart Demoen, André Mariën
    Improving the Register Allocation of WAM by Recording Unification. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1388-1402 [Conf]
  15. André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe
    The Impact of Abstract Interpretation: An Experiment in Code Generation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:33-47 [Conf]
  16. Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
    Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:105-119 [Conf]
  17. Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe
    On the Practicality of Abstract Equation Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:781-795 [Conf]
  18. Quan Phan, Gerda Janssens
    Towards Region-Based Memory Management for Mercury Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:433-435 [Conf]
  19. Remko Tronçon, Gerda Janssens, Henk Vandecasteele
    Fast Query Evaluation with (Lazy) Control Flow Compilation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:240-253 [Conf]
  20. Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele
    Executing Query Packs in ILP. [Citation Graph (0, 0)][DBLP]
    ILP, 2000, pp:60-77 [Conf]
  21. Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer
    Two Advanced Transormations for Improving the Efficiency of an ILP system. [Citation Graph (0, 0)][DBLP]
    ILP Work-in-progress reports, 2000, pp:- [Conf]
  22. Nancy Mazur, Gerda Janssens, Wim Vanhoof
    Collecting Potential Optimisations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:109-110 [Conf]
  23. Gerda Janssens, Maurice Bruynooghe
    On Abstracting the Procedural Behaviour of Logic Programs. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:240-262 [Conf]
  24. Maurice Bruynooghe, Gerda Janssens
    Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:294-307 [Conf]
  25. Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens
    Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:309-317 [Conf]
  26. Gerda Janssens, Maurice Bruynooghe, Vincent Englebert
    Abstracting Numerical Values in CLP(H, N). [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:400-414 [Conf]
  27. Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier
    A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:336-350 [Conf]
  28. Gerda Janssens, Konstantinos F. Sagonas
    On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. [Citation Graph (0, 0)][DBLP]
    TAPD, 1998, pp:118-126 [Conf]
  29. Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
    Storage Size Reduction by In-place Mapping of Arrays. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:167-181 [Conf]
  30. Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens
    Project Report on LP+: A Second Generation Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2000, v:13, n:1, pp:13-18 [Journal]
  31. Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe
    Practical Aspects for a Working Compile Time Garbage Collection System for Mercury [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  32. Henk Vandecasteele, Gerda Janssens
    An Open Ended Tree [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  33. K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
    Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2002, v:16, n:, pp:135-166 [Journal]
  35. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Machine Learning Research, 2003, v:4, n:, pp:465-491 [Journal]
  36. 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. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:3, pp:248-269 [Journal]
  37. Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
    Global Analysis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:5, pp:564-614 [Journal]
  38. Henk Vandecasteele, Gerda Janssens
    An Open Ended Tree. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:3, pp:377-385 [Journal]
  39. Quan Phan, Gerda Janssens
    Static Region Analysis for Mercury. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:317-332 [Conf]
  40. Remko Tronçon, Gerda Janssens
    A Delta Debugger for ILP Query Execution [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  41. Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele
    Fast Frequent Querying with Lazy Control Flow Compilation [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  42. K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
    Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  43. Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor
    A practical dynamic single assignment transformation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2007, v:12, n:4, pp:- [Journal]

  44. Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. [Citation Graph (, )][DBLP]


  45. ProbLog Technology for Inference in a Probabilistic First Order Logic. [Citation Graph (, )][DBLP]


  46. Dedicated Tabling for a Probabilistic Setting. [Citation Graph (, )][DBLP]


  47. Runtime support for region-based memory management in Mercury. [Citation Graph (, )][DBLP]


  48. Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. [Citation Graph (, )][DBLP]


  49. Path-sensitive region analysis for mercury programs. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002