Gerda Janssens
Gerda Janssens
Professor of the Department of Computer Science, KULeuven
Verified email at cs.kuleuven.be
TitleCited byYear
Towards digesting the alphabet-soup of statistical relational learning
L De Raedt, B Demoen, D Fierens, B Gutmann, G Janssens, A Kimmig, ...
NIPS Workshop on Probabilistic Programming, 1-3, 2008
546*2008
Inference and learning in probabilistic logic programs using weighted Boolean formulas
D Fierens, G Van den Broeck, J Renkens, D Shterionov, B Gutmann, ...
Theory and Practice of Logic Programming 15 (3), 358-401, 2015
2172015
Deriving descriptions of possible values of program variables by means of abstract interpretation
G Janssens, M Bruynooghe
Journal of Logic Programming 13 (2-3), 205-258, 1992
2021992
Abstract interpretation: towards the global optimisation of Prolog programs
M Bruynooghe, G Janssens, A Callebaut, B Demoen
1987 Symposium on Logic Programming location:San Francisco, 192-204, 1987
1561987
Improving the efficiency of inductive logic programming through the use of query packs
H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ...
Journal of Artificial Intelligence Research 16 (1), 135-166, 2002
1512002
An instance of abstract interpretation integrating type and mode inferencing
M Bruynooghe, G Janssens
Logic Programming: Proc. of the Fifth International Conference and Symposium …, 1988
1351988
Query transformations for improving the efficiency of ILP systems
VS Costa, A Srinivasan, R Camacho, H Blockeel, B Demoen, G Janssens, ...
The Journal of Machine Learning Research 4, 465-491, 2003
952003
Multi-dimensional incremental loop fusion for data locality
S Verdoolaege, M Bruynooghe, G Janssens, F Catthoor
Application-Specific Systems, Architectures, and Processors, 2003 …, 2003
712003
Global analysis of constraint logic programs
MG De La Banda, M Hermenegildo, M Bruynooghe, V Dumortier, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (5), 564-614, 1996
701996
Executing query packs in ILP
H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ...
International Conference on Inductive Logic Programming, 60-77, 2000
652000
Predicate logic as a modeling language: the IDP system
B De Cat, B Bogaerts, M Bruynooghe, G Janssens, M Denecker
Declarative Logic Programming, 279-323, 2018
632018
The impact of abstract interpretation on code generation: an experiment in code generation
A Mariën, G Janssens, A Mulkers, M Bruynooghe
Proc. of the Sixth International Conference on Logic Programming, 33-47, 1989
57*1989
Equivalence checking of static affine programs using widening to handle recurrences
S Verdoolaege, G Janssens, M Bruynooghe
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 11, 2012
442012
Storage size reduction by in-place mapping of arrays
R Tronçon, M Bruynooghe, G Janssens, F Catthoor
International Workshop on Verification, Model Checking, and Abstract …, 2002
432002
Equivalence checking of static affine programs using widening to handle recurrences
S Verdoolaege, G Janssens, M Bruynooghe
International Conference on Computer Aided Verification, 599-613, 2009
392009
On the Practicality of Abstract Equation Systems.
A Mulkers, W Simoens, G Janssens, M Bruynooghe
ICLP, 781-795, 1995
391995
Verification of source code transformations by program equivalence checking
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
International Conference on Compiler Construction, 221-236, 2005
382005
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
362005
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
362005
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
362005
The system can't perform the operation now. Try again later.
Articles 1–20