Publicaciones en las que colabora con Ana Romero Ibáñez (26)

2023

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

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

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

2017

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

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

2016

  1. Effective homology of filtered digital images

    Pattern Recognition Letters

  2. 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

2015

  1. El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática

    El punto de vista del alumno sobre los ECTS como herramienta para la coordinación del Grado en Ingeniería Informática

  2. Zigzag persistent homology for processing neuronal images

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

2014

  1. Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Zubía, Núm. 26, pp. 19-37

  2. Procesamiento topo-geométrico de imágenes neuronales

    Gaceta de la Real Sociedad Matematica Española, Vol. 17, Núm. 1, pp. 109-128

  3. Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática

    Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática

  4. Zigzag homology for biomedical image processing

    Encuentros de Algebra Computacional y aplicaciones: Barcelona 2014

2013

  1. Homotopy groups of suspended classifying spaces: An experimental approach

    Mathematics of Computation, Vol. 82, Núm. 284, pp. 2237-2244

  2. Spectral sequences for computing persistent homology of digital images

    Proceedings Applications of Computer Algebra ACA 2013

  3. Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

    Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática

  4. Verifying a plaftorm for digital imaging: A multi-tool strategy

    Lecture Notes in Computer Science, Vol. 7961 LNAI, pp. 66-81

2012

  1. Computing the homology of groups: The geometric way

    Journal of Symbolic Computation, Vol. 47, Núm. 7, pp. 752-770

2010

  1. Contribuciones científicas en honor de Mirian Andrés Gómez

    Universidad de La Rioja

  2. Integrating multiple sources to answer questions in Algebraic Topology

    Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 331-335