| 2007 |
|---|
| 10 | EE | Sven Verdoolaege,
Rachid Seghir,
Kristof Beyls,
Vincent Loechner,
Maurice Bruynooghe:
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions.
Algorithmica 48(1): 37-66 (2007) |
| 2005 |
|---|
| 9 | EE | Sven Verdoolaege,
Kristof Beyls,
Maurice Bruynooghe,
Francky Catthoor:
Experiences with Enumeration of Integer Projections of Parametric Polytopes.
CC 2005: 91-105 |
| 2004 |
|---|
| 8 | EE | José Ignacio Gómez,
Paul Marchal,
Sven Verdoolaege,
Luis Piñuel,
Francky Catthoor:
Optimizing the Memory Bandwidth with Loop Morphing.
ASAP 2004: 213-223 |
| 7 | EE | Sven Verdoolaege,
Rachid Seghir,
Kristof Beyls,
Vincent Loechner,
Maurice Bruynooghe:
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.
CASES 2004: 248-258 |
| 2003 |
|---|
| 6 | EE | Sven Verdoolaege,
Maurice Bruynooghe,
Gerda Janssens,
Francky Catthoor:
Multi-dimentsional Incremetal Loops Fusion for Data Locality.
ASAP 2003: 17-27 |
| 2000 |
|---|
| 5 | EE | Sven Verdoolaege,
Marc Denecker,
Ness Schelkens,
Danny De Schreye,
Frank Van Eynde:
Semantic interpretation of temporal information by abductive inference
CoRR cs.CL/0011034: (2000) |
| 4 | EE | Sven Verdoolaege,
Marc Denecker,
Frank Van Eynde:
Abductive reasoning with temporal information
CoRR cs.CL/0011035: (2000) |
| 1999 |
|---|
| 3 | EE | Sven Verdoolaege,
Marc Denecker,
Ness Schelkens,
Danny De Schreye,
Frank Van Eynde:
Semantic interpretation of temporal information by abductive inference.
CLIN 1999 |
| 2 | EE | Ness Schelkens,
Frank Van Eynde,
Sven Verdoolaege:
The semantics of temporal adjuncts.
CLIN 1999 |
| 1998 |
|---|
| 1 | EE | Lars R. Knudsen,
Willi Meier,
Bart Preneel,
Vincent Rijmen,
Sven Verdoolaege:
Analysis Methods for (Alleged) RC4.
ASIACRYPT 1998: 327-341 |
