Silvio Ranise
About
Silvio Ranise has authored 62 papers that have received a total of 406 indexed citations.
This includes 35 papers in Artificial Intelligence, 23 papers in Information Systems and 19 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (19 papers), Logic, programming, and type systems (17 papers) and Security and Verification in Computing (14 papers). Silvio Ranise is often cited by papers focused on Formal Methods in Verification (19 papers), Logic, programming, and type systems (17 papers) and Security and Verification in Computing (14 papers) and collaborates with scholars based in Italy, France and United States. Silvio Ranise's co-authors include Alessandro Armando, Silvio Ghilardi, Mauro Conti, Roberto Bruttomesso and Roberto Carbone and has published in prestigious journals such as IEEE Communications Surveys & Tutorials, Sensors and IEEE Transactions on Intelligent Transportation Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by H. Kriegel Top authors papers by Catherine A. LaBrenz are co-authored with Top countries impacted by papers by Pedro Thadeu Galvão Vianna Top journals papers by Philipp E. Hartrampf are published in Top countries impacted by papers by Benjamin Fine Top authors papers by Erika T. Machtinger are co-authored with Top authors papers by Cristina Anne Rheims are co-authored with Top countries impacted by papers by Marco Caracciolo