Publication
-
January 2013
-
MATE-CLEVER: Mendelian-inheritance-aware discovery and genotyping of midsize and long indels Article
Bioinformatics, 29(24), 3143-3150.January 2013
-
Coalgebraic Bisimulation-Up-To In Proceedings
January 2013 -
A data-driven multi-cloud model for stochastic parametrization of deep convection Article
Philosophical Transactions of the Royal Society A , 1-23.January 2013
-
Automatic equivalence proofs for non-deterministic coalgebras Article
Science of Computer Programming, 1324-1345.January 2013
-
Stream processing coalgebraically Article
Science of Computer Programming, 78(11), 2192-2215.January 2013
-
Varieties and covarieties of languages (preliminary version) In Proceedings
January 2013
-
Coinductive proof techniques for language equivalence In Proceedings
January 2013