dblp.uni-trier.dewww.uni-trier.de

Sven Verdoolaege

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
12EESven Verdoolaege, Kevin Woods: Counting with rational generating functions. J. Symb. Comput. 43(2): 75-91 (2008)
11EEPer 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
10EESven 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
9EESven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor: Experiences with Enumeration of Integer Projections of Parametric Polytopes. CC 2005: 91-105
2004
8EEJosé Ignacio Gómez, Paul Marchal, Sven Verdoolaege, Luis Piñuel, Francky Catthoor: Optimizing the Memory Bandwidth with Loop Morphing. ASAP 2004: 213-223
7EESven 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
6EESven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor: Multi-dimentsional Incremetal Loops Fusion for Data Locality. ASAP 2003: 17-27
2000
5EESven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde: Semantic interpretation of temporal information by abductive inference CoRR cs.CL/0011034: (2000)
4EESven Verdoolaege, Marc Denecker, Frank Van Eynde: Abductive reasoning with temporal information CoRR cs.CL/0011035: (2000)
1999
3EESven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde: Semantic interpretation of temporal information by abductive inference. CLIN 1999
2EENess Schelkens, Frank Van Eynde, Sven Verdoolaege: The semantics of temporal adjuncts. CLIN 1999
1998
1EELars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege: Analysis Methods for (Alleged) RC4. ASIACRYPT 1998: 327-341

Coauthor Index

1Einar J. Aas [11]
2Kristof Beyls [7] [9] [10]
3Maurice Bruynooghe [6] [7] [9] [10] [13]
4Francky Catthoor [6] [8] [9] [11]
5Marc Denecker [3] [4] [5]
6Frank Van Eynde [2] [3] [4] [5]
7José Ignacio Gómez [8]
8Qubo Hu [11]
9Gerda Janssens [6]
10Per Gunnar Kjeldsberg [11]
11Lars R. Knudsen [1]
12Matthias Koeppe [14]
13Vincent Loechner [7] [10]
14Paul Marchal [8]
15Willi Meier [1]
16Martin Palkovic [11]
17Luis Piñuel [8]
18Bart Preneel [1]
19Vincent Rijmen [1]
20Ness Schelkens [2] [3] [5]
21Danny De Schreye [3] [5]
22Rachid Seghir [7] [10]
23Arnout Vandecappelle [11]
24Kevin Woods [12] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)