Visibility techniques applied to robotics. - Emiliano Morini; Fabrizio Rocchi; Carlo Alberto Avizzano; Massimo Bergamasco (RO-MAN, 2010)

Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover. - Samuel Coward; Lawrence C. Paulson; Theo Drane; Emiliano Morini (Formal Aspects Comput., 2022)

Datapath Verification via Word-Level E-Graph Rewriting. - Samuel Coward; Emiliano Morini; Bryan Tan; Theo Drane; George A. Constantinides (FMCAD, 2023)

Combining Power and Arithmetic Optimization via Datapath Rewriting. - Samuel Coward; Theo Drane; Emiliano Morini; George A. Constantinides (ARITH, 2024)