Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion. - Miguel Romero 005; Camilo Rocha (NFM, 2018)

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. - Sergio Ramírez; Miguel Romero 005; Camilo Rocha; Frank Valencia (WRLA@ETAPS, 2018)

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion. - Miguel Romero 005; Camilo Rocha (CoRR, 2018)

In-silico Gene Annotation Prediction Using the Co-expression Network Structure. - Miguel Romero 005; Jorge Finke; Mauricio A. Quimbaya; Camilo Rocha (COMPLEX NETWORKS (2), 2019)

Spectral Evolution of Twitter Mention Networks. - Miguel Romero 005; Camilo Rocha; Jorge Finke (COMPLEX NETWORKS (1), 2019)

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. - Miguel Romero 005; Sergio Ramírez; Camilo Rocha; Frank Valencia (CoRR, 2019)

Spectral evolution with approximated eigenvalue trajectories for link prediction. - Miguel Romero 005; Jorge Finke; Camilo Rocha; Luis E. Tobón (Soc. Netw. Anal. Min., 2020)

Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks. - Miguel Romero 005; Oscar Ramirez; Jorge Finke; Camilo Rocha (COMPLEX NETWORKS, 2021)

A Network-based Approach for Inferring Thresholds in Co-expression Networks. - Nicolás López-Rozo; Miguel Romero 005; Jorge Finke; Camilo Rocha (COMPLEX NETWORKS (1), 2022)

A top-down supervised learning approach to hierarchical multi-label classification in networks. - Miguel Romero 005; Jorge Finke; Camilo Rocha (Appl. Netw. Sci., 2022)

Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification. - Miguel Romero 005; Oscar Ramírez; Jorge Finke; Camilo Rocha (Appl. Netw. Sci., 2022)

Feature extraction using Spectral Clustering for Gene Function Prediction. - Miguel Romero 005; Oscar Ramírez; Jorge Finke; Camilo Rocha (CoRR, 2022)

Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification. - Miguel Romero 005; Felipe Kenji Nakano; Jorge Finke; Camilo Rocha; Celine Vens (CoRR, 2022)

Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification. - Miguel Romero 005; Felipe Kenji Nakano; Jorge Finke; Camilo Rocha; Celine Vens (Comput. Biol. Medicine, 2023)

Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome. - Nicolás López-Rozo; Mauricio Ramirez-Castrillon; Miguel Romero 005; Jorge Finke; Camilo Rocha (Data, 2023)