Sven Verdoolaege

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The relation between diamond tiling and hexagonal tiling Parallel Processing Letters	2015-12-18	Paper
isl: An integer set library for the polyhedral model Mathematical Software – ICMS 2010	2010-09-14	Paper
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences Computer Aided Verification	2009-06-30	Paper
Computing parametric rational generating functions with a primal Barvinok algorithm The Electronic Journal of Combinatorics	2009-04-07	Paper
Computing parametric rational generating functions with a primal Barvinok algorithm The Electronic Journal of Combinatorics	2009-04-07	Paper
Computing parametric rational generating functions with a primal Barvinok algorithm The Electronic Journal of Combinatorics	2009-04-07	Paper
Counting with rational generating functions Journal of Symbolic Computation	2008-03-05	Paper
Counting integer points in parametric polytopes using Barvinok's rational functions Algorithmica	2007-07-19	Paper
Analysis Methods for (Alleged) RC4 Lecture Notes in Computer Science	1999-06-17	Paper

Research outcomes over time

This page was built for person: Sven Verdoolaege