Omar Inverso

17 papers and 69 indexed citations i.

Omar Inverso has authored 17 papers that have received a total of 69 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 Gennaro Parlato, Bernd Fischer, Rocco De Nicola, 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.