Enrico Lipparini
Scholar

Enrico Lipparini

Google Scholar ID: pWJ4MuYAAAAJ
Postdoctoral Researcher, University of Cagliari
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
30
 
H-index
4
 
i10-index
0
 
Publications
10
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
5 items
LLMs as verification oracles for Solidity
2025
Cited
0
A theory of Lending Protocols in DeFi
2025
Cited
0
Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
2025
Cited
0
Formal verification in Solidity and Move: insights from a comparative analysis
2025
Cited
0
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
NASA Formal Methods · 2023
Cited
2
Resume (English only)
Co-authors
9 total
Massimo Bartoletti
Massimo Bartoletti
Università degli Studi di Cagliari
Angelo Ferrando
Angelo Ferrando
Assistant Professor at the University of Modena and Reggio Emilia
Vadim Malvone
Vadim Malvone
Télécom Paris
Roberto Sebastiani
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Co-author 5
Co-author 5
Alessandro Cimatti
Alessandro Cimatti
Fondazione Bruno Kessler
Stefan Ratschan
Stefan Ratschan
Czech Academy of Sciences
Ahmed Irfan
Ahmed Irfan
SRI International