IRIS

VALIANI, SERENELLA

VALIANI, SERENELLA  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.001 secondi).
Titolo Data di pubblicazione Autore(i) File
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 1-gen-2023 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Modelling flocks of birds and colonies of ants from the bottom up 1-gen-2023 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Modelling Flocks of Birds from the Bottom Up 1-gen-2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Process Algebras and Flocks of Birds 1-gen-2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Systems Security Modeling and Analysis at IMT Lucca 1-gen-2024 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity 1-gen-2023 Costa, Gabriele; De Francisci, Silvia; Valiani, Serenella; Prinetto, Paolo