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 journals papers by Kazuhiro Eya are published in Top fields papers by İsmet Eşer are about Top journals papers by Justin McCurry are published in Top countries impacted by papers by Gloria Sarahi Castañeda-Ramírez Top fields papers by Zhifeng Zhao are about Top fields papers by Prabhu N. Saxena are about Top journals papers by R. E. Atkins are published in Top countries impacted by papers by Weiwei Qi