Jorge A. Pérez
About
Jorge A. Pérez has authored 40 papers that have received a total of 160 indexed citations.
This includes 35 papers in Artificial Intelligence, 25 papers in Computer Networks and Communications and 20 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (27 papers), Distributed systems and fault tolerance (21 papers) and Formal Methods in Verification (19 papers). Jorge A. Pérez is often cited by papers focused on Logic, programming, and type systems (27 papers), Distributed systems and fault tolerance (21 papers) and Formal Methods in Verification (19 papers) and collaborates with scholars based in The Netherlands, Italy and United Kingdom. Jorge A. Pérez's co-authors include Mariangiola Dezani-Ciancaglini, Hugo Torres Vieira, Ilaria Castellani, Silvia Ghilezan and Claudio Antares Mezzina and has published in prestigious journals such as Plastic & Reconstructive Surgery, Lecture notes in computer science and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Seok-Cheol Kee are about Top fields papers by John S. Brownlee are about Top authors papers by Eskinder Wolka are co-authored with Top authors papers by John C. P. Goldberg are co-authored with Top fields papers by Qi An are about Top fields papers by V. N. Nuriev are about Top fields papers by Alberto Gutiérrez‐Calvo are about Top journals papers by S. Hou are published in