Igor Siveroni
About
Igor Siveroni has authored 10 papers that have received a total of 118 indexed citations.
This includes 7 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (4 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (2 papers). Igor Siveroni is often cited by papers focused on Security and Verification in Computing (4 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United Kingdom, Italy and Denmark. Igor Siveroni's co-authors include Andrea Zisman, Erik Volz, George Spanoudakis, Anne Cori and Lily Geidelberg and has published in prestigious journals such as Nature Communications, Molecular Biology and Evolution and PLoS Computational Biology
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by D. D. Caussyn are about Top fields papers by Kevin A. Baumert are about Top journals papers by Milad Hashemi are published in Top countries impacted by papers by Andre Garcia Top authors papers by Adodo Yao Sadji are co-authored with Top fields papers by R. Fricke are about Top fields papers by G. H. Aylward are about Top authors papers by Andrew Feffer are co-authored with