Publicaciones en las que colabora con Gadea Mata Martínez (21)

2021

  1. Herramientas para la comunicación y gestión de prácticas en el Grado en Ingeniería Informática y en el Máster en Ciencia de Datos y Aprendizaje Automático

    Herramientas para la comunicación y gestión de prácticas en el Grado en Ingeniería Informática y en el Máster en Ciencia de Datos y Aprendizaje Automático

  2. SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation

    Computer Methods and Programs in Biomedicine, Vol. 200

2018

  1. Creación de un servidor de integración continua para gestión y corrección de entregas de prácticas

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 3

  2. Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

    Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática

2017

  1. Actualización docente de las asignaturas de programación en la Titulación Grado en Ingeniería Informática de la Universidad de La Rioja

    Actualización docente de las asignaturas de programación en la Titulación Grado en Ingeniería Informática de la Universidad de La Rioja

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

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

2016

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

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

2013

  1. Spectral sequences for computing persistent homology of digital images

    Proceedings Applications of Computer Algebra ACA 2013

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

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

2012

  1. Symbolic manipulation and biomedical images

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012

  2. Towards a certified computation of homology groups for digital images

    Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings (SPRINGER-VERLAG), pp. 49-57