Emiliano Morini

According to our database, Emiliano Morini authored at least 4 papers between 2010 and 2024.

Collaborative distances:

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

2024

Combining Power and Arithmetic Optimization via Datapath Rewriting.

Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides

Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024

2023

Datapath Verification via Word-Level E-Graph Rewriting.

Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

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

2010

Visibility techniques applied to robotics.

Emiliano Morini, Fabrizio Rocchi, Carlo Alberto Avizzano, Massimo Bergamasco

Proceedings of the 19th IEEE International Conference on Robot and Human Interactive Communication, 2010