LIPPARINI, ENRICO
LIPPARINI, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
2022-01-01 Cimatti, A.; Griggio, A.; Lipparini, E.; Sebastiani, R.
Satisfiability of~Non-linear Transcendental Arithmetic as~a~Certificate Search Problem
2023-01-01 Lipparini, Enrico; Ratschan, Stefan
Solvent: Liquidity Verification of Smart Contracts
2024-01-01 Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test | 1-gen-2022 | Cimatti, A.; Griggio, A.; Lipparini, E.; Sebastiani, R. | |
Satisfiability of~Non-linear Transcendental Arithmetic as~a~Certificate Search Problem | 1-gen-2023 | Lipparini, Enrico; Ratschan, Stefan | |
Solvent: Liquidity Verification of Smart Contracts | 1-gen-2024 | Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim |