45 citations · 72 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 3 cited
A certified reduction strategy for homological image processing
María Poza, César Domínguez, Jónathan Heras +1
The analysis of digital images using homological procedures is an outstanding topic in the area of Computational Algebraic Topology. In this paper, we describe a certified reductio…
cs.SE2013★ 2 cited
Verifying a platform for digital imaging: a multi-tool strategy
Jónathan Heras, Gadea Mata, Ana Romero +2
Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images. In particular, in our research - made together with a biologists team…