Concepedia
Statistics
Publications
105
Citations
4.4K
H-Index
38
Active since
1978
Affiliations
KU Leuven(Current)
IMEC
Maurice Bruynooghe is an author at KU Leuven specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisLogic ProgrammingSoftware AnalysisSemanticsComputer Engineering
Publications per year
1978–2016
A practical framework for theabstract interpretation of logic programs
Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 249 citations · Full text
Engineering, Automated Reasoning, Formal Methods +5
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions
Sven Verdoolaege, Rachid Seghir, Kristof Beyls et al. · Algorithmica · 2007 · 173 citations · Full text
Geometry Of Number, Discrete Geometry, Geometric Algorithm +5
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
Formal Specification, Engineering, Program Analysis +14
Well-founded and stable semantics of logic programs with aggregates
Nikolay Pelov, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2007 · 155 citations · Full text
Applied Logic, Engineering, Aggregate Program +12
Journal of Logic Programming
Maurice Bruynooghe, James A. Robinson · Literary and Linguistic Computing · 1993 · 155 citations
Applied Logic, Engineering, Well-founded Semantics +17
1–5 of 105