| 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 | 754* | 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 | 429 | 2015 |
| 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 | 227 | 1992 |
| 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 | 174 | 1987 |
| 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 | 161 | 2002 |
| 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 | 157 | 1988 |
| 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 | 123 | 2018 |
| 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 | 102 | 2003 |
| 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 | 94 | 1996 |
| Multi-dimensional incremental loop fusion for data locality S Verdoolaege, M Bruynooghe, G Janssens, F Catthoor Application-Specific Systems, Architectures, and Processors, 2003 …, 2003 | 79 | 2003 |
| Executing query packs in ILP H Blockeel, L Dehaspe, B Demoen, G Janssens, J Ramon, ... International Conference on Inductive Logic Programming, 60-77, 2000 | 76 | 2000 |
| 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 | 65 | 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 | 64 | 2012 |
| 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 | 53 | 2009 |
| 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 | 53 | 2002 |
| 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 | 48 | 2005 |
| 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 | 46 | 2005 |
| 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 | 46 | 2005 |
| 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 | 46 | 2005 |
| Algebraic Transformations on Array-Intensive Source Code KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens | 46* | |
Maurice BruynoogheProfessor Em. of Computer Science, KULeuvenAdresse e-mail validée de cs.kuleuven.be
