E-LIB Suche - Ergebnisse für: Bartoletti, Massimo - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Sound approximate and asymptotic probabilistic bisimulation..:

Bartoletti, Massimo ; Murgia, Maurizio ; Zunino, Roberto
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

2

A theory of Automated Market Makers in DeFi:

Bartoletti, Massimo ; Chiang, James Hsin-yu ; Lluch-Lafuente, Alberto
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

3

Contract-Oriented Programming with Timed Session Types:

, In: Behavioural Types,

Atzei, Nicola ; Bartoletti, Massimo ; Cimoli, Tiziana... - p. 27-48 , 2022

Link: https://doi.org/10.1201/..

4

Contract-Oriented Design of Distributed Applications: A Tut..:

, In: Behavioural Types,

Atzei, Nicola ; Bartoletti, Massimo ; Murgia, Maurizio.. - p. 1-25 , 2022

Link: https://doi.org/10.1201/..

5

Verifying liquidity of recursive Bitcoin contracts:

Bartoletti, Massimo ; Lande, Stefano ; Murgia, Maurizio.
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

6

Computationally sound Bitcoin tokens:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Bartoletti, Massimo ; Lande, Stefano ; Zunino, Roberto - p. 1-15 , 2021

Link: https://doi.org/10.1109/..

7

A theory of transaction parallelism in blockchains:

Bartoletti, Massimo ; Galletta, Letterio ; Murgia, Maurizio
Logical Methods in Computer Science. 17, Issue 4 (2021) - p. , 2021

Link: https://doi.org/10.46298..

8

A True Concurrent Model of Smart Contracts Executions:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bartoletti, Massimo ; Galletta, Letterio ; Murgia, Maurizio - p. 243-260 , 2020

Link: https://doi.org/10.1007/..

9

Renegotiation and Recursion in Bitcoin Contracts:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bartoletti, Massimo ; Murgia, Maurizio ; Zunino, Roberto - p. 261-278 , 2020

Link: https://doi.org/10.1007/..

10

Dissecting Ponzi schemes on Ethereum: Identification, analy..:

Bartoletti, Massimo ; Carta, Salvatore ; Cimoli, Tiziana.
Future Generation Computer Systems. 102 (2020) - p. 259-277 , 2020

Link: https://doi.org/10.1016/..

11

A Journey into Bitcoin Metadata:

Bartoletti, Massimo ; Bellomy, Bryn ; Pompianu, Livio
Journal of Grid Computing. 17 (2019) 1 - p. 3-22 , 2019

Link: https://doi.org/10.1007/..

12

Developing secure bitcoin contracts with BitML:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Atzei, Nicola ; Bartoletti, Massimo ; Lande, Stefano.. - p. 1124-1128 , 2019

Link: https://dl.acm.org/doi/1..

13

Computational Intelligence Methods for Bioinformatics and B..

Lecture Notes in Bioinformatics, 10834

Bartoletti, Massimo ; Barla, Annalisa ; Bracciali, Andrea... - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

14

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Bocchi, Laura ; Henrio, Ludovic.
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100488 , 2019

Link: https://doi.org/10.1016/..

15

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Henrio, Ludovic ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming. 98 (2018) - p. 26 , 2018

Link: https://doi.org/10.1016/..

1-15