Publication

SMC/AE symposium on informatics, 11-12.04.1996 : SMC vijftig jaar Booklet

Confluence and normalisation for higher-order rewriting Dissertation

F. van Raamsdonk (Femke)

MK Papier 96/1 : Festschrift t.g.v. het afscheid van Joke Sterringa, 31.05.1996 Book

Scheduling complete intrees on two uniform processors with communication delays Article

J. Blazewicz, P. Bouvry (Pascal), F. Guinand and D. Trystram

Functorial operational semantics and its denotational dual Dissertation

D. Turi

Numerical methods in smog prediction Dissertation

M. van Loon (Martin)

Communication, synchronization and fault tolerance Dissertation

J.H. Hoepman (Jaap-Henk)

Analyse van beelden en andere ruimtelijke data Article

M.N.M. van Lieshout (Marie-Colette)