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 countries impacted by papers by Mathias Neugebauer Top authors papers by Martin Junge are co-authored with Top authors papers by C. K. Jung are co-authored with Top fields papers by Masoud Kimiagar are about Top fields papers by Janet Powney are about Top countries impacted by papers by Anwar Naseem Top fields papers by Kamel Bouraoui are about Top authors papers by Todd Vienneau are co-authored with