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
832015
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
412012
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
342013
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
212016
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
162011
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
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
142016
Recycling proof patterns in Coq: Case studies
J Heras, E Komendantskaya
Mathematics in Computer Science 8 (1), 99-116, 2014
142014
ML4PG in computer algebra verification
J Heras, E Komendantskaya
International Conference on Intelligent Computer Mathematics, 354-358, 2013
132013
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
122017
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
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
Antibiogramj: A tool for analysing images from disk diffusion tests
CA Alonso, C Domínguez, J Heras, E Mata, V Pascual, C Torres, ...
Computer methods and programs in biomedicine 143, 159-169, 2017
112017
Defining and computing persistent Z-homology in the general case
A Romero, J Heras, J Rubio, F Sergeraert
arXiv preprint arXiv:1403.7086, 2014
112014
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
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
92014
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
The system can't perform the operation now. Try again later.
Articles 1–20