CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 87 di 87
Titolo Data di pubblicazione Autore(i) File
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
On the Termination of Borrow Checking in Featherweight Rust 1-gen-2022 Payet, Étienne; Pearce, David J.; Spoto, Nicola Fausto
MichelsonLiSA: A Static Analyzer for Tezos 1-gen-2023 Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto
Information Flow Analysis for Detecting Non-Determinism in Blockchain 1-gen-2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
On the use of generic types for smart contracts 1-gen-2023 Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea
Fungible and non-fungible tokens with snapshots in Java 1-gen-2023 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain 1-gen-2024 Bin Saif, Muhammad; Migliorini, Sara; Spoto, Fausto
Mostrati risultati da 81 a 87 di 87
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