| Visibility techniques applied to robotics E Morini, F Rocchi, CA Avizzano, M Bergamasco 19th International Symposium in Robot and Human Interactive Communication …, 2010 | 4 | 2010 |
| Formal Verification of Transcendental Fixed-and Floating-point Algorithms using an Automatic Theorem Prover S Coward, L Paulson, T Drane, E Morini Formal Aspects of Computing 34 (2), 1-22, 2022 | 2 | 2022 |
| Robot relocation from laser scanning constraints using minimalistic environmental models E Morini, P Villella, F Rocchi, M Bergamasco IFAC Proceedings Volumes 43 (16), 425-430, 2010 | 2 | 2010 |
| Datapath Verification via Word-Level E-Graph Rewriting S Coward, E Morini, B Tan, T Drane, GA Constantinides 2023 Formal Methods in Computer-Aided Design (FMCAD), 92-100, 2023 | 1 | 2023 |
| Formal verification of integrated circuit hardware designs to implement integer division E Morini, S Elliott US Patent 10,503,852, 2019 | 1 | 2019 |
| CONSTANT MODULO VIA RECIRCULANT REDUCTION T Drane, CL Poole, W Zorn, E Morini US Patent App. 18/396,423, 2024 | | 2024 |
| CONSTANT DIVISION AND MODULO VIA CARRYSAVE MODULO REDUCTION T Drane, CL Poole, W Zorn, E Morini US Patent App. 18/396,437, 2024 | | 2024 |
| Combining Power and Arithmetic Optimization via Datapath Rewriting S Coward, T Drane, E Morini, G Constantinides arXiv preprint arXiv:2404.12336, 2024 | | 2024 |
| Constructing hierarchical clock gating architectures via rewriting S Coward, T Drane, GA Constantinides, E Morini US Patent App. 18/538,116, 2024 | | 2024 |
| Automatic code generation of optimized rtl via redundant code removal T Drane, E Morini, J Schmerge, S Coward US Patent App. 18/512,518, 2024 | | 2024 |
| Verifying a hardware design for a component that implements a permutation respecting function R McKemey, S Elliott, E Morini, M Freiburghaus US Patent 11,455,451, 2022 | | 2022 |
| Formal verification of integrated circuit hardware designs to implement integer division E Morini, S Elliott US Patent 10,796,052, 2020 | | 2020 |
| Metodi numerici per la probabilità di estinzione di un Markovian Binary Tree E Morini Università di Pisa, 2008 | | 2008 |
| Il metodo del PageRank: l'origine del successo di Google E Morini Università di Pisa, 2006 | | 2006 |
Theo DraneImperial College LondonVerified email at cadence.com
