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

Cosimo Laneve

Technical University of Darmstadt

25H指数
170论文数
2.5K被引数
收录论文 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收藏
A stochastic analysis of the Gasper protocolGasper协议的随机分析
errCOMPUTER COMMUNICATIONS
IF4.3
err2025-04-01
err0
errOAAI
errLaneve, Cosimo; Veschetti, Adele
err分享
err收藏
Analysis of smart contracts balances
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2021-09-01
err1
errOAAI
errLaneve, Cosimo; Coen, Claudio Sacerdoti
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Reiner Hähnle
H 指数: 34 · 论文数: 281
C
Claudio Sacerdoti Coen
H 指数: 18 · 论文数: 110
A
Adele Veschetti
H 指数: 4 · 论文数: 14
已加载全部