Centrum Wiskunde & Informatica

Refinement and verification applied to an in-flight data acquisitation unit In Proceedings

W.J. Fokkink (Wan), N. Ioustinova (Natalia), E. Kesseler, J.C. van de Pol (Jaco), Y.S. Usenko (Yaroslav) and Y. Yushtein (Yuri)

January 2002
JITty: a Rewriter with Strategy Annotations In Proceedings

J.C. van de Pol (Jaco)

January 2002
State Space Reduction by Proving Confluence In Proceedings

S.C.C. Blom (Stefan) and J.C. van de Pol (Jaco)

January 2002
Formal specification of javaspaces architecture using muCRL In Proceedings

J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

January 2002
Index : Journal of logic programming 2002 Article

Journal of Logic and Algebraic Programming, 50(1-2), 1-3.

M. Hazewinkel (Michiel)

January 2002
Asymptology, ideas, methods, and applications Book

I. Adrianov, M. Hazewinkel (Michiel) and L. Manevitch

January 2002
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions II In Proceedings

M. Hazewinkel (Michiel)

January 2002
Formal verification of replication on a distributed data space architecture In Proceedings

J. Hooman and J.C. van de Pol (Jaco)

January 2002

Previous

Next