CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2011
-
Quantitative analysis of venation patterns of Arabidopsis leaves by supervised image analysis Article
The Plant Journal, epub(doi:10.1111/j.1365-313X.2011.04803.x)S. Dhondt, D. van Haerenborgh, C. van Cauwenbergh, R.M.H. Merks (Roeland), W. Philips, G.T.S. Beemster and D. Inze
January 2011
-
Quantitative Kleene coalgebras Article
Information and Computation, 209(5), 822-849.A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2011
-
Sound and complete axiomatization of trace semantics for probabilistic systems Article
Electronic Notes in Theoretical Computer Science, 291-311.January 2011
-
On Moessner's theorem Tech Report
January 2011 -
Preface Article
Theoretical Computer Science, 412(38), 4967-4968.B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2011
-
January 2011
-
January 2011