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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2014

A Certified Reduction Strategy for Homological Image Processing.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

2012

Towards a Certified Computation of Homology Groups for Digital Images.

[BibT_eX]

[DOI]

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

Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

María Poza

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...