Publication
-
Partial order reduction for branching security protocols In Proceedings
June 2010 -
Kan een pop informatica voor vrouwen aantrekkelijk maken? Article
I/O ICT Onderzoek, 7(1), 17-17.June 2010
-
Introduction to the Special Theme Computational Biology Magazine Article
June 2010
-
June 2010
-
A two-dimensional embedded-boundary method for convection problems with moving boundaries Tech Report
June 2010
-
Stability, fragility, and Rota's Conjecture Tech Report
June 2010
-
Simulation-based computation of the workload correlation function in a Lévy-driven queue Tech Report
June 2010
-
Disagreement loop and path creation/annihilation algorithms for binary planar Markov fields with applications to image segmentation Article
Scandinavian Journal of Statistics, 264-285.June 2010