The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sven Verdoolaege: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Ness Schelkens, Frank Van Eynde, Sven Verdoolaege
    The semantics of temporal adjuncts. [Citation Graph (0, 0)][DBLP]
    CLIN, 1999, pp:- [Conf]
  8. 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]
  9. Sven Verdoolaege, Marc Denecker, Frank Van Eynde
    Abductive reasoning with temporal information [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  10. 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]

  11. Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences. [Citation Graph (, )][DBLP]


  12. isl: An Integer Set Library for the Polyhedral Model. [Citation Graph (, )][DBLP]


  13. Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. [Citation Graph (, )][DBLP]


  14. An Implementation of the Barvinok--Woods Integer Projection Algorithm. [Citation Graph (, )][DBLP]


Search in 0.155secs, Finished in 0.156secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002