CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A rewriting approach to binary decision diagrams Article
Journal of Logic and Algebraic Programming, 49(1-2), 61-86.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
-
A review of spatio-temporal modelling of quadrat count data with application to striga occurrent in al pearl millet field Article
International Journal of Applied Earth Observation and Geoinformation, 133-138.D.E. Hess, M.N.M. van Lieshout (Marie-Colette), W.A. Payne and A. Stein (Alfred)
January 2001
-
January 2001
-
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.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.January 2001