Jorge Sousa Pinto
About
Jorge Sousa Pinto has authored 28 papers that have received a total of 101 indexed citations.
This includes 20 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 11 papers in Software. The topics of these papers are Logic, programming, and type systems (17 papers), Formal Methods in Verification (16 papers) and Software Testing and Debugging Techniques (7 papers). Jorge Sousa Pinto is often cited by papers focused on Logic, programming, and type systems (17 papers), Formal Methods in Verification (16 papers) and Software Testing and Debugging Techniques (7 papers) and collaborates with scholars based in Portugal, France and India. Jorge Sousa Pinto's co-authors include José Bacelar Almeida, Pedro Rangel Henriques, Ian Mackie, Alcino Cunha and Manuel Barbosa and has published in prestigious journals such as IEEE Transactions on Reliability, Lecture notes in computer science and Journal of Systems and Software.
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Christina Murray Top fields papers by Shaohua Wang are about Top authors papers by Michael Pak-Kai Wong are co-authored with Top fields papers by Unika Prihatsanti are about Top countries impacted by papers by F. Stagni Top fields papers by Aurora Plomer are about Top journals papers by M. Krishnamurthy are published in Top journals papers by David Ridgway are published in