IRIS

Inverso, Omar

Inverso, Omar  

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

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
Automated replication of tuple spaces via static analysis 1-gen-2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Uwimbabazi, A.
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.
Tight Error Analysis in Fixed-Point Arithmetic 1-gen-2020 Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M.
Verification of Distributed Systems via Sequential Emulation 1-gen-2022 Di Stefano, L.; De Nicola, R.; Inverso, O.