Ricardo Rocha
About
Ricardo Rocha has authored 35 papers that have received a total of 286 indexed citations.
This includes 21 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 13 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (17 papers), Parallel Computing and Optimization Techniques (12 papers) and Formal Methods in Verification (11 papers). Ricardo Rocha is often cited by papers focused on Logic, programming, and type systems (17 papers), Parallel Computing and Optimization Techniques (12 papers) and Formal Methods in Verification (11 papers) and collaborates with scholars based in Portugal, United States and Germany. Ricardo Rocha's co-authors include Vı́tor Santos Costa, Seth Copen Goldstein, Inês Dutra, Nuno A. Fonseca and Pedro Moreno and has published in prestigious journals such as The American Journal of Human Genetics, Mitochondrion and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Juliana Petrini are co-authored with Top countries impacted by papers by Victoria Palin Top fields papers by Junqing Gao are about Top authors papers by Abhishek Barua are co-authored with Top fields papers by Angèle M. Hamel are about Top countries impacted by papers by D. L. LEIKER Top journals papers by Danijela Leković are published in Top journals papers by Anna Vizziello are published in