Camilo Rocha
About
Camilo Rocha has authored 23 papers that have received a total of 119 indexed citations.
This includes 10 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 5 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (7 papers), Formal Methods in Verification (6 papers) and Business Process Modeling and Analysis (5 papers). Camilo Rocha is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (6 papers) and Business Process Modeling and Analysis (5 papers) and collaborates with scholars based in Colombia, United States and Spain. Camilo Rocha's co-authors include Jorge Finke, Francisco Durán, José Meseguer, Mathias Lorieux and Luis Tobón and has published in prestigious journals such as International Journal of Molecular Sciences, BMC Bioinformatics and Frontiers in Plant Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by V. Lakshmi Narasimhan are published in Top authors papers by Hwang Soo Lee are co-authored with Top countries impacted by papers by L. Paolozzi Top authors papers by Mengjiao Xiao are co-authored with Top authors papers by Saida Zainurossalamia Za are co-authored with Top countries impacted by papers by Lucinéia Heloisa Thom Top fields papers by Walter Hellerstein are about Top countries impacted by papers by Andriy Miranskyy