Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA)

Producción

Producción por año 2001 2017 2018 2019 2020 2022 2023 2024

• 34 Contribución a la conferencia
• 28 Artículo
• 8 Editorial
• 2 Capítulo
• 1 Ver más
  • 1 Comentario/Debate

Producción por año

Producción por año

Resultados de la búsqueda

• 2024

  Business processes resource management using rewriting logic and deep-learning-based predictive monitoring

  Durán, F., Pozas, N. & Rocha, C., ene. 2024, En: Journal of Logical and Algebraic Methods in Programming. 136, 100928.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  • Deep Learning Model 100%

• Methylomes as key features for predicting recombination in some plant species

  Peñuela, M., Finke, J. & Rocha, C., abr. 2024, En: Plant Molecular Biology. 114, 2, 25.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Methylome 100%
  • Plant 100%
  • Species 100%
  • Methylation 50%
  • Learning 50%

• On the incompatibility of accuracy and equal opportunity

  Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., may. 2024, En: Machine Learning. 113, 5, p. 2405-2434 30 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Equal Opportunity 100%
  • Differential Privacy 16%
  1 Cita (Scopus)
• 2023

  A FORMAL MODEL FOR POLARIZATION UNDER CONFIRMATION BIAS IN SOCIAL NETWORKS

  Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2023, En: Logical Methods in Computer Science. 19, 1, p. 18:1-18:38

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Models 100%
  • Social Networks 100%
  • Social Network 100%
  • Graph 50%
  • Standards 33%

• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

  Olarte, C., Pimentel, E. & Rocha, C., ene. 2023, En: Journal of Logical and Algebraic Methods in Programming. 130, 100827.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Logical Framework 100%
  • Specification Language 100%
  • Intuitionistic System 100%
  • Decision Procedure 100%
  • Theorem Proving 100%
  1 Cita (Scopus)

• 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., ene. 2023, En: Data. 8, 1, 1.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Graph Matching 100%
  • Generation Network 100%
  • Uniqueness 100%
  • Identifier 100%

• Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification

  Romero, M., Nakano, F. K., Finke, J., Rocha, C. & Vens, C., ene. 2023, En: Computers in Biology and Medicine. 152, 106423.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  • Class Hierarchy 100%
  • Sequencings 25%
  1 Cita (Scopus)

• 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, En: PLoS ONE. 18, 2 February, e0281804.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Meiotic Recombination 100%
  • Recombinant Inbred Strain 100%

• Session-based concurrency in Maude: Executable semantics and type checking

  Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., jun. 2023, En: Journal of Logical and Algebraic Methods in Programming. 133, 100872.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Process Specification 100%
• 2022

  A top-down supervised learning approach to hierarchical multi-label classification in networks

  Romero, M., Finke, J. & Rocha, C., dic. 2022, En: Applied Network Science. 7, 1, 8.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Networks 100%
  • Classification 100%
  • Supervised Learning 100%
  • Learning Approach 100%
  • Models 60%
  11 Citas (Scopus)

• Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification

  Romero, M., Ramírez, O., Finke, J. & Rocha, C., dic. 2022, En: Applied Network Science. 7, 1, 28.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Classification 100%
  • Annotation 100%
  • Spectral Clustering 100%
  • Prediction Function 100%
  • Feature Extraction 100%
  1 Cita (Scopus)

• 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, En: International Journal of Molecular Sciences. 23, 20, 12505.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Cytosine 100%
  • Plant Development 25%
  • DNA Recombination 25%
  • Transposon Silencing 25%
  • Genetic Recombination 25%
  2 Citas (Scopus)

• 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, En: Frontiers in Plant Science. 13, 20 p., 992663.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Tissue Characterization 100%
  • Germplasm 100%
  • Epigenome 100%
  • Technological Solution 100%
  • Structure Function 100%
  4 Citas (Scopus)
• 2021

  Identifying stress responsive genes using overlapping communities in co-expression networks

  Riccio-Rengifo, C., Finke, J. & Rocha, C., dic. 2021, En: BMC Bioinformatics. 22, 1, 541.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Treatment Condition 100%
  • Genotype 100%
  • Regulatory System 100%
  • Control Condition 100%
  5 Citas (Scopus)

• Reasoning about distributed information with infinitely many agents

  Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., jun. 2021, En: Journal of Logical and Algebraic Methods in Programming. 121, 100674.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Greatest Lower Bound 100%
  • Powerset 100%
  • Mathematical Morphology 100%
  • Semantic Structure 100%

• Resource provisioning strategies for BPMN processes: Specification and analysis using Maude

  Durán, F., Rocha, C. & Salaün, G., nov. 2021, En: Journal of Logical and Algebraic Methods in Programming. 123, 100711.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Resource Provisioning 100%
  • Operational Cost 50%
  • Workload 50%
  • Execution Resource 50%
  • Dynamic Provisioning 50%
  6 Citas (Scopus)
• 2020

  Ground confluence of order-sorted conditional specifications modulo axioms

  Durán, F., Meseguer, J. & Rocha, C., feb. 2020, En: Journal of Logical and Algebraic Methods in Programming. 111, 100513.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Conditional Equation 100%
  9 Citas (Scopus)

• Spectral evolution with approximated eigenvalue trajectories for link prediction

  Romero, M., Finke, J., Rocha, C. & Tobón, L., 01 dic. 2020, En: Social Network Analysis and Mining. 10, 1, 60.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Rayleigh Quotient 100%
  1 Cita (Scopus)
• 2019

  A rewriting logic approach to resource allocation analysis in business process models

  Durán, F., Rocha, C. & Salaün, G., 01 sep. 2019, En: Science of Computer Programming. 183, 102303.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Business Process Model 100%
  12 Citas (Scopus)

• Estimating formation mechanisms and degree distributions in mixed attachment networks

  Medina, J. A., Finke, J. & Rocha, C., 01 feb. 2019, En: Journal of Physics A: Mathematical and Theoretical. 52, 9, 095001.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Estimating 100%
  • Expectation-Maximization Algorithm 60%
  • Likelihood Function 60%
  • Likelihood Analysis 40%
  • Linkage 20%
  1 Cita (Scopus)

• Symbolic state space reduction with guarded terms for rewriting modulo SMT

  Bae, K. & Rocha, C., 01 jun. 2019, En: Science of Computer Programming. 178, p. 20-42 23 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • State Space 100%
  • Models 33%
  • Case Study 33%
  • Model Checking 33%
  • Computation 33%
  12 Citas (Scopus)
• 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, En: Theoretical Computer Science. 744, p. 56-77 22 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • System Constraint 100%
  • Modal Language 66%
  • Taxonomies 33%
  • Temporal Logic 33%
  • Sufficient Condition 33%
  4 Citas (Scopus)

• Stochastic analysis of BPMN with time in rewriting logic

  Durán, F., Rocha, C. & Salaün, G., 15 dic. 2018, En: Science of Computer Programming. 168, p. 1-17 17 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Stochastic Analysis 100%
  • Assertion 50%
  21 Citas (Scopus)
• 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 ene. 2017, En: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 107-133 27 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Knowledge Belief 100%
  12 Citas (Scopus)

• Observational and behavioural equivalences for soft concurrent constraint programming

  Gadducci, F., Santini, F., Pino, L. F. & Valencia, F. D., nov. 2017, En: Journal of Logical and Algebraic Methods in Programming. 92, p. 45-63 19 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Semantics 100%
  • Constraint Programming 100%
  • Standards 33%
  • System Constraint 33%
  • Axiomatization 33%
  8 Citas (Scopus)

• Rewriting modulo SMT and open system analysis

  Rocha, C., Meseguer, J. & Muñoz, C., 01 ene. 2017, En: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 269-297 29 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • System Analysis 100%
  • Open System 100%
  • Nondeterminism 66%
  • Models 33%
  • Standards 33%
  44 Citas (Scopus)
• 2016

  Double-spend Attack Models with Time Advantange for Bitcoin

  Pinzón, C. & Rocha, C., 09 dic. 2016, En: Electronic Notes in Theoretical Computer Science. 329, p. 79-103 25 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  Acceso abierto

  • Attack Model 100%
  • Bitcoin 100%
  • Attack 50%
  • Attackers 50%
  • Digital Currency 50%
  74 Citas (Scopus)
• 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., ene. 2001, En: Constraints. 6, 1, p. 21-52 32 p.

  Producción: Contribución a una revista › Artículo › revisión exhaustiva

  • Visual Language 100%
  • Constraint Store 25%
  10 Citas (Scopus)