VESCHETTI, ADELE

VESCHETTI, ADELE  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.019 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Stochastic Analysis of the Gasper Protocol Laneve C.; Solmonte S.; Veschetti A. 2024-01-01 - - 4.01 Contributo in Atti di convegno -
Pacta sunt servanda: Legal contracts in Stipula Silvia Crafa; Cosimo Laneve; Giovanni Sartor; Adele Veschetti 2023-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista Stipula.pdf
Resilience of Hybrid Casper under varying values of parameters Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele 2023-01-01 DISTRIBUTED LEDGER TECHNOLOGIES - 1.01 Articolo in rivista DLT.pdf
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays Bistarelli S.; De Nicola R.; Galletta L.; Laneve C.; Mercanti I.; Veschetti A. 2023-01-01 CONCURRENCY AND COMPUTATION - 1.01 Articolo in rivista Blockchain_PRISM_PEPA.pdf
The Stipula Prototype Silvia Crafa; Cosimo Laneve; Adele Veschetti 2022-01-01 - - 7.04 Software -
A Formal Analysis of the Bitcoin Protocol Adele Veschetti,
Cosimo Laneve
2020-01-01 - Schloss Dagstuhl--Leibniz-Zentrum fur Informatik 4.01 Contributo in Atti di convegno laneve-veschetti.pdf
PRISM+ Adele Veschetti,
Cosimo Laneve
2020-01-01 - - 7.04 Software -
On the Prediction of Smart Contracts’ Behaviours Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno accepted_manuscript.pdf