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 |