@article(AS+00, author = "A.~Aziz and K.~Sanwal and V.~Singhal and R.~Brayton", year = "2000", title = "Model checking continuous time Markov chains", journal = "ACM Trans. Computational Logic", volume = "1", number = "1", pages = "162--170", doi = "10.1145/343369.343402", url = "http://portal.acm.org/citation.cfm?id=343402", ) @article(barbuti2005probabilistic, author = "R.~Barbuti and S.~Cataudella and A.~Maggiolo-Schettini and P.~Milazzo and A.~Troina", year = "2005", title = "A probabilistic model for molecular systems", journal = "Fundamenta Informaticae", volume = "67", number = "1-3", pages = "13--27", url = "http://portal.acm.org/citation.cfm?id=1227202", ) @article(shape2, author = "E.~Bartocci and D.R. Cacciagrano and M.R. Di~Berardini and E.~Merelli and L.~Tesei", year = "2010", title = "{Shape Calculus: Timed Operational Semantics and Well-formedness}", journal = "Scientific Annals of Computer Science", volume = "20", url = "http://arxiv.org/abs/1011.2488", ) @article(shape1, author = "E.~Bartocci and F.~Corradini and M.R. Di~Berardini and E.~Merelli and L.~Tesei", year = "2010", title = "{Shape Calculus. A Spatial Mobile Calculus for 3D Shapes}", journal = "Scientific Annals of Computer Science", volume = "20", url = "http://www.doaj.org/doaj?func=abstract&id=655401", ) @article(bartocci2011model, author = "E.~Bartocci and R.~Grosu and P.~Katsaros and C.~Ramakrishnan and S.~Smolka", year = "2011", title = "Model repair for probabilistic systems", journal = "Tools and Algorithms for the Construction and Analysis of Systems", pages = "326--340", doi = "10.1007/978-3-642-19835-9\_30", url = "http://www.springerlink.com/content/642158w67q6p4065/", ) @article(calder2006analysis, author = "M.~Calder and V.~Vyshemirsky and D.~Gilbert and R.~Orton", year = "2006", title = "Analysis of signalling pathways using continuous time Markov chains", journal = "Transactions on Computational Systems Biology VI", pages = "44--67", doi = "10.1007/11880646\_3", url = "http://www.springerlink.com/content/0553717415245362/", ) @article(gillespie1977exact, author = "D.T. Gillespie", year = "1977", title = "Exact stochastic simulation of coupled chemical reactions", journal = "Journal of Physical Chemistry", volume = "81", number = "25", pages = "2340--2361", doi = "10.1021/j100540a008", url = "http://pubs.acs.org/doi/abs/10.1021/j100540a008", ) @article(hanada2010, author = "R.~Hanada and T.~Hanada and J.M. Penninger", year = "2010", title = "{Physiology and pathophysiology of the RANKL/RANK system}", journal = "Biological Chemistry", volume = "391", number = "12", pages = "1365--1370", doi = "10.1515/BC.2010.149", url = "http://www.ncbi.nlm.nih.gov/pubmed/21087090", ) @article(jabbar2011, author = "S.~Jabbar and J.~Drury and J.N. Fordham and H.K. Datta and R.M. Francis and S.P. Tuck", year = "2011", title = "{Osteoprotegerin, RANKL and bone turnover in postmenopausal osteoporosis}", journal = "Journal of Clinical Pathology", volume = "64", number = "4", pages = "354", doi = "10.1136/jcp.2010.086595", url = "http://jcp.bmj.com/content/64/4/354.abstract", ) @article(karsenty2010, author = "G.~Karsenty and F.~Oury", year = "2010", title = "{The central regulation of bone mass, the first link between bone remodeling and energy metabolism}", journal = "Journal of Clinical Endocrinology \& Metabolism", volume = "95", number = "11", pages = "4795", doi = "10.1210/jc.2010-1030", url = "http://jcem.endojournals.org/content/95/11/4795.short", ) @article(kwiatkowska2002prism, author = "M.~Kwiatkowska and G.~Norman and D.~Parker", year = "2002", title = "PRISM: Probabilistic symbolic model checker", journal = "Computer Performance Evaluation: Modelling Techniques and Tools", pages = "113--140", doi = "10.1007/3-540-46029-2\_13", url = "http://www.springerlink.com/content/1qmt7m2uw2ullpvt/", ) @article(kwiatkowska2008using, author = "M.~Kwiatkowska and G.~Norman and D.~Parker", year = "2008", title = "Using probabilistic model checking in systems biology", journal = "ACM SIGMETRICS Performance Evaluation Review", volume = "35", number = "4", pages = "14--21", doi = "10.1145/1364644.1364651", url = "http://portal.acm.org/citation.cfm?id=1364651", ) @inproceedings(lio2011, author = "P.~Li\'{o} and E.~Merelli and N.~Paoletti and M.~Viceconti", year = "2011", title = "A combined process algebraic and stochastic approach to bone remodeling", booktitle = "CS2BIO 2011. In press", ) @article(manolagas2010, author = "S.C. Manolagas and A.M. Parfitt", year = "2010", title = "{What old means to bone}", journal = "Trends in Endocrinology \& Metabolism", volume = "21", number = "6", pages = "369--374", doi = "10.1016/j.tem.2010.01.010", url = "http://www.sciencedirect.com/science/article/pii/S104327601000024X", ) @inproceedings(paoletti2011, author = "N.~Paoletti and P.~Li\'{o} and E.~Merelli and M.~Viceconti", year = "2011", title = "Osteoporosis: a multiscale modeling viewpoint", booktitle = "Computational Methods in Systems Biology 2011. In press", ) @inproceedings(pronkastochastic, author = "T.E. Pronk and E.P. de~Vink and D.~Bo{\v {s}}na{\v {c}}ki and T.M. Breit", year = "2007", title = "Stochastic modeling of codon bias with PRISM", booktitle = "Proc. 3rd Int. Workshop Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2007)", ) @article(raggatt2010, author = "L.J. Raggatt and N.C. Partridge", year = "2010", title = "{Cellular and molecular mechanisms of bone remodeling}", journal = "Journal of Biological Chemistry", volume = "285", number = "33", pages = "25103", doi = "10.1074/jbc.R109.041087", url = "http://www.jbc.org/content/285/33/25103.short", )