| 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 | 191 | 2015 |
| Machine learning in proof general: Interfacing interfaces E Komendantskaya, J Heras, G Grov arXiv preprint arXiv:1212.3618, 2012 | 58 | 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 | 50 | 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 | 50 | 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 | 47 | 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 | 41 | 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 | 36 | 2019 |
| Ensemble methods for object detection Á Casado-García, J Heras ECAI 2020, 2688-2695, 2020 | 33 | 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 | 25 | 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 | 24 | 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 | 23 | 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 | 23 | 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 | 19 | 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 | 18 | 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 | 18 | 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 | 16 | 2014 |
| Recycling proof patterns in Coq: Case studies J Heras, E Komendantskaya Mathematics in Computer Science 8 (1), 99-116, 2014 | 16 | 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 | 15 | 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 | 15 | 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 | 15 | 2010 |
César DomínguezUniversidad de La RiojaVerified email at unirioja.es
