DE NICOLA, ROCCO

DE NICOLA, ROCCO  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autore(i) File
Automated replication of tuple spaces via static analysis 1-gen-2022 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 1-gen-2023 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling flocks of birds and colonies of ants from the bottom up 1-gen-2023 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling Flocks of Birds from the Bottom Up 1-gen-2022 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Process Algebras and Flocks of Birds 1-gen-2022 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Verifying AbC Specifications via Emulation 1-gen-2020 De Nicola, Rocco; Duong, Tan; Inverso, Omar