1. A. Aziz, K. Sanwal, V. Singhal & R. Brayton (2000): Model checking continuous time Markov chains. ACM Trans. Computational Logic 1(1), pp. 162–170, doi:10.1145/343369.343402. Available at
  2. 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
  3. 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
  4. 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
  5. E. Bartocci, R. Grosu, P. Katsaros, C. Ramakrishnan & S. Smolka (2011): Model repair for probabilistic systems. Tools and Algorithms for the Construction and Analysis of Systems, pp. 326–340, doi:10.1007/978-3-642-19835-9_30. Available at
  6. M. Calder, V. Vyshemirsky, D. Gilbert & R. Orton (2006): Analysis of signalling pathways using continuous time Markov chains. Transactions on Computational Systems Biology VI, pp. 44–67, doi:10.1007/11880646_3. Available at
  7. D.T. Gillespie (1977): Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), pp. 2340–2361, doi:10.1021/j100540a008. Available at
  8. R. Hanada, T. Hanada & J.M. Penninger (2010): Physiology and pathophysiology of the RANKL/RANK system. Biological Chemistry 391(12), pp. 1365–1370, doi:10.1515/BC.2010.149. Available at
  9. 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
  10. G. Karsenty & F. Oury (2010): The central regulation of bone mass, the first link between bone remodeling and energy metabolism. Journal of Clinical Endocrinology & Metabolism 95(11), pp. 4795, doi:10.1210/jc.2010-1030. Available at
  11. M. Kwiatkowska, G. Norman & D. Parker (2002): PRISM: Probabilistic symbolic model checker. Computer Performance Evaluation: Modelling Techniques and Tools, pp. 113–140, doi:10.1007/3-540-46029-2_13. Available at
  12. M. Kwiatkowska, G. Norman & D. Parker (2008): Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review 35(4), pp. 14–21, doi:10.1145/1364644.1364651. Available at
  13. P. Lió, E. Merelli, N. Paoletti & M. Viceconti (2011): A combined process algebraic and stochastic approach to bone remodeling. In: CS2BIO 2011. In press.
  14. S.C. Manolagas & A.M. Parfitt (2010): What old means to bone. Trends in Endocrinology & Metabolism 21(6), pp. 369–374, doi:10.1016/j.tem.2010.01.010. Available at
  15. N. Paoletti, P. Lió, E. Merelli & M. Viceconti (2011): Osteoporosis: a multiscale modeling viewpoint. In: Computational Methods in Systems Biology 2011. In press.
  16. 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).
  17. L.J. Raggatt & N.C. Partridge (2010): Cellular and molecular mechanisms of bone remodeling. Journal of Biological Chemistry 285(33), pp. 25103, doi:10.1074/jbc.R109.041087. Available at

Comments and questions to:
For website issues: