Maurice Bruynooghe

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

Computing, Computer Science, Formal Methods +13

Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions

Sven Verdoolaege, Rachid Seghir, Kristof Beyls et al. · Algorithmica · 2007 · 176 citations · Full text

Natural Sciences, Computer Science, Mathematics +11

Well-founded and stable semantics of logic programs with aggregates

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2007 · 160 citations · Full text

Computing, Computer Science, Logic +9

Deriving descriptions of possible values of program variables by means of abstract interpretation

Gerda Janssens, Maurice Bruynooghe · The Journal of Logic Programming · 1992 · 156 citations · Full text

Computing, Computer Science, Formal Methods +13

Journal of Logic Programming

Maurice Bruynooghe, James A. Robinson · Literary and Linguistic Computing · 1993 · 155 citations

Computing, Computer Science, Mathematics +9