CINECA IRIS Institutional Research Information System

NASTI, LUCIA Statistiche

NASTI, LUCIA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
Analysis and Verification of Robustness Properties in Becker-Döring Model 1-gen-2022 Nasti, L.; Gori, R.; Milazzo, P.
Discovering the Impact of Notifications on Social Network Addiction 1-gen-2021 Nasti, L.; Michienzi, A.; Guidi, B.
Formal characterization and efficient verification of a biological robustness property 1-gen-2021 Nasti, L.; Gori, R.; Milazzo, P.
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 1-gen-2020 Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks 1-gen-2019 Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
A computational model of internet addiction phenomena in social networks 1-gen-2018 Nasti, Lucia; Milazzo, Paolo
A Hybrid Automata model of social networking addiction 1-gen-2018 Nasti, Lucia; Milazzo, Paolo
Formalizing a notion of concentration robustness for biochemical networks 1-gen-2018 Nasti, Lucia; Gori, Roberta; Milazzo, Paolo