Gian-Luigi Ferrari
About
Gian-Luigi Ferrari has authored 61 papers that have received a total of 591 indexed citations.
This includes 46 papers in Artificial Intelligence, 35 papers in Computer Networks and Communications and 24 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (28 papers), Distributed systems and fault tolerance (24 papers) and Formal Methods in Verification (20 papers). Gian-Luigi Ferrari is often cited by papers focused on Logic, programming, and type systems (28 papers), Distributed systems and fault tolerance (24 papers) and Formal Methods in Verification (20 papers) and collaborates with scholars based in Italy, United Kingdom and United States. Gian-Luigi Ferrari's co-authors include Pierpaolo Degano, Massimo Bartoletti, Ugo Montanari, Rosario Pugliese and Emilio Tuosto and has published in prestigious journals such as IEEE Transactions on Software Engineering, Future Generation Computer Systems and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Agus Muhamad Hatta Breakdown of academic impact, for papers by Metin Yılmaz Breakdown of academic impact, for papers by Yutong Liu Breakdown of academic impact, for papers by Simon Richir Breakdown of academic impact, for papers by Juan Carlos Montejo González Breakdown of academic impact, for papers by Jian‐Fei Gao Breakdown of academic impact, for papers by Ofelia B. Oña Breakdown of academic impact, for papers by I.G. Akande