Jónathan Heras
Title
Cited by
Cited by
Year
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), 1-8, 2015
1102015
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
452012
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
422013
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
252016
Computing persistent homology within Coq/SSReflect
J Heras, T Coquand, A Mörtberg, V Siles
ACM Transactions on Computational Logic (TOCL) 14 (4), 1-16, 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
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
192016
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
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, 2016
152016
ML4PG in computer algebra verification
J Heras, E Komendantskaya
International Conference on Intelligent Computer Mathematics, 354-358, 2013
152013
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
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
142017
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
142017
Defining and computing persistent Z-homology in the general case
A Romero, J Heras, J Rubio, F Sergeraert
arXiv preprint arXiv:1403.7086, 2014
132014
Recycling proof patterns in Coq: Case studies
J Heras, E Komendantskaya
Mathematics in Computer Science 8 (1), 99-116, 2014
132014
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
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), 1-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