DE NICOLA, ROCCO
DE NICOLA, ROCCO
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.004 secondi).
Automated replication of tuple spaces via static analysis
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling flocks of birds and colonies of ants from the bottom up
2023-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Process Algebras and Flocks of Birds
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
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 |