R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo & A. Troina (2005):
A probabilistic model for molecular systems.
Fundamenta Informaticae 67(1-3),
pp. 13–27.
Available at http://portal.acm.org/citation.cfm?id=1227202.
E. Bartocci, D.R. Cacciagrano, M.R. Di Berardini, E. Merelli & L. Tesei (2010):
Shape Calculus: Timed Operational Semantics and Well-formedness.
Scientific Annals of Computer Science 20.
Available at http://arxiv.org/abs/1011.2488.
E. Bartocci, F. Corradini, M.R. Di Berardini, E. Merelli & L. Tesei (2010):
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Scientific Annals of Computer Science 20.
Available at http://www.doaj.org/doaj?func=abstract&id=655401.
S. Jabbar, J. Drury, J.N. Fordham, H.K. Datta, R.M. Francis & S.P. Tuck (2011):
Osteoprotegerin, RANKL and bone turnover in postmenopausal osteoporosis.
Journal of Clinical Pathology 64(4),
pp. 354,
doi:10.1136/jcp.2010.086595.
Available at http://jcp.bmj.com/content/64/4/354.abstract.
P. Lió, E. Merelli, N. Paoletti & M. Viceconti (2011):
A combined process algebraic and stochastic approach to bone remodeling.
In: CS2BIO 2011. In press.
N. Paoletti, P. Lió, E. Merelli & M. Viceconti (2011):
Osteoporosis: a multiscale modeling viewpoint.
In: Computational Methods in Systems Biology 2011. In press.
T.E. Pronk, E.P. de Vink, D. Bošnački & T.M. Breit (2007):
Stochastic modeling of codon bias with PRISM.
In: Proc. 3rd Int. Workshop Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2007).