Omar Inverso
About
Omar Inverso has authored 17 papers that have received a total of 68 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (11 papers), Distributed systems and fault tolerance (4 papers) and Parallel Computing and Optimization Techniques (4 papers). Omar Inverso is often cited by papers focused on Formal Methods in Verification (11 papers), Distributed systems and fault tolerance (4 papers) and Parallel Computing and Optimization Techniques (4 papers) and collaborates with scholars based in Italy, United Kingdom and South Africa. Omar Inverso's co-authors include Rocco De Nicola, Gennaro Parlato, Bernd Fischer, Salvatore La Torre and Catia Trubiani and has published in prestigious journals such as Automatica, Information and Software Technology and ACM Transactions on Programming Languages and Systems
In The Last Decade
Papers by
i Specialization
i since
published in
Omar Inverso
67 citations, 14 papers
Explore authors with similar magnitude of impact
Top fields papers by Vincent Rahli are about Top countries impacted by papers by Onur Dülgeroğlu Top fields papers by Herman Siemens are about Top journals papers by A. Lusiani are published in Top fields papers by G. Harper are about Top journals papers by Michael Broers are published in Top countries impacted by papers by Kevin J. Wetmore Top fields papers by J. Tao are about