Effective computation for nonlinear systems In Proceedings

P.J. Collins (Pieter)

XHTML™ Basic 1.1 Tech Report

institution W3C

A Database Approach to Distributed State Space Generation In Proceedings

S.C.C. Blom (Stefan), B. Lisser (Bert), J.C. van de Pol (Jaco) and M. Weber (Michael)

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems In Proceedings

T. Chen (Taolue), S.C.W. Ploeger, J.C. van de Pol (Jaco) and T.A.C. Willemse

Nog een stukje taart? Article

P. Klint (Paul)

Inverting Onto Functions and Polynomial Hierarchy In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal), J. Rogers and N.K. Vereshchagin (Nikolay Konstantinovich)

Diverse memo's, aanwijzingen etc rond de interne verhuizing na nieuwbouw zomer 2007 Other

Coordination of Emergency Communication in Safe Hands Article

A.C. Kik (Annette)