Publicaciones en las que colabora con Julio Rubio García (28)

2023

  1. Evaluación y mejora del Kit en Tecnologías Informáticas

    Evaluación y mejora del Kit en Tecnologías Informáticas

  2. Improving Accessibility in PublicWeb Pages

    CEUR Workshop Proceedings

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

2022

  1. Curso 0 en Tecnologías Informáticas

    Curso 0 en Tecnologías Informáticas

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

2014

  1. A certified reduction strategy for homological image processing

    ACM Transactions on Computational Logic, Vol. 15, Núm. 3, pp. 23

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

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

  3. Obtaining an ACL2 specification from an Isabelle/HOL theory

    Lecture Notes in Computer Science, Vol. 8884, pp. 49-63

  4. Obtaining an ACL2 sprecification from an Isabelle/HOL theory

    Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63

  5. 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. A Certified Module to Study Digital Images with the Kenzo System

    Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 (SPRINGER-VERLAG), pp. 113-120

  2. Symbolic manipulation and biomedical images

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

  3. Verifying an algorithm computing Discrete Vector Fields for digital imaging

    Lecture Notes in Computer Science, Proceedings CICM 2012, pp. 216-230

2011

  1. A System for Computing and Reasoning in Algebraic Topology

    Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 295-297

  2. Mathematical Knowledge Management in Algebraic Topology

    Communications in Computer Algebra (SIGSAM Bulletin), Vol. 45, Núm. 176, pp. 144-145

  3. On automation and certification of a homological method to process biomedical digital images

    IMAGE-A, Vol. 2, Núm. 4, pp. 29-31