Enrico Lipparini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search. | Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stphane Graham-Lengrand |
| 2024 | IFM | Solvent: Liquidity Verification of Smart Contracts. | Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone |
| 2022 | ATVA | Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test. | Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani |