Jónathan Heras

Jónathan Heras Vicente

Lecturer at the Department of Mathematics and Computer Science, University of La Rioja.

Member of the Grupo de Informática de la Universidad de La Rioja

Despacho 3210. CCT. Department of Mathematics and Computer Science. University of La Rioja.

Logroño. Spain. 26004.

phone: (+34) 941299455

mail: joheras at gmail.com

Publications
- Papers
- Conferences
- Posters
- Other Documents
- CV (pdf)
- Thesis
Projects
- DIGIBAC
- ML4PG
- CoALP
- ACL2(ml)
- Old Projects
Formalisations
- Coq
- ACL2
Programs
Teaching

Papers

External links: DBLP, Google Scholar, ResearchGate, Arxiv, Semantic Scholar.

2025

P. Ascorbe, M. S. Campos, C. Domínguez, J. Heras, M. Pérez (2025). A Chatbot for Providing Suicide Prevention Information in Spanish. Proceedings of the 15th International Workshop on Spoken Dialogue Systems Technology (IWSDS 2025).
P. Ascorbe, M. S. Campos, C. Domínguez, J. Heras, M. Pérez (2025). Validating a Chatbot for Suicide Prevention Information in Spanish. Proceedings of the Digital Mental Health & Wellbeing (DMHW 2025).
C. B. Marta, M. Doblaré, J. Heras, G. Mata, and T. Ramírez (2025). Anomaly Detection applied to the Classification of Cytology Images. Biomedical Signal Processing & Control 105:107625. DOI

2024

M. Boisseaux, D. Nemetschek, C. Baraloto, B. Burban, A. Casado-Garcia, J. Cazal, J. Clement, G. Derroire, C. Fortunel, J.-Y. Goret, J. Heras Vicente, G. Jaouen, I. Maréchaux, C. Scoffoni, G. Vieilledent, J. Vleminckx, S. Coste, H. Schimann, C. Stahl (2024). Shifting trait coordination along a soil-moisture-nutrient gradient in tropical forests. Functional Ecology.
A. Inés, C. Domínguez, J. Heras, G. Mata, and J. Rubio (2024). A Topological Approach for Semi-Supervised Learning. Journal of Computational Science 82, 102403. DOI
P. Ascorbe, M. S. Campos, C. Domínguez, J. Heras, M. Pérez, and A. R. Terroba-Reinares (2024). An Architecture Towards Building a Reliable Suicide Information Chatbot. In: Proceedings of the Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA’24). Lecture Notes in Artificial Intelligence 14640, pp. 29-39 DOI.
M. Villota, J. Ayensa-Jiménez, M. Doblaré, and J. Heras (2024). Image Processing and Deep Learning Methods for the Semantic Segmentation of Blastocyst Structures. In: Proceedings of the Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'24). Lecture Notes in Artificial Intelligence 14640, pp. 213-222 DOI.
M. García-Domínguez, J. Heras, R. Marani, and T. D'Orazio (2024). Multi-class and Multi-label Classification of an Assembly Task in Manufacturing. In: Proceedings of the Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'24). Lecture Notes in Artificial Intelligence 14640, pp. 204-212 DOI.
C. Domínguez, J. Heras, E. Mata, V. Pascual, I. García-Chamorro, and R. Macía-Núñez (2024). Breast Cancer Detection by Fusing Thermal Images and Clinical Features. In: Proceedings of the I Workshop de la Sociedad Española de Inteligencia Artificial en Biomedicina (IABiomed).
A. Inés, C. Domínguez, J. Heras, E. Mata, and V. Pascual (2024). Semi-supervised learning methods for Semantic Segmentation of Polyps. In: Proceedings of the Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'24). Lecture Notes in Artificial Intelligence 14640, pp. 162-172 DOI.
A. Casado-García, J. Heras, M. Ortega, and L. Ramos (2024). Deep Learning Models for Justified Referral in AI Glaucoma Screening. In: Proceedings of the 21st IEEE International Symposium on Biomedical Imaging (ISBI 2024).
A. Casado-García, J. Heras, R. Marani, and A. Milella (2024). Taking Advantage of Depth Information for Semantic Segmentation in Field-Measured Vineyards. In: Proceedings of the Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA'24). Lecture Notes in Artificial Intelligence 14640, pp. 1-8 DOI.
P. Ascorbe, M. S. Campos, C. Domı́nguez, J. Heras, M. Pérez, and A. R. Terroba-Reinares (2024). Automatic and Manual Evaluation of a Spanish Suicide Information Chatbot. Revista Procesamiento del Lenguaje Natural 73: 151--164. DOI
M. San Martı́n, S. G. Seibane, J. Heras, and G. Mata (2024). Is ASR the right tool for the construction of Spoken Corpus Linguistics in European Spanish? Revista Procesamiento del Lenguaje Natural 73: 165--176. DOI.
A. Del Canto Romero, A. Sanz-Saez, K. D. Health, M. A. Grillo, J. Heras, and M. Lacuesta. Conventional management has a greater negative impact on Phaseolus vulgaris L. rhizobia diversity and abundance than water scarcity. Frontiers in Plant Science 15. DOI 2024.
L. Campillos, A. R. Terroba, R. Bartolomé, A. Valverde-Mateos, C. González, A. Capllonch-Carrión and J. Heras. Replace, Paraphrase or Fine-tune? Evaluating Automatic Simplification for Medical Texts in Spanish. The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. 2024.
P. Ascorbe, M. S. Campos, C. Domínguez, J. Heras, M. Pérez, and A. R. Terroba-Reinares. Building Spanish Trustworthy Question-Answer Datasets for Suicide Information. 19th International Conference on Computer Aided Systems Theory (EUROCAST 2024). 2024.
J. Heras. Semi-Supervised Learning for Myopic Maculopathy. Myopic Maculopathy Analysis Challenge 2023 co-located with 26th International Conference on Medical Image Computing and Computer Assisted Intervention. MICCAI 2023, LNCS 14563, pp. 1–8. DOI 2024.

2023

P. Ascorbe, M. S. Campos, C. Domínguez, J. Heras and A. R. Terroba-Reinares. Towards a Retrieval Augmented Generation System for Information on Suicide Prevention. IEEE DataScience. 2023.
M. García-Domínguez, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Deep Style Transfer to Deal with the Domain Shift Problem on Spheroid Segmentation. Neurocomputing 569, number 127105. 2023. DOI
J. Heras. Two-stage Fine-Tuning for Automatic Identification of Sections in Clinical Documents. Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2023) co-located with the Conference of the Spanish Society for Natural Language Processing (SEPLN 2023). CEUR Workshop proceedings vol. 3496. 2023.
Coen de Vente, Koenraad A. Vermeer, Nicolas Jaccard, He Wang, Hongyi Sun, Firas Khader, Daniel Truhn, Temirgali Aimyshev, Yerkebulan Zhanibekuly, Tien-Dung Le, Adrian Galdran, Miguel Ángel González Ballester, Gustavo Carneiro, Devika R G, Hrishikesh P S, Densen Puthussery, Hong Liu, Zekang Yang, Satoshi Kondo, Satoshi Kasai, Edward Wang, Ashritha Durvasula, Jónathan Heras, Miguel Ángel Zapata, Teresa Araújo, Guilherme Aresta, Hrvoje Bogunović, Mustafa Arikan, Yeong Chan Lee, Hyun Bin Cho, Yoon Ho Choi, Abdul Qayyum, Imran Razzak, Bram van Ginneken, Hans G. Lemij, Clara I. Sánchez. AIROGS: Artificial Intelligence for RObust Glaucoma Screening Challenge. IEEE Transactions on Medical Imaging 43(1):542-557. DOI 2023.
A. Inés, A. Díaz-Pinto, C. Domı́nguez, J. Heras, E. Mata, and V. Pascual. Analysing Semi-Supervised Learning for Image Classification using Compact Networks in the BioMedical Context. Soft Computing.DOI. 2023.
N Ghassemia, A. Shoeibi, M. Khodatars, J. Heras, A. Rahimi, A. Zare, Y.-D. Zhang, R. B. Pachori, and J. M. Gorriz. Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning. Applied Soft Computing 144 (110511).DOI. 2023.
Hector Castro-Abril, Jónathan Heras, Jesús del Barrio, Laura Paz, Clara Alcaine, Marina Pérez Aliácar, Diego Garzón-Alvarado, Manuel Doblaré, and Ignacio Ochoa. The Role of Mechanical Properties and Structure of Type I Collagen Hydrogels on Colorectal Cancer Cell Migration. Macromolecular Bioscience. DOI. 2023.
P. Ascorbe, M. S. Campos, C. Domínguez, J. Heras, and A. R. Terroba-Reinares. prevenIA: a Chatbot for Information and Prevention of Suicide and other Mental Health Disorders. In: Proceedings of the Annual Conference of the Spanish Association for Natural Language Processing 2023: Projects and System Demonstrations (SEPLN-PD 2023) co-located with the International Conference of the Spanish Society for Natural Language Processing (SEPLN 2023). CEUR Workshop Proceedings 3516:26-30. 2023.
M. P. Agustín-Llach, J. Heras, G. Mata, and J. Rubio. La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera. In: Proceedings of the 39th Spanish Society for Natural Language Processing (SEPLN'23). Vol. 71. Revista Procesamiento del Lenguaje Natural 71:29-38. DOI. 2023.
C. Domínguez, J. Heras, F. Lanas, G. Mata, J. Rubio, and M. S. Martín. Improving Accessibility in Public Web Pages. In: Proceedings of the Annual Conference of the Spanish Association for Natural Language Processing 2023: Projects and System Demonstrations (SEPLN-PD 2023) co-located with the International Conference of the Spanish Society for Natural Language Processing (SEPLN 2023). CEUR Workshop Proceedings 3516:21-25. 2023.
A. Casado-García, C. Domínguez, J. Heras, E. Mata, V. Pascual, E. Carlos, M. Izco and L. Álvarez-Erviti. MicrogliaJ: an Automatic Tool for Microglial Cell Detection and Segmentation. In: Proceedings of the 11th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA’23). LNCS 14062, pp. 593-602. DOI. 2023.
M. Villota, J. Ayensa, M. Doblaré, and J. Heras. Segmentation of the blastocyst structures using Image Processing and Machine Learning tools. Seventeenth International Conference on Civil, Structural and Environmental Engineering Computing (Civil-Comp 2023).
Kerry Sun, Tark Patel, Sang-Gyun Kang, Allan Yarahmady, Mahalashmi Srinivasan, Olivier Julien, Jónathan Heras, Sue-Ann Mok. Disease associated mutations in tau encode for changes in aggregate structure conformation. ACS Chemical Neuroscience 14, 4282-4297. 2023.
A. Casado-García, J. Heras, R. Marani and A. Milella. Generalization of deep learning models to the semantic segmentation of natural images in vineyards. 13th European Conference on Precision Agriculture (ECPA 2023).
R. Escobedo, J. Heras, R. Marani and A. Milella. Data augmentation techniques for grape bunch segmentation in natural images. 13th European Conference on Precision Agriculture (ECPA 2023).
M. San Martín, J. Heras, and G. Mata. Automatic Generation of Subtitles for Videos of the Government of La Rioja. International Conference in Optimization and Learning (OLA2023) . Communications in Computer and Information Science 1824: 393-402. DOI
R. Escobedo and J. Heras. Mixing Data Augmentation Methods for Semantic Segmentation. International Conference in Optimization and Learning (OLA2023) . Communications in Computer and Information Science 1824: 129-136.DOI
Á. Casado-Garcı́a, M. G. Domı́nguez, A. I. Armas, J. Heras, D. Royo, and M. Ángel Zapata. Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset. In: Post-Proceedings of the 18th International Conference on Computer Aided Systems Theory (EUROCAST 2022). LNCS 13789, pp. 444-451. DOI
C. Domínguez, J. Heras, E. Mata, V. Pascual, L. Fernández-Cedrón, M. Martínez-Lanchares, J. Pellejero-Espinosa, A. Rubio-Loscertales and C. Tarragona-Perez. Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant. Journal of Universal Computer Science 29(5):419-431. 2023. DOI.
C. Domínguez, J. Heras, E. Mata, V. Pascual, D. Royo and M. A. Zapata. Binary and Multi-Class Automated Detection of Age-Related Macular Degeneration using Convolutional- and Transformer-based Architectures. Computer Methods and Programs in Biomedicine 229(107302). DOI. 2023.

2022

G. Santamaría, T. Cascudo, C. Domínguez, J. Heras, E. Mata, V. Pascual, and M. Villota. Digitalización del libro "La música en la Catedral de Santo Domingo de la Calzada". Zubía 40(13–30). 2022.
G. Cicirelli, R. Marani, L. Romeo, M. Garcı́a-Domı́nguez, J. Heras, A. G. Perri, and T. D’Orazio. The HA4M dataset: Multi-Modal Monitoring of an assembly task for Human Action recognition in Manufacturing. Scientific Data 9:745. DOI. 2022.
C. Romera Castillo, J. Heras, M. Álvarez, X. A. Álvarez Salgado, G. Mata, and E. S. de Cabezón. Application of multi-regression machine learning algorithms to solve ocean water mass mixing in the Atlantic Ocean. Frontiers in Marine Science. DOI. 2022.
J. Aransay, A. Casado-García, C. Domínguez, M. García-Domínguez, J. Heras, A. Inés, G. Mata and B. Pérez. GitHub y Google Colaboratory para el desarrollo, comunicación y gestión de prácticas en los laboratorios de informática. XXVIII Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2022). 2022.
M. Villota, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Text Classification Models for Form Entity Linking. 19th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2022). LNNS. Vol. 583, pp. 1-10. DOI2022.
G. Santamaría, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Combining image processing techniques, OCR, and OMR for the digitization of musical books. 15th IAPR International Workshop on Document Analysis Systems (DAS 2022). Vol. 13237. LNCS, pp.553-567. DOI. 2022.
M. Villota, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Text Classification Models for Form Entity Linking. 15th IAPR International Workshop on Document Analysis Systems (DAS 2022). 2022.
A. Casado-García, J. Heras, A. Milella and R. Marani. Semi-Supervised Deep Learning and Low-Cost Cameras for the Semantic Segmentation of Natural Images in Viticulture. Precision Agriculture. DOI. 2022.
A. Shoeibi, N. Ghassemi, M. Rezaei, J. M. Gorriz and J. Heras. Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using CycleGAN and Deep PreTrained Models. In: 9th International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC 2022). Vol. 13258. LNCS, pp. 145-155. DOI. 2022
Á. Casado-Garcı́a, M. G. Domı́nguez, A. I. Armas, J. Heras, D. Royo, and M. Ángel Zapata. Dealing with Highly Imbalance Data for Diagnosing Diabetic Retinopathy. In: Proceedings of the 18th International Conference on Computer Aided Systems Theory (EUROCAST 2022).
S. Arazuri, J. Heras, C. Jared, and A. López. Estudio de la heterogeneidad interna de patata por imagen Hiperespectral. In: Proceedings of the III Symposium Ibérico de Ingeniería Hortícola 2022 Smart Farming. 2022.
A. Casado-García, J. Heras, U. Pérez-López, J. Miranda-Apodaca, and A. Agirresarobe. Deep Detection Models for Measuring Epidermal Bladder Cells. In: Proceedings of the 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA’22). Vol. 13256. LNCS, pp. 131-142. DOI. 2022.

2021

A. Shoeibi, D. Sadeghi, P. Moridian, N. Ghassemi, J. Heras, R. Alizadehsani, A. Khadem, Y. Kong, S. Nahavandi, Y-D. Zhang and J. M. Gorriz. Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models. Frontiers in Neuroinformatics 15, 779777. DOI. 2021.
E. Paluzo-Hidalgo, R. Gonzalez-Diaz, M. A. Gutiérrez-Naranjo, and J. Heras. Optimizing the Simplicial-Map Neural Network Architecture. Journal of Imaging 7(9), 173. DOI.
M. Alonso, A. Casado-García, and J. Heras. Stomata segmentation using deep learning. In: 7th workshop on Computer Vision in Plant Phenotyping and Agriculture. 2021.
A. Shoeibi, M. Khodatars, M. Jafari, P. Moridian, M. Rezaei, R. Alizadehsani, F. Khozeimeh, J. Manuel Gorriz, J. Heras, M. Panahiazar, S. Nahavandi and U. R. Acharya. Applications of Deep Learning Techniques for Automated Multiple Sclerosis Detection Using Magnetic Resonance Imaging: A Review. Computers in Biology and Medicine 136, 104697.DOI. 2021.
A. Del-Canto, M. Grillo, K. D. Heath, A. Sanz-Saez, J. Heras, D. Marino, and M. Lacuesta. La diversidad genéticia de los rizobios se ve influenciada por la disponibilidad hídirica y el manejo agrícola. In: XXIX Jornadas Técnicas SEAE: Una salud, un planeta, un mundo rural diverso. 2021.
J. Heras. Deep Learning Projects from a Regional Council: An Experience Report. In: Teaching Machine Learning Workshop at ECML 2021. Proceedings of Machine Learning Research 170:15-19. 2021.
Á. Casado-García, G. Chichón, C. Domínguez, M. García-Domínguez, J. Heras, A. Inés, M. López, E. Mata, V. Pascual and Y. Sáenz. MotilityJ: An Open-Source Tool for the Classification and Segmentation of Bacteria on Motility Images. Computers in Biology and Medicine 136, 104673. DOI. 2021.
Á. Casado-Garcı́a and J. Heras (2021). LabelDetection: simplifying the use and construction of deep detection models. In: Proceedings of the XIX Conference of the Spanish Association for Artificial Intelligence (CAEPIA 20/21). Lecture Notes in Artificial Intelligence 12882:14-22. DOI
Á. Casado-Garcı́a, M. G. Domı́nguez, A. I. Armas, J. Heras, D. Royo, and M. Ángel Zapata (2021). Prediction of Epiretinal Membrane from Retinal Fundus Images using Deep Learning. In: Proceedings of the XIX Conference of the Spanish Association for Artificial Intelligence (CAEPIA 20/21). Lecture Notes in Artificial Intelligence 12882:3-13. DOI
M. Villota, G. Santamarı́a, C. Domı́nguez, J. Heras, E. Mata, and V. Pascual (2021). Towards Combining Object Detection and Text Classification Models for Form Entity Recognition. In: Proceedings of the XIX Conference of the Spanish Association for Artificial Intelligence (CAEPIA 20/21). Lecture Notes in Artificial Intelligence 12882:196-205. DOI.
M. Garcı́a, C. Domı́nguez, J. Heras, E. Mata, and V. Pascual (2021). Neural Style Transfer to deal with the Domain Shift Problem on Glioblastoma Segmentation. In: Proceedings of the XIX Conference of the Spanish Association for Artificial Intelligence (CAEPIA 20/21). II Workshop of Spanish A.I. Research Groups in Biomedicine.

J. Heras (2021). Proyectos de aprendizaje profundo usando datos regionales. In: Proceedings of the XXVII Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2021)
A. Inés Armas, C. Domı́nguez, J. Heras, E. Mata, and V. Pascual (2021). Towards Document Entity Recognition using Close Domain Transfer Learning. In: Proceedings of the XIX Conference of the Spanish Association for Artificial Intelligence (CAEPIA 20/21).

J. Heras, R. Marani and A. Milella. Semi-Supervised Semantic Segmentation for Grape Bunch Identification in Natural Images. 13th European Conference on Precision Agriculture (ECPA 2021).
M. García-Domínguez, C. Domínguez, J. Heras, E. Mata, and V. Pascual. UFOD: An AutoML Framework for the Construction, Comparison, and Combination of Object Detection Models. Pattern Recognition Letters. Vol. 145:135-140. 2021. DOI
E. Paluzo-Hidalgo, R. González-Díaz, M. A. Gutiérrez-Naranjo, and J. Heras. Simplicial-map neural networks robust to adversarial examples. Mathematics. Vol. 9(2):169. 2021. DOI
D. Lacalle, H. A. Castro-Abril, C. Domı́nguez, J. Heras, E. Mata, G. Mata, Y. Méndez, V. Pascual, I. Ochoa, and T. Randelovic. SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation.Computer Methods and Programs in Biomedicine. 2021, DOI.
A. Inés, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Biomedical image classification made easier thanks to transfer and semi-supervised learning. Computer Methods and Programs in Biomedicine. Vol. 198. 105782. 2021. DOI

2020

Á. Casado-Garcı́a, A. del Canto Romero, U. P.-L. A. Sanz-Saez, A. Bilbao-Kareaga, F. Fritschi, J. Miranda-Apodaca, A. Muñoz-Rueda, A. Sillero-Martı́nez, A. Yoldi-Achalandabaso, M. Lacuesta, and J. Heras. LabelStoma: A Tool for Stomata Detection based on the YOLO algorithm. Computers and Electronics in Agriculture. 2020. Vol. 178, 105751, DOI.
A. Casado-García, C. Domínguez, J. Heras, E. Mata, and V. Pascual. The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. 14th IAPR International Workshop on Document Analysis Systems (DAS 2020)Vol. 12116. LNCS, pp.199–215. 2020.DOI.
M. García-Domínguez, C. Domínguez, J. Heras, E. Mata, and V. Pascual. FrImCla: A Framework for Image Classification using Traditional and Transfer Learning Techniques. IEEE Access 8(1):53443-53455. 2020. DOI.
A. Casado-García and J. Heras. Ensemble Methods for Object Detection. To be presented in the 24th European Conference on Artificial Intelligence (ECAI2020). Vol. 325. Frontiers in Artificial Intelligence and Applications, pp. 2688-2695. DOI 2020.
A. Casado-García, J. Heras, and A. Sanz-Sáez. Google Colaboratory for Quantifying Stomata in Images. In Post-proceedings of the 17th International Conference on Computer Aided Systems Theory (EUROCAST2019). Vol. 12014. LNCS, pp.231–238. 2020. DOI

A. Inés, C. Domínguez, J. Heras, E. Mata, and V. Pascual. DeepCompareJ: Comparing Image Classification Models. In Post-Proceedings of the 17th International Conference on Computer Aided Systems Theory (EUROCAST2019). Vol. 12014. LNCS, pp.256–262. 2020. DOI
M. García-Domínguez, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Jupyter notebooks for symplifying transfer learning. In Post-Proceedings of the 17th International Conference on Computer Aided Systems Theory (EUROCAST2019). Vol. 12014. LNCS, pp.215–221. 2020. DOI
J. Aransay and J. Heras. Fin de un viaje infinito: integración continua para prácticas de programación. Actas XXVI Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2020).

2019

J. Aransay and J. Heras. Uso de herramientas y técnicas DevOps para la gestión y corrección de prácticas de programación. Actas XXV Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2019).
A. Casado-García, C. Domínguez, M. García-Domínguez, J. Heras, A. Inés, E. Mata, and V. Pascual. CLoDSA: A Tool for Augmentation in Classification, Localization, Detection, Semantic Segmentation and Instance Segmentation Tasks. BMC in Bioinformatics 20(323). 2019. DOI
A. M. Bigatti, E. Sáenz-de-Cabezón and J. Heras. Monomial resolutions for efficient computation of simplicial homology. Proceedings of the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019). 2019.
A. Inés, C. Domínguez, J. Heras, E. Mata, and V. Pascual. DeepClas4Bio: Connecting Bioimaging Tools with Deep Learning Frameworks for Image Classification. Computers in Biology and Medicine 108:49-56. 2019. DOI
M. Arredondo-Santoyo, C. Domínguez, J. Heras, E. Mata, V. Pascual, S. Vázquez-Garcidueñas, and G. Vázquez-Marrufo. Automatic Characterisation of Dye Decolorisation in Fungal Strains using Expert, Traditional, and Deep Features.Soft Computing 23(23):12799-12812. 2019. DOI
A. Carballal, C. Fernandez-Lozano, J. Heras, and J. Romero. Transfer learning features for predicting aesthetics through a novel hybrid machine learning method. To be published in Neural Computing and Applications. 2019. DOI
J. M. Blanco, C. Domínguez, A. Sánchez, A. Jaime, and J. Heras. Managing Telecollaboration among Engineering Students and Faculty: A Case Study from Two Spanish Universities. International Journal of Engineering Education 35(1A):1-13. 2019.
A. Inés, C. Domínguez, J. Heras, E. Mata, and V. Pascual. Towards Integrating ImageJ with deep biomedical models. Proceedings of the 15th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2018). AISC 801, pp.334-338. 2019. DOI.
M. García, C. Domínguez, J. Heras, E. Mata, and V. Pascual. An on-going framework for easily experimenting with deep learning models for bioimaging analysis. Proceedings of the 15th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2018). AISC 801, pp.330-333. 2019. DOI.

2018

A. Casado and J. Heras. Guiding the Creation of Deep Learning-based Object Detectors. Proceedings of the XVIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2018). 2018.
C. Domı́nguez, A. Jaime, F. J. García, and J. Heras. The effects of adding non-compulsory exercises to an online learning tool on student performance and code copying. To be published in ACM Transactions on Computing Education. 2018.
J. Aransay, F. J. García Izquierdo, J. Heras, A. Inés, and G. Mata. Creación de un servidor de integración continua para gestión y corrección de entregas de prácticas. Actas XXIV Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI 2018).
C. Domínguez, J. Heras, E. Mata, and V. Pascual. DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains. BMC in Bioinformatics 19:66. 2018. DOI.
C. Domı́nguez, J. López-Cuadrado, A. Armendariz, A. Jaime, J. Heras, and T. A. Pérez. Exploring the differences between low-stakes proctored and unproctored language testing using an Internet-based application. Computer Assisted Language Learning. 2018. DOI

2017

E. Komendantskaya and J. Heras. Proof Mining with Dependent Types. Proceedings of Conferences on Intelligent Computer Mathematics 2017 (Systems & Projects track). LNCS 10383, pp.303-318. 2017. DOI.
C. Domínguez, J. Heras, and V. Pascual. IJ-OpenCV: Combining ImageJ and OpenCV for Processing Images in Biomedicine. Computers in Biology and Medicine 84:189-194. 2017. DOI.
A. Alonso, C. Domínguez, J. Heras, E. Mata, V. Pascual, C. Torres, and M. Zarazaga. AntibiogramJ: a Tool for Analysing Images from Disk Diffusion Tests. Computer Methods and Programs in Biomedicine 143:159-169. 2017.DOI.
C. Domínguez, M. García, J. Heras, A. Inés, E. Mata, and V. Pascual. DetectionEvaluationJ: a tool for measuring the goodness of object detection algorithms. LNCS 10672, pp.273-280. 2017. Project webpage.
C. Domínguez, J. Heras, E. Mata, V. Pascual, S. Vázquez-Garcidueñas, and G. Vázquez-Marrufo. Extending GelJ for Interoperability: Filling the Gap in the Bioinformatics Resources for Population Genetics Analysis with Dominant Markers. Computer Methods and Programs in Biomedicine 140:69-76. 2017. DOI.
G. Mata, G. Cuesto, J. Heras, M. Morales, A. Romero, and J. Rubio. SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. Communications in Computer and Information Science 690:41-55.2017. DOI.

2016

C. Domínguez, J. Heras, E. Mata, and V. Pascual. WekaBioSimilarity --- extending Weka with resemblance measures. Proceedings of CAEPIA 2016, LNAI 9868, pp.89-98. 2016.
A. Jaime, A. Sánchez, C. Domínguez, J.J. Olarte, F.J. García, and J. Heras. El grupo de investigación en educación superior en informática de La Rioja y País Vasco: telecolaboración, PBL, valoración por pares y proyectos fin de carrera. ReVisión 9(2):17-26, 2016.
C. Domínguez, A. Jaime, A. Sánchez, J. M. Blanco, and J. Heras. A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: the competitive effect. Computers in Human Behavior 60:112-120, 2016. DOI.
A. Jaime, J. M. Blanco, C. Domínguez, A. Sánchez, J. Heras, and I. Usandizaga. Spiral and Project Based Learning with Peer-Assessment in a Computer Science Project Management Course. Journal of Science Education and Technology 25(3):439-449. 2016. DOI.
G. Mata, J. Heras, M. Morales, A. Romero, and J. Rubio. SynapCountJ --- a Tool for Analyzing Synaptic Densities in Neurons. Proceedings BioImaging 2016, pages 25-31. 2016.

2015

J. Heras, C. Domínguez, E. Mata, and V. Pascual. Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint Images. Briefings in Bioinformatics 17(6):912-925. 2015. DOI
J. Heras, C. Domínguez, E. Mata, V. Pascual, C. Lozano, C. Torres, and M. Zarazaga. GelJ -- a Tool for Analyzing DNA Fingerprint Gel Images. BMC Bioinformatics 16(270). 2015. DOI. Web page.
J. Heras, C. Domínguez, E. Mata, V. Pascual, C. Lozano, C. Torres, and M. Zarazaga. A Survey of Tools for Analysing DNA Fingerprints. Briefings in Bioinformatics 17(6):903-911. 2015. DOI.
J. Heras, F. J. Martín-Mateos, and V. Pascual. Modelling Algebraic Structures and Morphisms in ACL2. Applicable Algebra in Engineering, Communication and Computing, 26(3):277-303, 2015. Web page. DOI

2014

J. Aransay, J. Divason, J. Heras, L. Lamban, V. Pascual, A. L. Rubio and J. Rubio. Obtaining an ACL2 specification from an Isabelle/HOL theory. Proceedings AISC 2014. LNAI 8884, pp. 47-61. Files. 2014.
J. Heras and E.Komendantskaya. Proof-Pattern Search in Coq/SSReflect. Proceedings of the 6th Coq workshop. 2014.
J. Heras and E.Komendantskaya. ACL2(ml): Machine-Learning for ACL2. Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications. Electronic Proceedings in Theoretical Computer Science, 158:61-76. 2014.
J. Heras, E.Komendantskaya, and M. Schmindt. (Co)Recursion in Logic Programming: Lazy vs Eager. Accepted as a Technical Communication in ICLP'14. Included in the Supplementary Materials of Theory and Practice of Logic Programming, 14(4-5). 2014.
J. Heras and E.Komendantskaya. Recycling Proof Patterns in Coq: Case Studies. Mathematics in Computer Science. 8(1):99--116. 2014. Arxiv version.
E. Komendantskaya, M. Schmidt, and J. Heras. Exploiting Parallelism in Coalgebraic Logic Programming. Electronic Notes in Theoretical Computer Science, 303:121-148. 2014.
A. Romero, J. Heras, G. Mata, M. Morales, and J. Rubio Topo-Geometric Processing of Neuronal Images (in Spanish). Gaceta de la Real Sociedad Matemática Española, 17(1):109-128. 2014.
M. Poza, C. Dominguez, J. Heras, and J. Rubio. A certified reduction strategy for homological image processing. ACM Transactions on Computational Logic, 15(3). 2014. Web page .
Programming and Symbolic Computation Team of University of La Rioja. Informática para las matemáticas, matemáticas para la informática, informática aplicada. Revista Zubía, 26:19-37. 2014.

2013

J. Heras, E. Komendantskaya, M. Johansson and E. Maclean. Proof-Pattern Recognition and Lemma Discovery in ACL2. Proceedings LPAR-19. LNCS 8312, pp. 389-406. Web page. 2013.
A. Romero, J. Heras, G. Mata, J. Rubio and F. Sergeraert. Spectral sequences for computing persistent homology of digital images. Proceedings ACA 2013, pp. 331-335, 2013.
J. Heras, G. Mata, A. Romero, J. Rubio, and R. Sáenz. Verifying a platform for digital imaging: a multi-tool strategy. Proceedings of Conferences on Intelligent Computer Mathematics 2013 (Calculemus track). LNCS 7961, pp. 66-81. Arxiv version. Web page. 2013.
J. Heras and E. Komendantskaya. ML4PG in Computer Algebra Verification. Proceedings of Conferences on Intelligent Computer Mathematics 2013 (Systems & Projects track). LNCS 7961, pp. 354-358. Arxiv version. 2013.
E. Komendantskaya, J. Heras and G. Grov. Machine learning in Proof General: interfacing interfaces. Electronic Proceedings in Theoretical Computer Science 118 (Post-proceedings of User Interfaces for Theorem Provers (UITP'12)), pp. 15-41, 2013. Arxiv version.
J. Heras and E. Komendantskaya. Statistical Proof Pattern Recognition: Automated or Interactive? Workshop abstract in the 20th Automated Reasoning Workshop (ARW'13). Arxiv version. 2013.
J. Heras, T. Coquand, A. Mörtberg and V. Siles. Computing Persistent Homology within Coq/SSReflect. ACM Transactions on Computational Logic, 14(4) Arxiv version. 2013. Web page.

2012

J. Heras, G. Mata, M. Poza and J. Rubio. Symbolic manipulation and biomedical images. Proceedings XIII Encuentros de Álgebra Computacional y Aplicaciones (EACA 2012), Alcala de Henares (Spain), 2012.
J. Heras, V. Pascual and F. J. Martín-Mateos. An ACL2 formalization of Algebraic Structures. Proceedings XIII Encuentros de Álgebra Computacional y Aplicaciones (EACA 2012), Alcala de Henares (Spain), 2012.
J. Heras, M. Dénès, G. Mata, A. Mörtberg, M. Poza, and V. Siles. Towards a certified computation of homology groups for digital images. Proceedings CTIC'2012. LNCS 7309, pp. 49–57, Bertinoro (Italy), 2012.
J. Heras, M. Poza and J. Rubio. Verifying an algorithm computing Discrete Vector Fields for digital imaging. Proceedings CICM'2012. LNCS 7362, pp. 215–229, Bremen (Germany), 2012.

2011

J. Heras, V. Pascual, J. Rubio and F. Sergeraert. fKenzo: a user interface for computations in Algebraic Topology. Journal of Symbolic Computation 46, pp.685–698, 2011.
J. Heras, V. Pascual, J. Rubio and F. Sergeraert. fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica. (in Spanish.) Gaceta de la Real Sociedad Matemática Española, 14(1):295–308, 2011.
J. Heras, G. Mata, M. Poza and J. Rubio. On automation and certification of a homological method to process biomedical digital images. Imagen-A 4, pp. 29-31, 2011.
J. Heras, V. Pascual and J. Rubio. A certified module to study digital images with the Kenzo system. Proceedings EUROCAST'2011. Part I, LNCS 6927, pp. 113–120, Las Palmas de Gran Canaria (Spain), 2011.
J. Heras, V. Pascual and J. Rubio. A System for Computing and Reasoning in Algebraic Topology. Proceedings CICM'2011. LNCS 6824, pp. 295–297, Bertinoro (Italy), 2011.
J. Heras, M. Poza, M. Dénès and L. Rideau. Incidence simplicial matrices formalized in Coq/SSReflect. Proceedings CICM'2011. LNCS 6824, pp. 30–44, Bertinoro (Italy), 2011.
J. Heras Mathematical Knowledge Management in Algebraic Topology. ACM Communications in Computer Algebra, Issue 176, Vol. 45, No. 2 pp. 144-145, 2011.
J. Heras, G. Mata, M. Poza and J. Rubio. Homological processing of biomedical digital images: automation and certification. Proceedings Computer Algebra in Algebraic Topology and its Applications Session of ACA 2011 conference , Houston (USA), 2011.
J. Heras, V. Pascual and J. Rubio. Proving with ACL2 the correctness of simplicial sets in the Kenzo system. Proceedings 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010). LNCS 6564, pp. 37–51, Hagenberg (Austria) 2011.

2010

J. Heras, V. Pascual, A. Romero and J. Rubio. Integrating multiple sources to answer questions in Algebraic Topology. Proceedings 9th International Conference on Mathematical Knowledge Management (MKM 2010). LNCS 6167, pp. 331–335, Paris (France), 2010.
J. Heras and V. Pascual. ACL2 verification of Simplicial Complexes programs for the Kenzo system. Proceedings Algebraic computing, soft computing, and program verification workshop, Castro Urdiales (Spain), 2010.
J. Heras. Effective Homology of the pushout of simplicial sets. Proceedings XII Encuentros de Álgebra Computacional y Aplicaciones (EACA 2010), pp. 152-156, Santiago de Compostela (Spain), 2010.
J. Heras and V. Pascual. Mediated access to symbolic computation systems: an openmath approach. Contribuciones científicas en honor de Mirian Andrés, pp. 85-104, 2010.

2009

J. Heras, J. Rubio, L. J. Hernández, M. T. Rivas and E. Sáenz de Cabezón. Cálculo en paralelo de la homología cúbica con gridMathematica. Proceedings III Congreso Mathematica España, pp. 285-294, Salamanca (Spain), 2009.
J. Heras, V. Pascual and J. Rubio. A customizable GUI through an OMDoc documents repository. Proceedings Mathematical User-Interfaces workshop, Grand-Bend (Canada), 2009.
J. Heras, V. Pascual and J. Rubio. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Proceedings 8th International Conference on Mathematical Knowledge Management (MKM 2009), LNCS 5625, pp. 467-473, Grand-Bend (Canada), 2009.
J. Heras, V. Pascual, J. Rubio. Content Dictionaries for Algebraic Topology. Proceedings 22nd OpenMath Workshop, pp. 112-118, Grand-Bend (Canada), 2009.
J. Heras, V. Pascual, J. Rubio. Applying Generative Communication to Symbolic Computation in Common Lisp. Proceedings 2nd European Lisp Symposium (ELS 2009), pp. 27-42, Milan (Italy), 2009.

2008

J. Heras, V. Pascual, J. Rubio. A graphical user interface for the Kenzo system, a program to compute in Algebraic Topology. Proceedings XI Encuentros de Álgebra Computacional y Aplicaciones (EACA 2008), pp. 93-96, Granada (Spain), 2008.
J. Heras, V. Pascual and J. Rubio. Mediated access to Symbolic Computation systems. Proceedings 7th International Conference on Mathematical Knowledge Management (MKM 2008), LNCS 5144, pp. 446-461, Birmingham (UK), 2008.
J. Heras, V. Pascual, J. Rubio and F. Sergeraert. Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. Proceedings 1st European Lisp Symposium (ELS 2008), pp. 155-176, Bordeaux (France), 2008.