Paoletti, N.; Patanè, A. and Kwiatkowska, M.

Closed-loop quantitative verification of rate-adaptive pacemakers

In ACM Transactions on Cyber-Physical Systems, to appear, 2017.  (BIB) (PDF)
Češka, M.; Dannenberg, F.; Paoletti, N.; Kwiatkowska, M. and Brim, L.

Precise Parameter Synthesis for Stochastic Biochemical Systems

In Acta Informatica, 54: 589-623, 2017.  (BIB) (PDF) (DOI)
Merelli, E.; Paoletti, N. and Tesei, L.

Adaptability checking in complex systems

In Science of Computer Programming, 115: 23-46, 2016.  (BIB) (PDF) (DOI)
Taffi, M.; Paoletti, N.; Liò, P.; Pucciarelli, S. and Marini, M.

Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea

In Ecological Modelling, 306: 205-215, 2015. *ISEM Best Young Researcher Paper Award* (BIB) (PDF) (DOI)
Taffi, M.; Paoletti, N.; Angione, C.; Pucciarelli, S.; Marini, M. and Lio, P.

Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis

In Frontiers in Genetics, 5 (319), 2014. *MCED Best paper award* *Featured in commentary article* (BIB) (PDF) (DOI)
Liò, P.; Paoletti, N.; Moni, M. A.; Atwell, K.; Merelli, E. and Viceconti, M.

Modelling osteomyelitis

In BMC bioinformatics, 13 (14): S12, 2012.  (BIB) (PDF) (DOI)
Paoletti, N.; Lio, P.; Merelli, E. and Viceconti, M.

Multilevel computational modeling and quantitative analysis of bone remodeling

In IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 9 (5): 1366-1378, 2012.  (BIB) (PDF) (DOI)
Bartocci, E.; Liò, P.; Merelli, E. and Paoletti, N.

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

In Trans. Computational Systems Biology, 14: 53-76, 2012.  (BIB) (PDF) (DOI)