Jónathan Heras
TitleCited byYear
GelJ–a tool for analyzing DNA fingerprint gel images
J Heras, C Domínguez, E Mata, V Pascual, C Lozano, C Torres, ...
BMC bioinformatics 16 (1), 270, 2015
692015
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
362012
Proof-pattern recognition and lemma discovery in ACL2
J Heras, E Komendantskaya, M Johansson, E Maclean
International Conference on Logic for Programming Artificial Intelligence …, 2013
322013
Computing persistent homology within Coq/SSReflect
J Heras, T Coquand, A Mörtberg, V Siles
ACM Transactions on Computational Logic (TOCL) 14 (4), 26, 2013
222013
Towards a certified computation of homology groups for digital images
J Heras, M Dénès, G Mata, A Mörtberg, M Poza, V Siles
Computational Topology in Image Context, 49-57, 2012
222012
Spiral and project-based learning with peer assessment in a computer science project management course
A Jaime, JM Blanco, C Domínguez, A Sánchez, J Heras, I Usandizaga
Journal of Science Education and Technology 25 (3), 439-449, 2016
152016
Proving with ACL2 the correctness of simplicial sets in the Kenzo system
J Heras, V Pascual, J Rubio
International Symposium on Logic-Based Program Synthesis and Transformation …, 2010
152010
fKenzo: A user interface for computations in Algebraic Topology
J Heras, V Pascual, J Rubio, F Sergeraert
Journal of Symbolic Computation 46 (6), 685-698, 2011
142011
A survey of tools for analysing DNA fingerprints
J Heras, C Domínguez, E Mata, V Pascual, C Lozano, C Torres, ...
Briefings in bioinformatics 17 (6), 903-911, 2015
122015
Recycling proof patterns in Coq: Case studies
J Heras, E Komendantskaya
Mathematics in Computer Science 8 (1), 99-116, 2014
122014
Incidence simplicial matrices formalized in Coq/SSReflect
J Heras, M Poza, M Dénès, L Rideau
International Conference on Intelligent Computer Mathematics, 30-44, 2011
122011
A comparative analysis of the consistency and difference among online self-, peer-, external-and instructor-assessments: The competitive effect
C Domínguez, A Jaime, A Sánchez, JM Blanco, J Heras
Computers in Human Behavior 60, 112-120, 2016
112016
Verifying an algorithm computing Discrete Vector Fields for digital imaging
J Heras, M Poza, J Rubio
International Conference on Intelligent Computer Mathematics, 216-230, 2012
112012
Mediated Access to Symbolic Computation Systems
J Heras, V Pascual, J Rubio
International Conference on Intelligent Computer Mathematics, 446-461, 2008
112008
Defining and computing persistent Z-homology in the general case
A Romero, J Heras, J Rubio, F Sergeraert
arXiv preprint arXiv:1403.7086, 2014
102014
ML4PG in computer algebra verification
J Heras, E Komendantskaya
International Conference on Intelligent Computer Mathematics, 354-358, 2013
102013
IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine
C Domínguez, J Heras, V Pascual
Computers in biology and medicine 84, 189-194, 2017
92017
Verifying a plaftorm for digital imaging: a multi-tool strategy
J Heras, G Mata, A Romero, J Rubio, R Sáenz
International Conference on Intelligent Computer Mathematics, 66-81, 2013
92013
Using open mathematical documents to interface computer algebra and proof assistant systems
J Heras, V Pascual, J Rubio
International Conference on Intelligent Computer Mathematics, 467-473, 2009
92009
A certified reduction strategy for homological image processing
M Poza, C Domínguez, J Heras, J Rubio
ACM Transactions on Computational Logic (TOCL) 15 (3), 23, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20