The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gerda Janssens" ( http://dblp.L3S.de/Authors/Gerda_Janssens )

  Author page on DBLP  Author page in RDF  Community of Gerda Janssens in ASPL-2

Publication years (Num. hits)
1987-1996 (15) 1997-2003 (19) 2004-2009 (16) 2010-2013 (16) 2014-2016 (18) 2017-2019 (6)
Publication types (Num. hits)
article(37) incollection(1) inproceedings(51) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 14 keywords

Results
Found 91 publication records. Showing 90 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Matthias van der Hallen, Sergey Paramonov 0001, Gerda Janssens, Marc Denecker Knowledge representation analysis of graph mining. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Gerda Janssens FMS: Functional Programming as a Modelling Language. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker Predicate logic as a modeling language: the IDP system. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias van der Hallen, Gerda Janssens SOGrounder: Modelling and Solving Second-Order Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ingmar Dasseville, Gerda Janssens FMS: Functional Programming as a Modelling Language. Search on Bibsonomy WFLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB paradigm and its application to interactive configuration. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias van der Hallen, Sergey Paramonov 0001, Michael Leuschel, Gerda Janssens Knowledge Representation Analysis of Graph Mining. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB paradigm and its application to interactive configuration. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Jo Devriendt, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker Implementing a Relevance Tracker Module. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker Bootstrapping Inference in the IDP Knowledge Base System. Search on Bibsonomy New Generation Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. Search on Bibsonomy RuleML (Supplement) The full citation details ... 2016 DBLP  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker A Compositional Typed Higher-Order Logic with Definitions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB Paradigm and Its Application to Interactive Configuration. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Bart Bogaerts 0001, Jo Devriendt, Gerda Janssens, Marc Denecker Relevance for SAT(ID). Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker Semantics of templates in a compositional framework for building logics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ingmar Dasseville, Gerda Janssens A web-based IDE for IDP. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker Semantics of templates in a compositional framework for building logics. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daan 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. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Gerda Janssens Crucial components in probabilistic inference pipelines. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Gerda Janssens Implementation and Performance of Probabilistic Inference Pipelines. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Koosha Paridel, Theofrastos Mantadelis, Ansar-Ul-Haque Yasar, Davy Preuveneers, Gerda Janssens, Yves Vanrompay, Yolande Berbers Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation. Search on Bibsonomy J. Ambient Intelligence and Humanized Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Joris Renkens, Jonas Vlasselaer, Angelika Kimmig, Wannes Meert, Gerda Janssens The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions. Search on Bibsonomy ILP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens Experimental Evaluation of a State-Of-The-Art Grounder. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daan 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 Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Dimitar Sht. Shterionov, Theofrastos Mantadelis, Gerda Janssens Pattern-Based Compaction for ProbLog Inference. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Quan Phan, Gerda Janssens, Zoltan Somogyi Region-based memory management for Mercury programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joachim Jansen, Albert Jorissen, Gerda Janssens Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Quan Phan, Gerda Janssens, Zoltan Somogyi Region-based memory management for Mercury programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence checking of static affine programs using widening to handle recurrences. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Gerda Janssens, Andy King (eds.) Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  BibTeX  RDF
1Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Gerda Janssens Nesting Probabilistic Inference Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. Search on Bibsonomy PADL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dimitar Sht. Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens DNF Sampling for ProbLog Inference Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems. Search on Bibsonomy J. Electronic Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Ricardo Rocha 0001, Angelika Kimmig, Gerda Janssens Preprocessing Boolean Formulae for BDDs in a Probabilistic Context. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Gerda Janssens Variable Compression in ProbLog. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Theofrastos Mantadelis, Gerda Janssens Dedicated Tabling for a Probabilistic Setting. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt ProbLog Technology for Inference in a Probabilistic First Order Logic. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Experience with widening based equivalence checking in realistic multimedia systems. Search on Bibsonomy HLDVT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Quan Phan, Gerda Janssens Path-sensitive region analysis for mercury programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF region analysis, region reuse, logic programming, region-based memory management, mercury
1Quan Phan, Zoltan Somogyi, Gerda Janssens Runtime support for region-based memory management in Mercury. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, region-based memory management, mercury
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Remko Tronçon, Gerda Janssens A Delta Debugger for ILP Query Execution Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele Fast Frequent Querying with Lazy Control Flow Compilation. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor A practical dynamic single assignment transformation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF reaching definitions, parallelization, Data flow analysis, arrays, single assignment
1Quan Phan, Gerda Janssens Static Region Analysis for Mercury. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele Fast Frequent Querying with Lazy Control Flow Compilation Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Quan Phan, Gerda Janssens Towards Region-Based Memory Management for Mercury Programs. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Verification of Source Code Transformations by Program Equivalence Checking. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Remko Tronçon, Gerda Janssens Analyzing & debugging ILP data mining query execution. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF monitoring, debugging, traces, inductive logic programming
1Remko Tronçon, Gerda Janssens, Henk Vandecasteele Fast Query Evaluation with (Lazy) Control Flow Compilation. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Henk Vandecasteele, Gerda Janssens An Open Ended Tree Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Henk Vandecasteele, Gerda Janssens An Open Ended Tree. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ví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. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2003 DBLP  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. Search on Bibsonomy J. UCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Automatic functional verification of memory oriented global source code transformations. Search on Bibsonomy HLDVT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Multi-dimentsional Incremetal Loops Fusion for Data Locality. Search on Bibsonomy ASAP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Remko Tronçon, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor Storage Size Reduction by In-place Mapping of Arrays. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Nancy Mazur, Gerda Janssens, Wim Vanhoof Collecting Potential Optimisations. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe Practical Aspects for a Working Compile Time Garbage Collection System for Mercury Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe Practical Aspects for a Working Compile Time Garbage Collection System for Mercury. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens Project Report on LP+: A Second Generation Logic Programming Language. Search on Bibsonomy AI Commun. The full citation details ... 2000 DBLP  BibTeX  RDF
1Nancy Mazur, Gerda Janssens, Maurice Bruynooghe A Module Based Analysis for Memory Reuse in Mercury. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Luc Dehaspe, Bart Demoen, Gerda Janssens, Jan Ramon, Henk Vandecasteele Executing Query Packs in ILP. Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Bart Demoen, Gerda Janssens, Henk Vandecasteele, Wim Van Laer Two Advanced Transormations for Improving the Efficiency of an ILP system. Search on Bibsonomy ILP Work-in-progress reports The full citation details ... 2000 DBLP  BibTeX  RDF
1Henk Vandecasteele, Bart Demoen, Gerda Janssens A Finite Domain CLP Solver on Top of Mercury. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerda Janssens, Konstantinos Sagonas On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. Search on Bibsonomy TAPD The full citation details ... 1998 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal Live-Structure Analysis for Logic Programming Languages with Declarations. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens Global Analysis of Constraint Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF global program analysis, program analysis, abstract interpretation, constraint logic programming
1Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe On the Practicality of Abstract Equation Systems. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Gerda Janssens, Maurice Bruynooghe, Vincent Englebert Abstracting Numerical Values in CLP(H, N). Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gerda Janssens, Wim Simoens On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Veroniek Dumortier, Gerda Janssens Towards a Practical Full Mode Inference System for CLP(H, N). Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish Freeness Analysis in the Presence of Numerical Constraints. Search on Bibsonomy ICLP The full citation details ... 1993 DBLP  BibTeX  RDF
1Gerda Janssens, Maurice Bruynooghe Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. Search on Bibsonomy J. Log. Program. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Gerda Janssens Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs. Search on Bibsonomy META The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Gerda Janssens, Maurice Bruynooghe On Abstracting the Procedural Behaviour of Logic Programs. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. Search on Bibsonomy PDK The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1André Mariën, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe The Impact of Abstract Interpretation: An Experiment in Code Generation. Search on Bibsonomy ICLP The full citation details ... 1989 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Gerda Janssens An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Gerda Janssens, Bart Demoen, André Mariën Improving the Register Allocation of WAM by Recording Unification. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen Abstract Interpretation: Towards the Global Optimization of Prolog Programs. Search on Bibsonomy SLP The full citation details ... 1987 DBLP  BibTeX  RDF
Displaying result #1 - #90 of 90 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license