Camilo Rocha
Scholar

Camilo Rocha

Google Scholar ID: s5LVBc8AAAAJ
Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704
formal methodsrewriting logiccomputational logicsoftware verificationalgebraic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,006
 
H-index
16
 
i10-index
29
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
1 items
Equational and Inductive Reasoning for Maude in Athena
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)