Publicaciones (129) Publicaciones en las que ha participado algún/a investigador/a

2023

  1. Effective spectral systems relating Serre and Eilenberg–Moore spectral sequences

    Journal of Symbolic Computation, Vol. 114, pp. 122-148

  2. Evasiveness Through Binary Decision Diagrams

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Improving Accessibility in PublicWeb Pages

    CEUR Workshop Proceedings

  4. La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera

    Procesamiento del lenguaje natural, Núm. 71, pp. 29-38

  5. Virtue Ethics and software development: debates and proposals

    2023 Forum on Philosophy, Engineering &Technology (fPET 2023). Abstracts book

2021

  1. Constructing new spectral systems from simplicial fibrations

    ACM Communications in Computer Algebra, Vol. 55, Núm. 3, pp. 87-91

2020

  1. A new kenzo module for computing the eilenberg-moore spectral sequence

    ACM Communications in Computer Algebra, Vol. 54, Núm. 2, pp. 57-60

2019

  1. An implementation of effective homotopy of fibrations

    Journal of Symbolic Computation, Vol. 94, pp. 149-172

  2. Automated Neuron Detection in High-Content Fluorescence Microscopy Images Using Machine Learning

    Neuroinformatics, Vol. 17, Núm. 2, pp. 253-269

2018

  1. A Systematic Review of Provenance Systems

    Knowledge and Information Systems

2017

  1. SynapcountJ: A validated tool for analyzing synaptic densities in neurons

    Communications in Computer and Information Science, Vol. 690, pp. 41-55

  2. Using abstract stobjs in ACL2 to compute matrix normal forms

    Lecture Notes in Computer Science, Vol. 10499 LNCS, pp. 354-370

2016

  1. Applications of Computational Algebraic Topology

    Boletín de matemáticas, Vol. 23, Núm. 2, pp. 137-142

  2. Automatic detection of neurons in high-content microscope images using machine learning approaches

    Proceedings - International Symposium on Biomedical Imaging

  3. Effective homology of filtered digital images

    Pattern Recognition Letters

  4. SynapCountJ: A tool for analyzing synaptic densities in neurons

    BIOIMAGING 2016 - 3rd International Conference on Bioimaging, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016, pp. 25-31

  5. Towards a verifiable Topology of Data

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

2015

  1. Zigzag persistent homology for processing neuronal images

    Pattern Recognition Letters, Vol. 62, pp. 55-60