Barbuti, Roberto; Bove, Pasquale; Gori, Roberta; Gruska, Damas; Levi, Francesca; Milazzo, Paolo Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks. (English) Zbl 1519.68084 Fundam. Inform. 179, No. 2, 205-225 (2021). MSC: 68Q07 92C42 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Fundam. Inform. 179, No. 2, 205--225 (2021; Zbl 1519.68084) Full Text: DOI
Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D. A static analysis for brane calculi providing global occurrence counting information. (English) Zbl 1383.92032 Theor. Comput. Sci. 696, 11-51 (2017). MSC: 92C42 92C40 PDFBibTeX XMLCite \textit{C. Bodei} et al., Theor. Comput. Sci. 696, 11--51 (2017; Zbl 1383.92032) Full Text: DOI Link
Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca A global occurrence counting analysis for brane calculi. (English) Zbl 1417.68118 Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 179-200 (2015). MSC: 68Q85 92C42 PDFBibTeX XMLCite \textit{C. Bodei} et al., Lect. Notes Comput. Sci. 9527, 179--200 (2015; Zbl 1417.68118) Full Text: DOI Link
Bodei, Chiara; Gori, Roberta; Levi, Francesca An analysis for causal properties of membrane interactions. (English) Zbl 1337.68100 Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 15-31 (2013). MSC: 68Q05 68Q55 92C37 92C42 PDFBibTeX XMLCite \textit{C. Bodei} et al., Electron. Notes Theor. Comput. Sci. 299, 15--31 (2013; Zbl 1337.68100) Full Text: DOI
Gori, Roberta; Levi, Francesca An analysis for proving probabilistic termination of biological systems. (English) Zbl 1294.92019 Theor. Comput. Sci. 471, 27-73 (2013). Reviewer: Jörg Desel (Hagen) MSC: 92C42 68Q85 60J10 PDFBibTeX XMLCite \textit{R. Gori} and \textit{F. Levi}, Theor. Comput. Sci. 471, 27--73 (2013; Zbl 1294.92019) Full Text: DOI
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido Probabilistic model checking of biological systems with uncertain kinetic rates. (English) Zbl 1234.92020 Theor. Comput. Sci. 419, 2-16 (2012). MSC: 92C42 68Q42 60J20 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Theor. Comput. Sci. 419, 2--16 (2012; Zbl 1234.92020) Full Text: DOI
Coletta, Alessio; Gori, Roberta; Levi, Francesca Approximating probabilistic behaviors of biological systems using abstract interpretation. (English) Zbl 1283.92037 Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 165-182 (2009). MSC: 92C42 68Q87 PDFBibTeX XMLCite \textit{A. Coletta} et al., Electron. Notes Theor. Comput. Sci. 229, No. 1, 165--182 (2009; Zbl 1283.92037) Full Text: DOI
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido Probabilistic model checking of biological systems with uncertain kinetic rates. (English) Zbl 1260.68226 Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 64-78 (2009). MSC: 68Q60 68Q87 92C42 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Lect. Notes Comput. Sci. 5797, 64--78 (2009; Zbl 1260.68226) Full Text: DOI