Lucia Nasti

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 10

Top Topics

Chemical Reaction

Noise Cancellation

Computationally Expensive

Hybrid Automata

Top Venues

J. Log. Algebraic Methods Program.

Publications

Lucia Nasti, Roberta Gori, Paolo Milazzo
Formal characterization and efficient verification of a biological robustness property. FormaliSE@ICSE (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Analysis and Verification of Robustness Properties in Becker-Döring Model. DataMod (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. CoRR (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formal characterization and efficient verification of a biological robustness property. CoRR (2021)
Lucia Nasti, Andrea Michienzi, Barbara Guidi
Discovering the Impact of Notifications on Social Network Addiction. DataMod@CIKM (2020)
Roberto Barbuti, Roberta Gori, Paolo Milazzo, Lucia Nasti
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. J. Membr. Comput. 2 (3) (2020)
Roberta Gori, Paolo Milazzo, Lucia Nasti
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. BIOINFORMATICS (2019)
Lucia Nasti, Paolo Milazzo
A Hybrid Automata model of social networking addiction. J. Log. Algebraic Methods Program. 100 (2018)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formalizing a Notion of Concentration Robustness for Biochemical Networks. STAF Workshops (2018)
Lucia Nasti, Paolo Milazzo
A Computational Model of Internet Addiction Phenomena in Social Networks. SEFM Workshops (2017)