1. Bartocci, E., D. Cacciagrano, M. R. Di Berardini, E. Merelli and L. Tesei, Shape Calculus: Timed Operational Semantics and Well-Formedness, Technical report, http://arxiv.org/abs/1011.2488 (2010).
2. Timed Operational Semantics and Well-formedness of Shape Calculus;Bartocci;Scientific Annals of Computer Science,2010
3. Shape Calculus. A Spatial Mobile Calculus for 3D Shapes;Bartocci;Scientific Annals of Computer Science,2010
4. Coupling methods for continuum model with molecular model;Belytschko;Int. J. Multiscale Comput. Eng.,2003
5. Bone Remodelling in BioShape;Buti;Electronic Notes in Theoretical Computer Science,2010