Camilo Rocha

Camilo Rocha

Pontificia Universidad Javeriana Cali - Cali / Colombia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 849042
Pontifical Javeriana University Cali
person_outline Camilo Rocha's MOST POPULAR ARTICLES
1-) Double-spend attack models with time advantange for bitcoinC Pinzón, C RochaElectronic Notes in Theoretical Computer Science 329, 79-103, 20161122016
2-) Rewriting modulo SMT and open system analysisC Rocha, J Meseguer, C MuñozJournal of Logical and Algebraic Methods in Programming 86 (1), 269-297, 2017562017
3-) Proving safety properties of rewrite theoriesC Rocha, J MeseguerInternational Conference on Algebra and Coalgebra in Computer Science, 314-328, 2011412011
4-) Rewriting modulo SMT and open system analysisC Rocha, J Meseguer, C MuñozRewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014362014
5-) Towards a Maude formal environmentF Durán, C Rocha, JM ÁlvarezFormal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011342011