Jónathan Heras
Cited by
Cited by
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
Machine learning in proof general: Interfacing interfaces
E Komendantskaya, J Heras, G Grov
arXiv preprint arXiv:1212.3618, 2012
Applications of deep learning techniques for automated multiple sclerosis detection using magnetic resonance imaging: A review
A Shoeibi, M Khodatars, M Jafari, P Moridian, M Rezaei, R Alizadehsani, ...
Computers in Biology and Medicine 136, 104697, 2021
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
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
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
CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks
Á Casado-García, C Domínguez, M García-Domínguez, J Heras, A Inés, ...
BMC bioinformatics 20 (1), 1-14, 2019
Ensemble methods for object detection
Á Casado-García, J Heras
ECAI 2020, 2688-2695, 2020
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
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
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
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
Automatic diagnosis of schizophrenia in EEG signals using CNN-LSTM models
A Shoeibi, D Sadeghi, P Moridian, N Ghassemi, J Heras, R Alizadehsani, ...
Frontiers in Neuroinformatics 15, 2021
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
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
Defining and computing persistent Z-homology in the general case
A Romero, J Heras, J Rubio, F Sergeraert
arXiv preprint arXiv:1403.7086, 2014
Recycling proof patterns in Coq: Case studies
J Heras, E Komendantskaya
Mathematics in Computer Science 8 (1), 99-116, 2014
Biomedical image classification made easier thanks to transfer and semi-supervised learning
A Inés, C Domínguez, J Heras, E Mata, V Pascual
Computer methods and programs in biomedicine 198, 105782, 2021
LabelStoma: A tool for stomata detection based on the YOLO algorithm
A Casado-García, A del-Canto, A Sanz-Saez, U Pérez-López, ...
Computers and Electronics in Agriculture 178, 105751, 2020
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
The system can't perform the operation now. Try again later.
Articles 1–20