Publication
-
Declarative Generalized 2D Graphics Presentation
January 2012 -
Deform Software
January 2012 -
January 2012
-
Logic in Action Book
January 2012
-
Invasion from a cell aggregate—the roles of active cell motion and mechanical equilibrium Article
Physical BiologyJanuary 2012 -
Probabilistic Arithmetic Automata and their Applications Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(6), 1737-1750.January 2012
-
Connectors as designs: Modeling, refinement and test case generation. Article
Science of Computer Programming, 77(7-8)January 2012 -
January 2012