Enrico Lipparini

According to our database, Enrico Lipparini authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Solvent: liquidity verification of smart contracts.

Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone

CoRR, 2024

2023

Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.

Enrico Lipparini, Stefan Ratschan

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.

Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani

Proceedings of the Automated Technology for Verification and Analysis, 2022