| 2008 | 
|---|
| 14 |  | Matthias Koeppe,
Sven Verdoolaege,
Kevin Woods:
An Implementation of the Barvinok--Woods Integer Projection Algorithm.
ITSL 2008: 53-59 | 
| 13 |  | Sven Verdoolaege,
Maurice Bruynooghe:
Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.
ITSL 2008: 60-66 | 
| 12 | EE | Sven Verdoolaege,
Kevin Woods:
Counting with rational generating functions.
J. Symb. Comput. 43(2): 75-91 (2008) | 
| 11 | EE | Per Gunnar Kjeldsberg,
Francky Catthoor,
Sven Verdoolaege,
Martin Palkovic,
Arnout Vandecappelle,
Qubo Hu,
Einar J. Aas:
Guidance of Loop Ordering for Reduced Memory Usage in Signal Processing Applications.
Signal Processing Systems 53(3): 301-321 (2008) | 
| 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 |