Massimo Bartoletti - Publications, H-index & Citations

Massimo Bartoletti

University of Cagliari

29H指数

176论文数

4.5K被引数

收录论文 8

发表时间

Certified Algorithms for Numerical Semigroups in Rocq Rocq中数值半群的认证算法

INTELLIGENT COMPUTER MATHEMATICS, CICM 2025

IF0

2026-01-01

PREAI

Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco

A Theoretical Basis for MEV MEV的理论基础

FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2025, PT II

IF0

2026-01-01

PREAI

Bartoletti, Massimo; Zunino, Roberto

Scalable UTXO smart contracts via fine-grained distributed state 通过细粒度分布式状态实现可扩展的UTXO智能合约

Future Generation Computer Systems

IF0

2025-07-25

OAAI

Massimo Bartoletti; Riccardo Marchesin; Roberto Zunino

Smart contract languages: A comparative analysis 智能合约语言: 比较分析

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE

IF6.1

2025-03-01

OAAI

Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Dal Sasso, Giacomo; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spano, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto

Cryptocurrency Scams: Analysis and Perspectives

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Bartoletti, Massimo; Lande, Stefano; Loddo, Andrea; Pompianu, Livio; Serusi, Sergio

Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE

IF6.1

2020-01-01

182

OAAI

Bartoletti, Massimo; Carta, Salvatore; Cimoli, Tiziana; Saia, Roberto

A Journey into Bitcoin Metadata 比特币元数据之旅

JOURNAL OF GRID COMPUTING

IF2.9

2019-01-28

PREAI

Bartoletti, Massimo; Bellomy, Bryn; Pompianu, Livio

Semantics-based design for secure web services

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2008-01-01

PREAI

Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino, Roberto

研究方向