Research output per year
Research output per year
- 27 results
Search results
-
2024
Assessing drought stress in sugarcane with gene expression and phenomic data using CSI-OC
Riccio-Rengifo, C., Ramirez-Castrillon, M., Sosa, C. C., Aguilar, F. S., Trujillo-Montenegro, J. H., Riascos, J. J., Finke, J. & Rocha, C., 15 Sep 2024, In: Industrial Crops and Products. 216, 118621.Research output: Contribution to journal › Article › peer-review
-
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Durán, F., Pozas, N. & Rocha, C., Jan 2024, In: Journal of Logical and Algebraic Methods in Programming. 136, 100928.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Methylomes as key features for predicting recombination in some plant species
Peñuela, M., Finke, J. & Rocha, C., Apr 2024, In: Plant Molecular Biology. 114, 2, 25.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
2023
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Olarte, C., Pimentel, E. & Rocha, C., Jan 2023, In: Journal of Logical and Algebraic Methods in Programming. 130, 100827.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome
López-Rozo, N., Ramirez-Castrillon, M., Romero, M., Finke, J. & Rocha, C., Jan 2023, In: Data. 8, 1, 1.Research output: Contribution to journal › Article › peer-review
-
Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification
Romero, M., Nakano, F. K., Finke, J., Rocha, C. & Vens, C., Jan 2023, In: Computers in Biology and Medicine. 152, 106423.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Prediction of crossover recombination using parental genomes
Peñuela, M., Riccio-Rengifo, C., Finke, J., Rocha, C., Gkanogiannis, A., Wing, R. A. & Lorieux, M., Feb 2023, In: PLoS ONE. 18, 2 February, e0281804.Research output: Contribution to journal › Article › peer-review
-
2022
A top-down supervised learning approach to hierarchical multi-label classification in networks
Romero, M., Finke, J. & Rocha, C., Dec 2022, In: Applied Network Science. 7, 1, 8.Research output: Contribution to journal › Article › peer-review
12 Scopus citations -
Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification
Romero, M., Ramírez, O., Finke, J. & Rocha, C., Dec 2022, In: Applied Network Science. 7, 1, 28.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Methylation in the CHH Context Allows to Predict Recombination in Rice
Peñuela, M., Gallo-Franco, J. J., Finke, J., Rocha, C., Gkanogiannis, A., Ghneim-Herrera, T. & Lorieux, M., Oct 2022, In: International Journal of Molecular Sciences. 23, 20, 12505.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
The ÓMICAS alliance, an international research program on multi-omics for crop breeding optimization
Jaramillo-Botero, A., Colorado, J., Quimbaya, M., Rebolledo, M. C., Lorieux, M., Ghneim-Herrera, T., Arango, C. A., Tobón, L. E., Finke, J., Rocha, C., Muñoz, F., Riascos, J. J., Silva, F., Chirinda, N., Caccamo, M., Vandepoele, K. & Goddard, W. A., 10 Oct 2022, In: Frontiers in Plant Science. 13, 20 p., 992663.Research output: Contribution to journal › Article › peer-review
4 Scopus citations -
2021
Identifying stress responsive genes using overlapping communities in co-expression networks
Riccio-Rengifo, C., Finke, J. & Rocha, C., Dec 2021, In: BMC Bioinformatics. 22, 1, 541.Research output: Contribution to journal › Article › peer-review
6 Scopus citations -
Reasoning about distributed information with infinitely many agents
Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., Jun 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 100674.Research output: Contribution to journal › Article › peer-review
-
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude
Durán, F., Rocha, C. & Salaün, G., Nov 2021, In: Journal of Logical and Algebraic Methods in Programming. 123, 100711.Research output: Contribution to journal › Article › peer-review
8 Scopus citations -
Sparql2flink: Evaluation of sparql queries on apache flink
Ceballos, O., Restrepo, C. A. R., Pabón, M. C., Castillo, A. M. & Corcho, O., 01 Aug 2021, In: Applied Sciences (Switzerland). 11, 15, 7033.Research output: Contribution to journal › Article › peer-review
5 Scopus citations -
2020
Ground confluence of order-sorted conditional specifications modulo axioms
Durán, F., Meseguer, J. & Rocha, C., Feb 2020, In: Journal of Logical and Algebraic Methods in Programming. 111, 100513.Research output: Contribution to journal › Article › peer-review
11 Scopus citations -
Spectral evolution with approximated eigenvalue trajectories for link prediction
Romero, M., Finke, J., Rocha, C. & Tobón, L., 01 Dec 2020, In: Social Network Analysis and Mining. 10, 1, 60.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
2019
A rewriting logic approach to resource allocation analysis in business process models
Durán, F., Rocha, C. & Salaün, G., 01 Sep 2019, In: Science of Computer Programming. 183, 102303.Research output: Contribution to journal › Article › peer-review
16 Scopus citations -
Estimating formation mechanisms and degree distributions in mixed attachment networks
Medina, J. A., Finke, J. & Rocha, C., 01 Feb 2019, In: Journal of Physics A: Mathematical and Theoretical. 52, 9, 095001.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Symbolic state space reduction with guarded terms for rewriting modulo SMT
Bae, K. & Rocha, C., 01 Jun 2019, In: Science of Computer Programming. 178, p. 20-42 23 p.Research output: Contribution to journal › Article › peer-review
15 Scopus citations -
2018
Characterizing right inverses for spatial constraint systems with applications to modal logic
Guzmán, M., Perchy, S., Rueda, C. & Valencia, F. D., 05 Oct 2018, In: Theoretical Computer Science. 744, p. 56-77 22 p.Research output: Contribution to journal › Article › peer-review
5 Scopus citations -
Stochastic analysis of BPMN with time in rewriting logic
Durán, F., Rocha, C. & Salaün, G., 15 Dec 2018, In: Science of Computer Programming. 168, p. 1-17 17 p.Research output: Contribution to journal › Article › peer-review
24 Scopus citations -
2017
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
Guzman, M., Haar, S., Perchy, S., Rueda, C. & Valencia, F. D., 01 Jan 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 107-133 27 p.Research output: Contribution to journal › Article › peer-review
15 Scopus citations -
Observational and behavioural equivalences for soft concurrent constraint programming
Gadducci, F., Santini, F., Pino, L. F. & Valencia, F. D., Nov 2017, In: Journal of Logical and Algebraic Methods in Programming. 92, p. 45-63 19 p.Research output: Contribution to journal › Article › peer-review
8 Scopus citations -
Rewriting modulo SMT and open system analysis
Rocha, C., Meseguer, J. & Muñoz, C., 01 Jan 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 269-297 29 p.Research output: Contribution to journal › Article › peer-review
49 Scopus citations -
2016
Double-spend Attack Models with Time Advantange for Bitcoin
Pinzón, C. & Rocha, C., 09 Dec 2016, In: Electronic Notes in Theoretical Computer Science. 329, p. 79-103 25 p.Research output: Contribution to journal › Article › peer-review
80 Scopus citations -
2001
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
Rueda, C., Alvarez, G., Quesada, L. O., Tamura, G., Valencia, F., Díaz, J. F. & Assayag, G., Jan 2001, In: Constraints. 6, 1, p. 21-52 32 p.Research output: Contribution to journal › Article › peer-review
10 Scopus citations