BARTOLETTI, MASSIMO

BARTOLETTI, MASSIMO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 20 di 94 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
A Theory of agreements and protection 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE -
An event-based model for contracts 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
An analysis of bitcoin OP_RETURN metadata 1-gen-2017 Bartoletti, Massimo; Pompianu, Livio - Springer
Bitcoin Covenants Unchained 1-gen-2020 Bartoletti, M.; Lande, S.; Zunino, R. - Springer
BitML: A calculus for bitcoin smart contracts 1-gen-2018 Bartoletti, Massimo; Zunino, Roberto - ACM
Blockchain for social good: a quantitative analysis 1-gen-2018 Bartoletti, Massimo; Pompianu, Livio; Cimoli, Tiziana; Serusi, Sergio - Association for Computing Machinery
A calculus of contracting processes 1-gen-2010 Bartoletti, Massimo; Roberto, Zunino - Institute of Electrical and Electronics Engineers (IEEE)
Call-by-contract for service discovery, orchestration and recovery 1-gen-2011 Bartoletti, Massimo; Degano, P; Ferrari G., L; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Checking risky events is enough for local policies 1-gen-2005 Bartoletti, Massimo; Pierpaolo, Degano; GIAN LUIGI, Ferrari - -
Choreographies in the wild 1-gen-2015 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
Circular causality in event structures 1-gen-2014 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, R. FUNDAMENTA INFORMATICAE -
Circular causality in event structures 1-gen-2012 Bartoletti, Massimo; Cimoli, Tiziana; Pinna, GIOVANNI MICHELE; Zunino, Roberto - -
Combining behavioural types with security analysis 1-gen-2015 Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Compliance and Subtyping in Timed Session Types 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, ALESSANDRO SEBASTIAN; Pompianu, Livio - Springer
Compliance in behavioural contracts: a brief survey 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer
Computationally sound Bitcoin tokens 1-gen-2021 Bartoletti, M.; Lande, S.; Zunino, R. - IEEE Computer Society
Constant-deposit multiparty lotteries on Bitcoin 1-gen-2017 Bartoletti, Massimo; Zunino, Roberto LECTURE NOTES IN COMPUTER SCIENCE Springer
Contract agreement via logic 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Contract-Oriented Computing in CO2 1-gen-2012 Bartoletti, Massimo; Tuosto, E; Zunino, R. SCIENTIFIC ANNALS OF COMPUTER SCIENCE -
Contract-Oriented design of distributed applications: A tutorial 1-gen-2017 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. - River Publishers