Publication

Back and forth bisimulations In Proceedings

R. de Nicola, U. Montanari and F.W. Vaandrager (Frits)

Computing Boolean functions on anonymous networks In Proceedings

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

Constrained scheduling of VLSI algorithms In Proceedings

E.H.L. Aarts (Emile), J. Korst (Jan) and J.K. Lenstra (Jan Karel)

SCILAIM: A Multi-Level Interactive Image Processing Environment Article

T.K. ten Kate, R. van Balen, A.W.M. Smeulders (Arnold) and F.C.A. Groen

On the definition and the computation of the basic reproduction ratio R0 in models for infectious diseases in heterogeneous populations Article

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

Scientific programme 1990 : long-range plan 1991-1995. part 1 Book

Speciale functies in de mathematische fysica Book

N.M. Temme (Nico)

Factoring with the quadratic sieve on large vector computers Article

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)