Publication

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)

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

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

Edge corrected non-parametric intensity function estimators for heterogeneous Poisson point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

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)

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

Minimal systems of binomial generators and the indispensable complex of a toric ideal Article

H. Charalambous, A. Katsampekis (Anargyros) and A. Thoma

Nog een stukje taart? Article

P. Klint (Paul)