Publication
-
CLEVER: Clique-Enumerating Variant Finder Article
Bioinformatics, 28(22), 2875-2882.January 2012
-
Probabilistic Arithmetic Automata and their Applications Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(6), 1737-1750.January 2012
-
Invasion from a cell aggregate—the roles of active cell motion and mechanical equilibrium Article
Physical BiologyJanuary 2012 -
January 2012
-
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book
January 2012
-
Two three pages papers Book Chapter
January 2012
-
January 2012
-
January 2012