Centrum Wiskunde & Informatica

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

Proceedings of the American Mathematical Society, 138(9), 3443-3451.

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

July 2007
Nog een stukje taart? Article

I/O ICT Onderzoek, 4(3), 3-3.

P. Klint (Paul)

July 2007
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)

July 2007
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

July 2007
Numerically satisfactory solutions of hypergeometric recursions Article

Mathematics of Computation, 76(259), 1449-1468.

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

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

RAIRO Operations Research, 41(3), 275-287.

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

July 2007
Bug Hunting with False Negatives In Proceedings

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

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

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

July 2007

Previous

Next