Lucia Nasti

According to our database, Lucia Nasti authored at least 10 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity.

Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni

CoRR, 2021

Formal characterization and efficient verification of a biological robustness property.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Analysis and Verification of Robustness Properties in Becker-Döring Model.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Proceedings of the From Data to Models and Back, 2021

2020

Verification of robustness property in chemical reaction networks.

Lucia Nasti

PhD thesis, 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

Discovering the Impact of Notifications on Social Network Addiction.

Lucia Nasti, Andrea Michienzi, Barbara Guidi

Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

2019

Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks.

Roberta Gori, Paolo Milazzo, Lucia Nasti

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

A Hybrid Automata model of social networking addiction.

Lucia Nasti, Paolo Milazzo

J. Log. Algebraic Methods Program., 2018

Formalizing a Notion of Concentration Robustness for Biochemical Networks.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Proceedings of the Software Technologies: Applications and Foundations, 2018

2017

A Computational Model of Internet Addiction Phenomena in Social Networks.

Lucia Nasti, Paolo Milazzo

Proceedings of the Software Engineering and Formal Methods, 2017