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 countries impacted by papers by Daryan Kempe Top journals papers by Hue Dinh are published in Top fields papers by Soraya León are about Top journals papers by Samuel Wood are published in Top fields papers by Aske Kammer are about Top authors papers by John Paul Walters are co-authored with Top countries impacted by papers by Debasish Debnath Top authors papers by Marketta Niemelä are co-authored with