Publication
-
October 1999 -
Analysing industrial protocols with formal methods Dissertation
October 1999 -
October 1999 -
Parallel Störmer-Cowell methods for high-precision orbit computations Article
Applied Numerical Mathematics, 31(3), 353-374.November 1999
-
November 1999 -
Homoclinic orbits in reversible systems II: multi-bumps and saddle-centres Article
CWI Quarterly, 12(3-4), 185-212.December 1999
-
Spatio-temporal processes in ecological communities Article
CWI Quarterly, 12(3-4), 213-238.December 1999
-
Dynamics of a scalar parabolic equation Article
CWI Quarterly, 12(3-4), 239-314.December 1999