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
536*2008
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
2101992
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
1992015
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
1581987
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
1391988
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
942003
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
771996
Multi-dimensional incremental loop fusion for data locality
S Verdoolaege, M Bruynooghe, G Janssens, F Catthoor
Application-Specific Systems, Architectures, and Processors, 2003 …, 2003
702003
Executing query packs in ILP
H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ...
International Conference on Inductive Logic Programming, 60-77, 2000
662000
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
642018
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
62*1989
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
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 11, 2012
412012
On the Practicality of Abstract Equation Systems.
A Mulkers, W Simoens, G Janssens, M Bruynooghe
ICLP, 781-795, 1995
411995
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
382009
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
372005
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
332005
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
332005
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
332005
The system can't perform the operation now. Try again later.
Articles 1–20