Publication
-
January 2011 -
January 2011
-
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)January 2011
-
Largest sparse subgraphs of random graphs In Proceedings
January 2011
-
Quantitative Kleene coalgebras Article
Information and Computation, 209(5), 822-849.January 2011
-
Sound and complete axiomatization of trace semantics for probabilistic systems Article
Electronic Notes in Theoretical Computer Science, 291-311.January 2011
-
January 2011