María Poza

According to our database, María Poza authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

A Certified Reduction Strategy for Homological Image Processing.

María Poza, César Domínguez, Jónathan Heras, Julio Rubio

ACM Trans. Comput. Log., 2014

2012

Towards a Certified Computation of Homology Groups for Digital Images.

Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles

Proceedings of the Computational Topology in Image Context - 4th International Workshop, 2012

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

Jónathan Heras, María Poza, Julio Rubio

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Incidence Simplicial Matrices Formalized in Coq/SSReflect.

Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011