Papers:

• • Nasti L., Gori R., Milazzo P., Formal characterization and efficient verification of a biological robustness property. Accepted to FormaliSE 2021.
  • Nasti L., Michienzi A., Guidi B., Discovering the impact of notifications on social network addiction. DataMod 2020, Springer International Publishing, 2021.
  • Barbuti R., Gori R., Milazzo P., Nasti L., A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. Journal of Membrane Computing (2020): 1-20. – DOI
  • Nasti L., Verification of robustness property in chemical reaction networks, PhD Thesis, University of Pisa (2020) – PDF • Slides
  • Gori R., Milazzo P., and Nasti L., Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. 10th International conference on bioinformatics models, methods and algorithms (BIOINFORMATICS 2019). 2019.  – DOI • Slides
  • Nasti L., Gori R., and Milazzo P., Formalizing a Notion of Concentration Robustness for Biochemical Networks. Federation of International Conferences on Software Technologies: Applications and Foundations. Springer, Cham, 2018. – DOI • Slides
  • Nasti L. and Milazzo P., A computational model of internet addiction phenomena in social networks. International Conference on Software Engineering and Formal Methods, 86-100. – DOI • Slides
  • Nasti L. and Milazzo P., A Hybrid Automata model of social networking addiction. Journal of Logical and Algebraic Methods in Programming. Volume 100, November 2018, Pages 215-229. – DOI

Talks:

• Verification of robustness in Chemical Reaction Networks – Slides
  PhD event, University of Pisa, December 2019
• Robustness and monotonicity in biological systems – Slides
  Invited speaker at ELBE Postdoc Symposium, Dresden, November 2019
• The Internet addiction: a metric comparison on graphs – Slides
  Department of Computer Science, University of Pisa, December 2018 
• The Internet addiction – Slides
  Kuriltai Seminar, University of Pisa June 2017
• Modelling and Simulation of Dopaminergic System – Slides
  Mauriana Pesaresi Seminar, Department of Computer Science, University of Pisa, March 2017

Workshop and events:

• Organizer of the Second PhD event Event in Computer Science at the University of Pisa. Pisa, 6 December 2019.
• Organizer of the First PhD event Event in Computer Science at the University of Pisa. Pisa, 1 February 2019.
• Organizer of the First Informal Workshop on DataMod Approaches to Systems Analysis (WDA 2018). Pisa, 1-2 March 2018.

Other activities:

• Pc member of  GoodIT 2021
• Social Media Chair of  FormaliSE 2021 @ ICSE
• Pc member of  DataMod 2020 @ CIKM 2020
• Reviewer for EAI GOODTECHS 2020

Awards:

• The journal paper A Hybrid Automata model of social networking addiction was selected by the Editorial Board as Top paper. (December 2019)
• Pegaso Doctorate Scholarship – Scholarship funding PhD studies (October 2016)
• Erasmus Scholarship (January 2016)