Publicaciones en las que colabora con María Poza López de Echazarreta (6)

2014

  1. A certified reduction strategy for homological image processing

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

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

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

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

2011

  1. Incidence Simplicial Matrices Formalized in Coq/SSReflect

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

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

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