Camilo Rocha

708 total citations
38 papers, 195 citations indexed

About

Camilo Rocha is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Camilo Rocha has authored 38 papers receiving a total of 195 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 6 papers in Information Systems. Recurrent topics in Camilo Rocha's work include Logic, programming, and type systems (14 papers), Formal Methods in Verification (14 papers) and Logic, Reasoning, and Knowledge (5 papers). Camilo Rocha is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (14 papers) and Logic, Reasoning, and Knowledge (5 papers). Camilo Rocha collaborates with scholars based in Colombia, United States and Spain. Camilo Rocha's co-authors include José Meseguer, César Muñoz, Francisco Durán, Jorge Finke, Gwen Salaün, Kyungmin Bae, Thaura Ghneim‐Herrera, Ning Huang, Luis Tobòn and Mathias Lorieux and has published in prestigious journals such as SHILAP Revista de lepidopterología, PLoS ONE and International Journal of Molecular Sciences.

In The Last Decade

Camilo Rocha

33 papers receiving 190 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Camilo Rocha Colombia 7 83 78 52 45 34 38 195
Gwen Salaün France 8 115 1.4× 100 1.3× 38 0.7× 90 2.0× 51 1.5× 35 196
Saroj Ratnoo India 10 63 0.8× 135 1.7× 43 0.8× 9 0.2× 10 0.3× 45 235
Søren Debois Denmark 8 81 1.0× 84 1.1× 28 0.5× 72 1.6× 73 2.1× 31 185
Bořivoj Melichar Czechia 6 42 0.5× 119 1.5× 56 1.1× 45 1.0× 7 0.2× 32 200
Markus Triska Austria 6 48 0.6× 130 1.7× 28 0.5× 55 1.2× 5 0.1× 8 211
Claude Girault France 4 35 0.4× 47 0.6× 86 1.7× 29 0.6× 57 1.7× 8 181
Jia-Huai You Canada 11 61 0.7× 412 5.3× 162 3.1× 87 1.9× 9 0.3× 77 490
Matteo Camilli Italy 10 77 0.9× 98 1.3× 59 1.1× 121 2.7× 24 0.7× 39 225
Ramtin Khosravi Iran 9 92 1.1× 113 1.4× 58 1.1× 52 1.2× 35 1.0× 33 194
Arjun Radhakrishna United States 9 79 1.0× 87 1.1× 63 1.2× 46 1.0× 7 0.2× 33 213

Countries citing papers authored by Camilo Rocha

Since Specialization
Citations

This map shows the geographic impact of Camilo Rocha's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Camilo Rocha with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Camilo Rocha more than expected).

Fields of papers citing papers by Camilo Rocha

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Camilo Rocha. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Camilo Rocha. The network helps show where Camilo Rocha may publish in the future.

Co-authorship network of co-authors of Camilo Rocha

This figure shows the co-authorship network connecting the top 25 collaborators of Camilo Rocha. A scholar is included among the top collaborators of Camilo Rocha based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Camilo Rocha. Camilo Rocha is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Finke, Jorge, et al.. (2025). Unraveling Plant Recombination Patterns: Insights From Genome k‐mers. Plant Direct. 9(11). e70113–e70113.
2.
Durán, Francisco, et al.. (2025). A rewriting logic semantics for the analysis of P programs. Journal of Logical and Algebraic Methods in Programming. 144. 101048–101048.
3.
Rocha, Camilo, et al.. (2024). Capoeira escolar e a lei 10.639/2003. LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas). 1(19).
4.
Finke, Jorge, et al.. (2024). Methylomes as key features for predicting recombination in some plant species. Plant Molecular Biology. 114(2). 25–25. 1 indexed citations
5.
Durán, Francisco, et al.. (2023). Business processes resource management using rewriting logic and deep-learning-based predictive monitoring. Journal of Logical and Algebraic Methods in Programming. 136. 100928–100928. 1 indexed citations
6.
7.
Finke, Jorge, et al.. (2023). Prediction of crossover recombination using parental genomes. PLoS ONE. 18(2). e0281804–e0281804. 1 indexed citations
8.
Finke, Jorge, et al.. (2022). A top-down supervised learning approach to hierarchical multi-label classification in networks. Applied Network Science. 7(1). 7 indexed citations
9.
Finke, Jorge, et al.. (2022). Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification. Computers in Biology and Medicine. 152. 106423–106423. 5 indexed citations
10.
Jaramillo-Botero, Andrés, Julian D. Colorado, Mauricio Quimbaya, et al.. (2022). The ÓMICAS alliance, an international research program on multi-omics for crop breeding optimization. Frontiers in Plant Science. 13. 992663–992663. 5 indexed citations
11.
Durán, Francisco, Camilo Rocha, & Gwen Salaün. (2021). Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. Journal of Logical and Algebraic Methods in Programming. 123. 100711–100711. 3 indexed citations
12.
Finke, Jorge, et al.. (2021). Identifying stress responsive genes using overlapping communities in co-expression networks. BMC Bioinformatics. 22(1). 541–541. 7 indexed citations
13.
Finke, Jorge, et al.. (2020). Spectral evolution with approximated eigenvalue trajectories for link prediction. Social Network Analysis and Mining. 10(1). 1 indexed citations
14.
Durán, Francisco, Camilo Rocha, & Gwen Salaün. (2019). A rewriting logic approach to resource allocation analysis in business process models. Science of Computer Programming. 183. 102303–102303. 7 indexed citations
15.
Bae, Kyungmin & Camilo Rocha. (2019). Symbolic state space reduction with guarded terms for rewriting modulo SMT. Science of Computer Programming. 178. 20–42. 6 indexed citations
16.
Rocha, Camilo, José Meseguer, & César Muñoz. (2016). Rewriting modulo SMT and open system analysis. Journal of Logical and Algebraic Methods in Programming. 86(1). 269–297. 26 indexed citations
17.
Gutiérrez, Raúl, José Meseguer, & Camilo Rocha. (2014). Order-sorted equality enrichments modulo axioms. Science of Computer Programming. 99. 235–261. 3 indexed citations
18.
Rocha, Camilo, et al.. (2013). Synchronous set relations in rewriting logic. Science of Computer Programming. 92. 211–228.
19.
Rocha, Camilo, César Muñoz, & Gilles Dowek. (2011). A formal library of set relations and its application to synchronous languages. Theoretical Computer Science. 412(37). 4853–4866. 1 indexed citations
20.
Rocha, Camilo & José Meseguer. (2007). A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements. SHILAP Revista de lepidopterología. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Gwen Salaün Breakdown of academic impact, for papers by Saroj Ratnoo Breakdown of academic impact, for papers by Søren Debois Breakdown of academic impact, for papers by Bořivoj Melichar Breakdown of academic impact, for papers by Markus Triska Breakdown of academic impact, for papers by Claude Girault Breakdown of academic impact, for papers by Jia-Huai You Breakdown of academic impact, for papers by Matteo Camilli Breakdown of academic impact, for papers by Ramtin Khosravi Breakdown of academic impact, for papers by Arjun Radhakrishna
Rankless by CCL
2026