Professore ordinario
Dipartimento di Informatica - Scienza e Ingegneria
Settore scientifico disciplinare: INFO-01/A Informatica
Home > Contenuti utili > LATEST RESEARCH PAPERS
About STIPULA
About Benchmarks of LLM
Cosimo Laneve, Alvise Spano`, Dalila Ressi, Sabina Rossi, Michele Bugliesi: Understanding code semantics: a benchmark study of LLMs, July 2025
About Blockchains and Solidity
Stefano Bistarelli,Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti: Stochastic Modelling and Analysis of Bitcoin, May 2020.
Cosimo Laneve, Adele Veschetti: A Formal Analysis of the Bitcoin Protocol, July 2020.
Serverless Computing
NUOVA Tesi di laurea triennale su NFT + Blockchain
Pubblicato il: 29 aprile 2024
Tesi di Laurea Magistrale
Pubblicato il: 19 settembre 2023
Nuovo Laboratorio su Blockchain e Nuove Tecnologie
Pubblicato il: 09 gennaio 2019
Accedi tramite login per gestire tutti i contenuti del sito.