Diego Figueira
About
Diego Figueira has authored 15 papers that have received a total of 200 indexed citations.
This includes 13 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (8 papers), Logic, programming, and type systems (8 papers) and Logic, Reasoning, and Knowledge (7 papers). Diego Figueira is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, programming, and type systems (8 papers) and Logic, Reasoning, and Knowledge (7 papers) and collaborates with scholars based in France, Chile and Argentina. Diego Figueira's co-authors include Santiago Figueira, Pablo Barceló, Carlos Areces, Leonid Libkin and Sławomir Lasota and has published in prestigious journals such as Journal of the ACM, Journal of Artificial Intelligence Research and Mathematical Structures in Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Prashant Shingate are co-authored with Top authors papers by Yolaine Maigrot are co-authored with Top authors papers by Justin Clarke‐Doane are co-authored with Top authors papers by David V. Hutton are co-authored with Top authors papers by Anthony V. Thomas are co-authored with Top countries impacted by papers by Dmitrii Sekhniaidze Top fields papers by Masoud Kimiagar are about Top countries impacted by papers by Beverly E. Cross