Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Bruynooghe, Maurice"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Counting integer points in parametric polytopes using Barvinok's rational functions
Sven Verdoolaege
,
Rachid Seghir
,
Kristof Beyls
,
Vincent Loechner
,
Maurice Bruynooghe
Algorithmica
48
(1), 2007, pp. 37-66
A polynomial time computable metric between point sets
Jan Ramon
,
Maurice Bruynooghe
Acta Informatica
37
(10), 2001, pp. 765-780
Abstracting unification: A key step in the design of logic program analyses
Maurice Bruynooghe
,
Michael Codish
,
Anne Mulkers
Lecture Notes in Computer Science
1000
, 1995, pp. 406-425
Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation
Dmitri Boulanger
,
Maurice Bruynooghe
Journal Symbolic Computation
15
(5-6), 1993, pp. 495-521
On the transformation of logic programs with instantiation based computation rules
Danny de Schreye
,
Maurice Bruynooghe
Journal Symbolic Computation
7
(2), 1989, pp. 125-154