Contrasting themes in the semantics of imperative concurrency Tech Report

J.W. de Bakker (Jaco), J.N. Kok (Joost), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Pattern representation Tech Report

P.J.W. ten Hagen (Paul) and C.G. Trienekens

Transition systems, metric spaces and ready sets in the semantics of uniform concurrency Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Euler flow solutions for a transonic windtunnel section Tech Report

B. Koren (Barry)

Wetenschappelijk Centrum Watergraafsmeer : een greep uit onderzoek en technologie Booklet

Sensitivity theorems in integer programming Article

W.J. Cook, A.M.H. Gerards (Bert), A. Schrijver (Lex) and É. Tardos

An integer analogue of Carathéodory's Theorem Article

W.J. Cook, J. Fonlupt and A. Schrijver (Lex)

Relaxations of vertex packing Article

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)