Publications

Papers:

    • Nasti L., Michienzi A., Guidi B., Discovering the impact of notifications on social network addiction. Accepted to DataMod 2020.
    • 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) – PDFSlides
    • 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.  – DOISlides
    • 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. – DOISlides
    • 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. – DOISlides
    • 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:

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:

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)