A compositional approach to performance modelling
A compositional approach to performance modelling
Journal of Computer and System Sciences
A Calculus of Communicating Systems
A Calculus of Communicating Systems
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Modelling Biological Compartments in Bio-PEPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Rate-Based Transition Systems for Stochastic Process Calculi
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Bone remodelling: a complex automata-based model running in BIOSHAPE
ACRI'10 Proceedings of the 9th international conference on Cellular automata for research and industry
Natural Computing: an international journal
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Spatial modeling in cell biology at multiple levels
Proceedings of the Winter Simulation Conference
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Multiple verification in complex biological systems: the bone remodelling case study
Transactions on Computational Systems Biology XIV
Hi-index | 0.00 |
Our work focuses on bone remodeling with a multiscale breadth that ranges from modeling intracellular and intercellular RANK/RANKL signaling to tissue dynamics. Several important findings provide clear evidences of the multiscale properties of bone formation and of the links between RANK/RANKL and bone density in health and disease conditions. Recent studies indicate that the circulating levels of OPG and RANKL are inversely related to bone turnover and bone mineral density (BMD) and contribute to the development of osteoporosis in postmenopausal women, and thalassemia-induced osteoporosis. We make use of a spatial process algebra, the Shape Calculus, to control stochastic cell agents that are continuously remodeling the bone. We found that our description is effective for such a multiscale, multilevel process and that RANKL signaling small dynamic concentration defects are greatly amplified by the continuous alternation of absorption and formation resulting in large structural bone defects.