Gianfranco Rossi
About
Gianfranco Rossi has authored 40 papers that have received a total of 297 indexed citations.
This includes 34 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (23 papers), Logic, programming, and type systems (23 papers) and Formal Methods in Verification (14 papers). Gianfranco Rossi is often cited by papers focused on Logic, Reasoning, and Knowledge (23 papers), Logic, programming, and type systems (23 papers) and Formal Methods in Verification (14 papers) and collaborates with scholars based in Italy, Argentina and United States. Gianfranco Rossi's co-authors include Agostino Dovier, Enrico Pontelli, Maximiliano Cristiá, Carla Piazza and Federico Bergenti and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and The Computer Journal
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Lei Cai Top authors papers by S.J.L. van Eijndhoven are co-authored with Top authors papers by Bijan Zakeri are co-authored with Top fields papers by E.S. Sazali are about Top authors papers by J Séror are co-authored with Top authors papers by Annette Scheunpflug are co-authored with Top authors papers by Tezcan Kaya are co-authored with Top authors papers by Alireza Eydi are co-authored with