Centrum Wiskunde & Informatica

A rewriting approach to binary decision diagrams Article

Journal of Logic and Algebraic Programming, 49(1-2), 61-86.

H. Zantema (Hans) and J.C. van de Pol (Jaco)

January 2001
Parameter estimation by a Markov chain Monte Carlo technique for the Candy model In Proceedings

X. Descombes, M.N.M. van Lieshout (Marie-Colette), R.S. Stoica and J. Zerubia

January 2001
An introduction to stochastic geometry In Proceedings

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

January 2001
Verifying replication on a distributed shared data space with time stamps In Proceedings

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

January 2001
mCRL: a toolset for analysing algebraic specifications In Proceedings

S.C.C. Blom (Stefan), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)

January 2001
Just-in-time : on strategy annotations Article

Electronic Notes in Theoretical Computer Science, 1-23.

J.C. van de Pol (Jaco)

January 2001
Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000 Article

InterChange - Newsletter of the International SGML/XML Users' Group, 1-3.

F. van Raamsdonk (Femke)

January 2001
The candy model: properties and inference Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2001

Previous

Next