Jorge A. Navas
About
Jorge A. Navas has authored 10 papers that have received a total of 62 indexed citations.
This includes 9 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Software Testing and Debugging Techniques (5 papers). Jorge A. Navas is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in United States, Australia and Singapore. Jorge A. Navas's co-authors include Harald Søndergaard, Peter Schachte, Graeme Gange, Peter J. Stuckey and Manuel V. Hermenegildo and has published in prestigious journals such as Communications of the ACM, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems.
In The Last Decade
side by side view
Countries citing papers authored by Jorge A. Navas
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Willem B. Hollmann Breakdown of academic impact, for papers by Kaitong Li Breakdown of academic impact, for papers by Laurence Shore Breakdown of academic impact, for papers by P. Jacob Breakdown of academic impact, for papers by Arisa Ema Breakdown of academic impact, for papers by Maja Česen Breakdown of academic impact, for papers by Sarah M. B. Fagan Breakdown of academic impact, for papers by Tatiana Seijas