205 citations · 525 across the 28 of their papers we have counts for
Showing 2013 · cs.SEShow all
2 papers · 2 filters
cs.SE2013★ 1 cited
Statistical Proof Pattern Recognition: Automated or Interactive?
Jónathan Heras, Ekaterina Komendantskaya
In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.
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…