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