Centrum Wiskunde & Informatica

smilText JavaScript Software

R.L. Guimarães (Rodrigo Laiola)

January 2009
A pan/zoom tool for telling stories with photos Software

R.L. Guimarães (Rodrigo Laiola) and A.A.M. Kuijk (Fons)

January 2009
Learning the Switching Rate by Discretising Bernoulli Sources Online In Proceedings

S. de Rooij (Steven) and T.A.L. van Erven (Tim)

January 2009
Computable Types for Dynamic Systems In Proceedings

P.J. Collins (Pieter)

January 2009
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

P.A.N. Bosman (Peter)

January 2009
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Logical Methods in Computer Science, 5(2)

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

January 2009
Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)

January 2009
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Acta Informatica, 47(1), 33-66.

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

January 2009

Previous

Next