Analysing industrial protocols with formal methods Dissertation

J.M.T. Romijn (Judi)

Panel 1. Multimedia Research: the Grand Challenges for the Next Decade Miscellaneous

P. Aigrain (Philippe), D.C.A. Bulterman (Dick), L.A. Rowe (Lawrence) and B. Smith (Brian)

Parallel Störmer-Cowell methods for high-precision orbit computations Article

P.J. van der Houwen (Piet), E. Messina and J.J.B. de Swart (Jacques)

Symposium ERCIM-leveraging world class R&D for business and society : Amsterdam, 05.11.1999 : programme Booklet

Homoclinic orbits in reversible systems II: multi-bumps and saddle-centres Article

A.R. Champneys

Spatio-temporal processes in ecological communities Article

U. Dieckmann, T. Herben and R. Law

Dynamics of a scalar parabolic equation Article

J.K. Hale

The structure of an attracting set defined by delayed and monotone positive feedback Article

J. Krisztin, H.-O. Walther and J. Wu (Jianhong)