Publication

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

Clique partitioning of interval graphs with submodular costs on the cliques Article

D. Gijswijt (Dion), V. Jost and M. Queyranne

Dynamic epistemic verification of security protocols: framework and case study In Proceedings

F. Dechesne (Francien) and Y. Wang (Yanjing)

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

Numerically satisfactory solutions of hypergeometric recursions Article

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

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)

Coordination of Emergency Communication in Safe Hands Article

A.C. Kik (Annette)