logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Cosimo Laneve

Technical University of Darmstadt

25H-index
170Paper Count
2.5KCitation Count
Published Papers 3
Publication Date
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
errShare
errSave
A stochastic analysis of the Gasper protocol
errCOMPUTER COMMUNICATIONS
IF4.3
err2025-04-01
err0
errOAAI
errLaneve, Cosimo; Veschetti, Adele
errShare
errSave
Analysis of smart contracts balances
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2021-09-01
err1
errOAAI
errLaneve, Cosimo; Coen, Claudio Sacerdoti
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Reiner Hähnle
H-index: 34 · Papers: 281
C
Claudio Sacerdoti Coen
H-index: 18 · Papers: 110
A
Adele Veschetti
H-index: 4 · Papers: 14
All loaded