Maurice Bruynooghe

Maurice Bruynooghe

Catholic University of Leuven - Leuven / Belgium
Engineering & Technology / Computer Science
AD Scientific Index ID: 1399444
Katholieke Universiteit Leuven
person_outline Maurice Bruynooghe's MOST POPULAR ARTICLES
1-) A practical framework for theabstract interpretation of logic programs The Journal of Logic Programming 10 (2), 91-124, 1991
2-) Logic programs with annotated disjunctions International Conference on Logic Programming, 431-445, 2004
3-) Counting integer points in parametric polytopes using Barvinok's rational functions Algorithmica 48, 37-66, 2007
4-) Deriving descriptions of possible values of program variables by means of abstract interpretation The Journal of Logic Programming 13 (2-3), 205-258, 1992
5-) A theory of clausal discovery Proceedings of the 13th international joint conference on artificial …, 1993