The SCEAS System
| |||||||

## Search the dblp DataBase
Sven Verdoolaege:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- José Ignacio Gómez, Paul Marchal, Sven Verdoolaege, Luis Piñuel, Francky Catthoor
**Optimizing the Memory Bandwidth with Loop Morphing.**[Citation Graph (0, 0)][DBLP] ASAP, 2004, pp:213-223 [Conf] - Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
**Multi-dimentsional Incremetal Loops Fusion for Data Locality.**[Citation Graph (0, 0)][DBLP] ASAP, 2003, pp:17-27 [Conf] - Lars R. Knudsen, Willi Meier, Bart Preneel, Vincent Rijmen, Sven Verdoolaege
**Analysis Methods for (Alleged) RC4.**[Citation Graph (0, 0)][DBLP] ASIACRYPT, 1998, pp:327-341 [Conf] - Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
**Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations.**[Citation Graph (0, 0)][DBLP] CASES, 2004, pp:248-258 [Conf] - Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
**Experiences with Enumeration of Integer Projections of Parametric Polytopes.**[Citation Graph (0, 0)][DBLP] CC, 2005, pp:91-105 [Conf] - Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
**Semantic interpretation of temporal information by abductive inference.**[Citation Graph (0, 0)][DBLP] CLIN, 1999, pp:- [Conf] - Ness Schelkens, Frank Van Eynde, Sven Verdoolaege
**The semantics of temporal adjuncts.**[Citation Graph (0, 0)][DBLP] CLIN, 1999, pp:- [Conf] - Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde
**Semantic interpretation of temporal information by abductive inference**[Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal] - Sven Verdoolaege, Marc Denecker, Frank Van Eynde
**Abductive reasoning with temporal information**[Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal] - Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vincent Loechner, Maurice Bruynooghe
**Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions.**[Citation Graph (0, 0)][DBLP] Algorithmica, 2007, v:48, n:1, pp:37-66 [Journal] **Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.**[Citation Graph (, )][DBLP][Citation Graph (, )][DBLP]*isl*: An Integer Set Library for the Polyhedral Model.**Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.**[Citation Graph (, )][DBLP]**An Implementation of the Barvinok--Woods Integer Projection Algorithm.**[Citation Graph (, )][DBLP]
Search in 0.274secs, Finished in 0.275secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |