logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Michele Bugliesi

Ca Foscari University of Venice

24H指数
141论文数
1.8K被引数
收录论文 4
发表时间
logo
AlgoMove: Typed Abstractions for Algorand Smart ContractsAlgoMove：Algorand智能合约的类型化抽象
errblockchain: research and applications
IF0
err2026-04-15
err0
errOAAI
errAlvise Spanò; Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Dalila Ressi; Sabina Rossi
err分享
err收藏
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis基于机器学习的Solidity智能合约漏洞检测：一项定性分析
errBlockchain: Research and Applications
IF0
err2025-09-23
err0
errOAAI
errDalila Ressi; Alvise Spanò; Lorenzo Benetollo; Michele Bugliesi; Carla Piazza; Sabina Rossi
err分享
err收藏
Smart contract languages: A comparative analysis智能合约语言: 比较分析
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2025-03-01
err2
errOAAI
errBartoletti, 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
err分享
err收藏
Security protocol specification and verification with AnBx
errJOURNAL OF INFORMATION SECURITY AND APPLICATIONS
IF3.7
err2016-10-01
err10
errOAAI
errBugliesi, Michele; Calzavara, Stefano; Modersheim, Sebastian; Modesti, Paolo
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Roberto Tonelli
H 指数: 34 · 论文数: 217
M
Massimo Bartoletti
H 指数: 29 · 论文数: 176
C
Carla Piazza
H 指数: 21 · 论文数: 147
S
Sebastian Mödersheim
H 指数: 21 · 论文数: 94
A
Andrea Pinna
H 指数: 20 · 论文数: 87
查看更多