María Poza

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Digital Image Processing

Adobe Photoshop

Black And White

Top Venues

AISC/MKM/Calculemus

ACM Trans. Comput. Log.

Publications

María Poza, César Domínguez, Jónathan Heras, Julio Rubio
A Certified Reduction Strategy for Homological Image Processing. ACM Trans. Comput. Log. 15 (3) (2014)
María Poza, César Domínguez, Jónathan Heras, Julio Rubio
A certified reduction strategy for homological image processing. CoRR (2013)
Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles
Towards a Certified Computation of Homology Groups for Digital Images. CTIC (2012)
Jónathan Heras, María Poza, Julio Rubio
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus (2012)
Jónathan Heras, María Poza, Julio Rubio
Verifying an algorithm computing Discrete Vector Fields for digital imaging CoRR (2012)
Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau
Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM (2011)