Sfoglia per Autore DE NICOLA, ROCCO
Mostrati risultati da 1 a 6 di 6
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
Process Algebras and Flocks of Birds
2022-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
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
| Process Algebras and Flocks of Birds | 1-gen-2022 | 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 | |
| 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 |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile