Camilo Rocha
Orcid: 0000-0003-4356-7704
According to our database1,
Camilo Rocha
authored at least 64 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring.
J. Log. Algebraic Methods Program., January, 2024
CoRR, 2024
2023
Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome.
Data, January, 2023
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.
J. Log. Algebraic Methods Program., 2023
Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification.
Comput. Biol. Medicine, 2023
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2022
Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification.
CoRR, 2022
CoRR, 2022
CoRR, 2022
Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification.
Appl. Netw. Sci., 2022
A top-down supervised learning approach to hierarchical multi-label classification in networks.
Appl. Netw. Sci., 2022
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Building Differential Co-expression Networks with Variable Selection and Regularization.
Proceedings of the Complex Networks and Their Applications XI, 2022
Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions.
Proceedings of the Complex Networks and Their Applications XI, 2022
Proceedings of the Complex Networks and Their Applications XI, 2022
2021
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude.
J. Log. Algebraic Methods Program., 2021
Identifying stress responsive genes using overlapping communities in co-expression networks.
BMC Bioinform., 2021
Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks.
Proceedings of the Complex Networks & Their Applications X - Volume 2, Proceedings of the Tenth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021, Madrid, Spain, November 30, 2021
2020
Soc. Netw. Anal. Min., 2020
J. Log. Algebraic Methods Program., 2020
Using Overlapping Communities and Network Structure for Identifying Reduced Groups of Stress Responsive Genes.
CoRR, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
2019
A rewriting logic approach to resource allocation analysis in business process models.
Sci. Comput. Program., 2019
Sci. Comput. Program., 2019
A Random Network Model for the Analysis of Blockchain Designs with Communication Delay.
CoRR, 2019
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.
CoRR, 2019
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019
Proceedings of the Complex Networks and Their Applications VIII, 2019
Proceedings of the Complex Networks and Their Applications VIII, 2019
2018
Sci. Comput. Program., 2018
Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks.
CoRR, 2018
CoRR, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
2017
J. Log. Algebraic Methods Program., 2017
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
2016
Proceedings of the XLII Latin American Computer Conference - Selected Papers, 2016
2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.
Proceedings of the Specification, Algebra, and Software, 2014
2013
Rev. Colomb. de Computación, 2013
2012
A Formal Interactive Verification Environment for the Plan Execution Interchange Language.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2011
Theor. Comput. Sci., 2011
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
2009
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009
2008
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008
2007
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements.
Rev. Colomb. de Computación, 2007
2006
Una Semántica de Ensamblaje y Composición de Servicios y Componentes.
Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006