A Computational Model of Internet Addiction Phenomena in Social Networks. - Lucia Nasti; Paolo Milazzo (SEFM Workshops, 2017)

Formalizing a Notion of Concentration Robustness for Biochemical Networks. - Lucia Nasti; Roberta Gori; Paolo Milazzo (STAF Workshops, 2018)

A Hybrid Automata model of social networking addiction. - Lucia Nasti; Paolo Milazzo (J. Log. Algebraic Methods Program., 2018)

Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. - Roberta Gori; Paolo Milazzo; Lucia Nasti (BIOINFORMATICS, 2019)

Discovering the Impact of Notifications on Social Network Addiction. - Lucia Nasti; Andrea Michienzi; Barbara Guidi (DataMod@CIKM, 2020)

A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. - Roberto Barbuti; Roberta Gori; Paolo Milazzo; Lucia Nasti (J. Membr. Comput., 2020)

Verification of robustness property in chemical reaction networks. - Lucia Nasti (2020)

Analysis and Verification of Robustness Properties in Becker-Döring Model. - Lucia Nasti; Roberta Gori; Paolo Milazzo (DataMod, 2021)

Formal characterization and efficient verification of a biological robustness property. - Lucia Nasti; Roberta Gori; Paolo Milazzo (FormaliSE@ICSE, 2021)

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. - Lucia Nasti; Roberta Gori; Paolo Milazzo; Federico Poloni (CoRR, 2021)