Research output per year
Research output per year
- 1 - 50 out of 69 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 Network-based Approach for Inferring Thresholds in Co-expression Networks
López-Rozo, N., Romero, M., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 265-276 12 p. (Studies in Computational Intelligence; vol. 1077 SCI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
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 -
Building Differential Co-expression Networks with Variable Selection and Regularization
Riccio, C., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-288 12 p. (Studies in Computational Intelligence; vol. 1077 SCI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 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
4 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
-
Statistical Model Checking for P
Durán, F., Pozas, N., Ramírez, C. & Rocha, C., 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-56 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14290 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions
López-Rozo, N., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 322-334 13 p. (Studies in Computational Intelligence; vol. 1077 SCI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 -
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic
Durán, F., Martínez, D. & Rocha, C., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 113-129 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
Corrigendum: The ÓMICAS alliance, an international research program on multi-omics for crop breeding optimization, (Front. Plant Sci, (2022), 13, (992663), 10.3389/fpls.2022.992663)
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., 20 Dec 2022, In: Frontiers in Plant Science. 13, 1104501.Research output: Contribution to journal › Comment/debate
3 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
4 Scopus citations -
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Durán, F., Falcone, Y., Rocha, C., Salaün, G. & Zuo, A., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 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
3 Scopus citations -
On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints
Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 30 Jun 2022, AAAI-22 Technical Tracks 7. Association for the Advancement of Artificial Intelligence, p. 7993-8000 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Scopus citations -
Preface
Alpuente, M., Porto, S. A., Aoto, T., Rincón, M. A., Bonelli, E., Contejean, E., de Paiva, V., Finger, M., Forster, Y., del Carmen González Huesca, L., Haeusler, E. H., Kop, C., Kutsia, T., Melgratti, H., Miquel, A., Morawska, B., Moscato, M., Muñoz, C., Nantes, D. & Olarte, C. & 13 others, , 08 Apr 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 357Research output: Contribution to journal › Editorial
-
Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks
Romero, M., Ramírez, Ó., Finke, J. & Rocha, C., 2022, Complex Networks and Their Applications X - Volume 2, Proceedings of the 10th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021. Benito, R. M., Cherifi, C., Cherifi, H., Moro, E., Rocha, L. M. & Sales-Pardo, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 652-663 12 p. (Studies in Computational Intelligence; vol. 1016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 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
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
9 Scopus citations -
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
Pinzón, C., Quintero, S., Ramírez, S. & Valencia, F., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 413-432 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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
9 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
Algorithmic analysis of blockchain efficiency with communication delay
Pinzón, C., Rocha, C. & Finke, J., 2020, Fundamental Approaches to Software Engineering- 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Wehrheim, H. & Cabot, J. (eds.). Springer, p. 400-419 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12076 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude
Durán, F., Rocha, C. & Salaün, G., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 38-56 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
Counting and Computing Join-Endomorphisms in Lattices
Quintero, S., Ramirez, S., Rueda, C. & Valencia, F., 2020, Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Proceedings. Fahrenberg, U., Jipsen, P. & Winter, M. (eds.). Springer, p. 253-269 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12062 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
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 -
In-silico Gene Annotation Prediction Using the Co-expression Network Structure
Romero, M., Finke, J., Quimbaya, M. & Rocha, C., 2020, Complex Networks and Their Applications VIII - Volume 2 Proceedings of the 8th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019. Cherifi, H., Gaito, S., Mendes, J. F., Moro, E. & Rocha, L. M. (eds.). Springer, p. 802-812 11 p. (Studies in Computational Intelligence; vol. 882 SCI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
Preface
Pohjola, J. Å. & Valencia, F., 27 Aug 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 322Research output: Contribution to journal › Editorial
-
Spectral Evolution of Twitter Mention Networks
Romero, M., Rocha, C. & Finke, J., 2020, Complex Networks and Their Applications VIII - Volume 1 Proceedings of the 8th International Conference on Complex Networks and Their Applications, COMPLEX NETWORKS 2019. Cherifi, H., Gaito, S., Mendes, J. F., Moro, E. & Rocha, L. M. (eds.). Springer, p. 532-542 11 p. (Studies in Computational Intelligence; vol. 881 SCI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 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 -
Verification of the IBOS Browser Security Properties in Reachability Logic
Skeirik, S., Meseguer, J. & Rocha, C., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 176-196 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
2019
Analysis of Resource Allocation of BPMN Processes
Durán, F., Rocha, C. & Salaün, G., 2019, Service-Oriented Computing - 17th International Conference, ICSOC 2019, Proceedings. Yangui, S., Drira, K., Bouassida Rodriguez, I. & Tari, Z. (eds.). Springer, p. 452-457 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11895 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7 Scopus citations -
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
17 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 -
Make Puzzles Great Again
Aristizabal, N., Pinzón, C., Rueda, C. & Valencia, F., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 442-459 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Preface
Alvim, M. S., Olarte, C., Chatzikokolakis, K. & Valencia, F., 2019, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11760 LNCS, p. vii-ixResearch output: Contribution to journal › Editorial
-
Preface to special issue: ICTAC 2015
Leucker, M., Pérez, J. A., Rueda, C. & Valencia, F. D., 01 Jan 2019, In: Mathematical Structures in Computer Science. 29, 1, p. 1-2 2 p.Research output: Contribution to journal › Editorial
-
Reasoning about distributed knowledge of groups with infinitely many agents
Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 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 -
Toward a Formal Model for Group Polarization in Social Networks
Alvim, M. S., Knight, S. & Valencia, F., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 419-441 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
6 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 -
Computing the parallelism degree of timed BPMN processes
Durán, F., Rocha, C. & Salaün, G., 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Salaün, G. & Ober, I. (eds.). Springer Verlag, p. 320-335 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11176 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations -
Proving ground confluence of equational specifications modulo axioms
Durán, F., Meseguer, J. & Rocha, C., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 184-204 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Proving structural properties of sequent systems in rewriting logic
Olarte, C., Pimentel, E. & Rocha, C., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 115-135 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Scopus citations -
Real-time rewriting logic semantics for spatial concurrent constraint programming
Ramírez, S., Romero, M., Rocha, C. & Valencia, F., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 226-244 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations