IRIS

Sfoglia per Autore  Inverso, Omar

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
Tight Error Analysis in Fixed-Point Arithmetic 1-gen-2020 Simic, S.; Bemporad, A.; Inverso, O.; Tribastone, M.
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.
Automated replication of tuple spaces via static analysis 1-gen-2022 De Nicola, R.; Di Stefano, L.; Inverso, O.; Uwimbabazi, A.
Verification of Distributed Systems via Sequential Emulation 1-gen-2022 Di Stefano, L.; De Nicola, R.; Inverso, O.
Tight Error Analysis in Fixed-point Arithmetic 1-gen-2022 Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
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.
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 1-gen-2023 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 1-gen-2024 Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar
Mostrati risultati da 1 a 9 di 9
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