Gilberto Filé
About
Gilberto Filé has authored 20 papers that have received a total of 226 indexed citations.
This includes 15 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 3 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (11 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (7 papers). Gilberto Filé is often cited by papers focused on Logic, programming, and type systems (11 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (7 papers) and collaborates with scholars based in Italy, The Netherlands and France. Gilberto Filé's co-authors include Agostino Cortesi, Francesco Ranzato, Joost Engelfriet, Hanne Riis Nielson and Maurice Bruynooghe and has published in prestigious journals such as ACM Computing Surveys, Journal of the ACM and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Sarah Kelly are about Top fields papers by Maike Schindler are about Top authors papers by Robert S. Soar are co-authored with Top authors papers by Marine Murtskhvaladze are co-authored with Top countries impacted by papers by Raymond Fong Top countries impacted by papers by A. I. Mil'Shteǐn Top authors papers by Patrick Kinkade are co-authored with Top journals papers by Keivan Kianmehr are published in