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 Marzena Cypryańska are about Top authors papers by Pascal Incagnoli are co-authored with Top countries impacted by papers by Frederick G. Hammitt Top fields papers by Israel Edem Agbehadji are about Top authors papers by Haifeng Zhang are co-authored with Top fields papers by Maurice Holt are about Top countries impacted by papers by Jiuqing Cheng Top authors papers by Chih‐Chou Chiu are co-authored with