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 L. Jänicke are about Top countries impacted by papers by Vera Ogeh Fiador Top countries impacted by papers by Beatrix Ling Ling Wong Top authors papers by Yu. Galaktionov are co-authored with Top fields papers by Antonia Maioni are about Top journals papers by Kevin D. Hyde are published in Top authors papers by Lixin Guan are co-authored with Top fields papers by Luca Tavanti are about