Publication
-
December 2004 -
Optimaal combineren Book Chapter
January 2005 -
Hoe?Zo! News Broadcast
January 2005 -
Semidefinite bounds for the stability number of a graph via sums of squares of polynomials. In Proceedings
January 2005
-
A computer checked algebraic verification of a distributed summation algorithm Article
Formal Aspects of Computing, 17(1), 19-37.January 2005
-
Homoclinic orbits near heteroclinic cycles with one equilibrium and one periodic orbit Article
Journal of Differential Equations, 390-443.January 2005 -
January 2005
-
Coordinated Anonymous Peer-to-peer Connections with MoCha In Proceedings
January 2005