Publication

Projectposter MultimediaN Topics / MultimediaN Partnership Other

Projectposter MultimediaN / ICES-KIS 3 ICT Other

A logic for coalgebraic simulation In Proceedings

A. Baltag

Efficient annotated terms Tech Report

M.G.J. van den Brand (Mark), H.A. de Jong (Hayco), P. Klint (Paul) and P.A. Olivier (Pieter)

Polynomial instances of the positive semidefinite and Euclidean distance matrix completion problems Article

M. Laurent (Monique)

Towards an algorithmic statistics (extended abstract) In Proceedings

P. Gacs (Péter), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Equational binary decision diagrams In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

Partial servicing of on-line jobs In Proceedings

R. van Stee (Rob) and J.A. La Poutré (Han)