Probabilistic model checking of biological systems with uncertain kinetic rates R Barbuti, F Levi, P Milazzo, G Scatena Theoretical Computer Science 419, 2-16, 2012 | 21 | 2012 |
Survive or die? A molecular insight into salt-dependant signaling network A Trivellini, M Lucchesini, A Ferrante, G Carmassi, G Scatena, P Vernieri, ... Environmental and Experimental Botany 132, 140-153, 2016 | 19 | 2016 |
Maximally parallel probabilistic semantics for multiset rewriting R Barbuti, F Levi, P Milazzo, G Scatena Fundamenta Informaticae 112 (1), 1-17, 2011 | 15 | 2011 |
An application of model checking to epidemiology P Drábik, G Scatena Proceedings of Applications of Membrane computing, Concurrency and Agent …, 2010 | 8 | 2010 |
Probabilistic model checking of biological systems with uncertain kinetic rates R Barbuti, F Levi, P Milazzo, G Scatena Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau …, 2009 | 8 | 2009 |
Development of a stochastic simulator for biological systems based on the calculus of looping sequences G Scatena Master’s thesis, University of Pisa, 2007 | 7 | 2007 |
Increased sensitivity of sea urchin larvae to metal toxicity as a consequence of the past two decades of Climate Change and Ocean Acidification in the Mediterranean Sea D Sartori, G Scatena, CA Vrinceanu, A Gaion Marine Pollution Bulletin 194, 115274, 2023 | 2 | 2023 |
Expert F A Cisternino, A Granicz, D Syme Apress, 2008 | 2 | 2008 |
Molecular and physiological responses to salt stress in salinity-sensitive and tolerant Hibiscus rosa-sinensis cultivars A Trivellini, G Carmassi, G Scatena, P Vernieri, A Ferrante Molecular Horticulture 3 (1), 28, 2023 | 1 | 2023 |
Preserving landmark legacy software with the Software Heritage Acquisition Process L Bussi, R Di Cosmo, C Montangero, G Scatena iPres2021-17th International Conference on Digital Preservation, 2021 | 1 | 2021 |
The software Heritage acquisition process L Bussi, R Di Cosmo, C Montangero, G Scatena UNESCO: United Nations Educational, Scientific and Cultural Organisation, 2019 | 1 | 2019 |
COVID-19 vaccination impact on pre-sensitization status of patients awaiting pancreas and kidney/pancreas transplantation V De Gregorio, C Biagini, F Vistoli, S Fornaciari, C Cacace, R Lamanna, ... HLA 99 (5), 456-456, 2022 | | 2022 |
Software Stories for landmark legacy code M Gruenpeter, R Di Cosmo, K Thornton, K Seals-Nutt, C Montangero, ... Inria, 2021 | | 2021 |
Preserving landmark legacy software with the Software Heritage Acquisition Process. R Di Cosmo, C Montangero, G Scatena, L Bussi iPRES, 2021 | | 2021 |
Short title SWHAP L Bussi, R Di Cosmo, C Montangero, G Scatena | | 2019 |
Computer-Aided Altruistic Unbalanced Paired Kidney Exchange: A Pilot Software.: Abstract# D2663 D Focosi, G Scatena, F Vistoli, U Boggi Transplantation 98, 264, 2014 | | 2014 |
Abstract Probabilistic Semantics for the Analysis of Bio Sys Models G Scatena LAP LAMBERT Academic Publishing, 2012 | | 2012 |
Abstract probabilistic semantics for the analysis of biological systems models G Scatena IMT Institute for Advanced Studies Lucca, 2011 | | 2011 |
A new software for computer-aided virtual crossmatch in living donor kidney transplantation D Focosi, G Scatena, M De Donno, F Vistoli, M Barsotti, L Ratner, ... TISSUE ANTIGENS 77 (5), 437-438, 2011 | | 2011 |
Computer-Aided Altruistic Unbalanced Paired Kidney Exchanges Based on Virtual Crossmatching and Predicted Post-Transplant Creatinine Clearance D Focosi, G Scatena, F Vistoli, F Scatena, U Boggi TRANSPLANT INTERNATIONAL 24 (Supplement 2), 109-109, 2011 | | 2011 |