Publication

Lattice calculus of the morphological slope transform Article

H.J.A.M. Heijmans (Henk) and P. Maragos

CWI: Grensverleggend onderzoek voor praktische vraagstukken : kleurenbrochure Booklet

Formal verification of a leader election protocol in process algebra Article

L. Fredlund, J.F. Groote (Jan Friso) and H.P. Korver

Termination for a class of algorithms for constructing algebras given by generators and relations Article

M.A.A. van Leeuwen (Marc) and M. Roelofs

Parallelism in the numerical solution of ordinary and implicit differential equations Dissertation

W.A. van der Veen (Wolter)

Aggregation models of fractal growth Article

M. Vicsek and T. Vicsek

On information structures and nonsequential stochastic control Article

D. Teneketzis

Factoring large integers with the quadratic sieve Dissertation

H. Boender (Henk)