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

Adele Veschetti

Technical University of Darmstadt

4H指数
14论文数
41被引数
收录论文 3
发表时间
logo
Formal Verification of Legal Contracts: A Translation-Based Approach法律合同的形式化验证：一种基于翻译的方法
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHaehnlei, Reiner; Laneve, Cosimo; Veschetti, Adele
err分享
err收藏
SmartML: Enhancing Security and Reliability inSmart Contract DevelopmentSmartML：提升智能合约开发中的安全性与可靠性
errblockchain research and applications
IF0
err2025-08-20
err0
errOAAI
errAdele Veschetti; Richard Bubel; Reiner Hähnle
err分享
err收藏
A stochastic analysis of the Gasper protocolGasper协议的随机分析
errCOMPUTER COMMUNICATIONS
IF4.3
err2025-04-01
err0
errOAAI
errLaneve, Cosimo; Veschetti, Adele
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Reiner Hähnle
H 指数: 34 · 论文数: 281
C
Cosimo Laneve
H 指数: 25 · 论文数: 170
R
Richard Bubel
H 指数: 16 · 论文数: 85
已加载全部