Centrum Wiskunde & Informatica

Towards a matroid-minor structure theory Book Chapter

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

January 2007
The Formal Specification Language mCRL2 In Proceedings

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)

January 2007
Optimal semicomputable approximations to reachable and invariant sets Article

ACM Transactions on Computer Systems, 41(1), 33-48.

P.J. Collins (Pieter)

January 2007
Large Deviations for Gaussian Queues: Modelling Communication Networks Book

M.R.H. Mandjes (Michel)

January 2007
oMAP: Ontology Alignment Application Manual

R. Troncy (Raphael)

January 2007
A Complete Guide to the Future In Proceedings

F.S. de Boer (Frank), D.G. Clarke (David) and E.B. Johnsen (Einar Broch)

January 2007
Tribe: a simple virtual class calculus In Proceedings

D.G. Clarke (David), S. Drossopoulou, J. Noble and T. Wrigstad

January 2007
Existential Owners for Ownership Types Article

Journal of Object Technology, 6(4), 141-159.

T. Wrigstad and D.G. Clarke (David)

January 2007

Previous

Next