Directed triangles in directed graphs Article

M. de Graaf (Mart), A. Schrijver (Lex) and P.D. Seymour (Paul)

Eighteenth conference on the mathematics of operations research, and: Fourth international workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren, 08-11.12.1992 Booklet

The regulator problem with robust stability Tech Report

M.K.K. Cevik and J.M. Schumacher (Hans)

Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

Approximable sets Tech Report

R. Beigel, M. Kummer and F. Stephan

A computer-checked verification of Milner's scheduler Tech Report

H.P. Korver and J.G. Springintveld

Detecting feature interacties with Caesar/Aldébaran Tech Report

H.P. Korver

Transforming acyclic programs Tech Report

A. Bossi and S. Etalle (Sandro)