Emiliano Morini

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 5

Top Topics

Optimization Problems

Document Images

Top Venues

Formal Aspects Comput.

Publications

Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides
Combining Power and Arithmetic Optimization via Datapath Rewriting. ARITH (2024)
Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides
Combining Power and Arithmetic Optimization via Datapath Rewriting. CoRR (2024)
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
Datapath Verification via Word-Level E-Graph Rewriting. CoRR (2023)
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
Datapath Verification via Word-Level E-Graph Rewriting. FMCAD (2023)
Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover. Formal Aspects Comput. 34 (2) (2022)
Emiliano Morini, Fabrizio Rocchi, Carlo Alberto Avizzano, Massimo Bergamasco
Visibility techniques applied to robotics. RO-MAN (2010)