Publicacións nas que colabora con María Poza López de Echazarreta (4)

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. Verifying an algorithm computing Discrete Vector Fields for digital imaging

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

2011

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

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