Jónathan Heras

133 papers A 1B 4C 2Misc 4Journal 75Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Clinical validation of artificial intelligence algorithms for the detection of different central-involved retinal pathologies and glaucoma from non-mydriatic images. Frontiers Artif. Intell. Josep Vidal-Alaball, Alba Arocas Bonache, Jordi Solé-Casals, Didac Royo Fibla, Francesc Xavier Marin-Gomez, Laura Natalia Distéfano, Anna Boixadera, Ángela Casado-García, Manuel García-Domínguez, Adrián Inés, Jónathan Heras, Miguel Ángel Zapata
2026	J	`jnl`	JustRAIGS: Justified Referral in AI Glaucoma Screening Challenge. IEEE Trans. Medical Imaging Yeganeh Madadi, Hina Raja, Koenraad A. Vermeer, Hans G. Lemij, Xiaoqin Huang, Eunjin Kim, Seunghoon Lee, Gitaek Kwon, Hyunwoo Kim, Jaeyoung Kim, Adrian Galdran, Miguel Ángel González Ballester, Dan Presil, Kristhian Aguilar, Victor Cavalcante, Celso B. Carvalho, Waldir Sabino da Silva Júnior, Mateus Oliveira, Hui Lin, Charilaos Apostolidis, Aggelos K. Katsaggelos, Tomasz Kubrak, Ángela Casado-García, Jónathan Heras, Marcos Ortega, Lucía Ramos, Philippe Zhang, Yihao Li, Jing Zhang, Weili Jiang, Pierre-Henri Conze, Mathieu Lamard, Gwenolé Quellec, Mostafa El Habib Daho, Madukuri Shaurya, Anumeha Varma, Monika Agrawal, Siamak Yousefi
2026	J	`jnl`	Semi-seg: Semi-supervised learning framework for image segmentation. Neurocomputing Adrián Inés, Jónathan Heras
2025	J	`jnl`	Anomaly detection applied to the classification of cytology images. Biomed. Signal Process. Control. Carlo Bruno Marta, Manuel Doblaré, Jónathan Heras, Gadea Mata, Teresa Ramírez
2025	J	`jnl`	Computer vision for automatic identification of blastocyst structures and blastocyst formation time in In-Vitro Fertilization. Comput. Biol. Medicine María Villota, Jacobo Ayensa-Jiménez, Clara Malo, Antonio Urries, Manuel Doblaré, Jónathan Heras
2025	—	`conf`	LSEAvatar: An Avatar for Spanish Sign Language. SEPLN-PD Maria del Pilar Agustín-Llach, Vanessa Alvear, César Domínguez, Manuel García-Domínguez, Jónathan Heras, Félix Lanas, Gadea Mata, Pablo Munarriz-Senosiain, Pablo Ochoa, Mirari San Martín
2025	J	`jnl`	Methods Towards Improving Safeness in Responses of a Spanish Suicide Information Chatbot. Proces. del Leng. Natural Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Magdalena Pérez-Trenado
2025	J	`jnl`	SAMJ: Fast Image Annotation on ImageJ/Fiji via Segment Anything Model. CoRR Carlos Garcia-Lopez-de-Haro, Caterina Fuster-Barceló, Curtis T. Rueden, Jónathan Heras, Vladimír Ulman, Daniel Franco-Barranco, Adrián Inés, Kevin W. Eliceiri, Jean-Christophe Olivo-Marin, Jean-Yves Tinevez, Daniel Sage, Arrate Muñoz-Barrutia
2025	—	`conf`	Towards a Framework that Facilitates the Construction of Image Segmentation Models. IWANN (2) Joaquín Ortíz de Murua, César Domínguez, Jónathan Heras, Vico Pascual
2025	—	`conf`	Zero-shot Prompting for Adapting Texts to Easy-to-Read Format. IberLEF@SEPLN Mirari San Martín, Jónathan Heras, Ignacio Martínez, Gadea Mata
2024	—	`conf`	A Methodology to Build Spanish Trustworthy Question-Answer Datasets for Suicide Information. EUROCAST (2) Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Magdalena Pérez, Ana Rosa Terroba Reinares
2024	J	`jnl`	A topological approach for semi-supervised learning. J. Comput. Sci. Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
2024	J	`jnl`	AIROGS: Artificial Intelligence for Robust Glaucoma Screening Challenge. IEEE Trans. Medical Imaging 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 Panikkasseril Sethumadhavan, 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 Bogunovic, 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
2024	—	`conf`	An Architecture Towards Building a Reliable Suicide Information Chatbot. CAEPIA Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Magdalena Pérez, Ana Rosa Terroba Reinares
2024	J	`jnl`	Analysing semi-supervised learning for image classification using compact networks in the biomedical context. Soft Comput. Adrián Inés, Andres Diaz-Pinto, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2024	J	`jnl`	Automatic and Manual Evaluation of a Spanish Suicide Information Chatbot. Proces. del Leng. Natural Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Magdalena Pérez, Ana Rosa Terroba Reinares
2024	—	`conf`	Deep Learning Models for Justified Referral in AI Glaucoma Screening. ISBI Ángela Casado-García, Jónathan Heras, Marcos Ortega, Lucía Ramos
2024	J	`jnl`	Deep style transfer to deal with the domain shift problem on spheroid segmentation. Neurocomputing Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2024	Misc	`conf`	Diagnosis of Schizophrenia in EEG Signals Using dDTF Effective Connectivity and New PreTrained CNN and Transformer Models. IWINAC Afshin Shoeibi, Marjane Khodatars, Hamid Alinejad-Rokny, Jónathan Heras, Sara Bagherzadeh, Amin Beheshti, Juan Manuel Górriz
2024	—	`conf`	Image Processing and Deep Learning Methods for the Semantic Segmentation of Blastocyst Structures. CAEPIA María Villota, Jacobo Ayensa-Jiménez, Manuel Doblaré, Jónathan Heras
2024	J	`jnl`	Is ASR the right tool for the construction of Spoken Corpus Linguistics in European Spanish? Proces. del Leng. Natural Mirari San Martín, Jónathan Heras, Gadea Mata, Sara Gómez
2024	—	`conf`	Replace, Paraphrase or Fine-tune? Evaluating Automatic Simplification for Medical Texts in Spanish. LREC/COLING Leonardo Campillos-Llanos, Ana Rosa Terroba Reinares, Rocío Bartolomé, Ana Valverde-Mateos, Cristina González, Adrián Capllonch-Carrión, Jónathan Heras
2024	—	`conf`	Semi-supervised Learning Methods for Semantic Segmentation of Polyps. CAEPIA Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2024	—	`conf`	Taking Advantage of Depth Information for Semantic Segmentation in Field-Measured Vineyards. CAEPIA Ángela Casado-García, Jónathan Heras, Roberto Marani, Annalisa Milella
2023	J	`jnl`	AIROGS: Artificial Intelligence for RObust Glaucoma Screening Challenge. CoRR 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 Bogunovic, 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
2023	—	`conf`	Automatic Generation of Subtitles for Videos of the Government of La Rioja. OLA Mirari San Martín, Jónathan Heras, Gadea Mata
2023	J	`jnl`	Automatic diagnosis of COVID-19 from CT images using CycleGAN and transfer learning. Appl. Soft Comput. Navid Ghassemi, Afshin Shoeibi, Marjane Khodatars, Jónathan Heras, Alireza Rahimi, Assef Zare, Yu-Dong Zhang, Ram Bilas Pachori, Juan Manuel Górriz
2023	J	`jnl`	Binary and multi-class automated detection of age-related macular degeneration using convolutional- and transformer-based architectures. Comput. Methods Programs Biomed. César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Didac Royo, Miguel Ángel Zapata
2023	—	`conf`	Estimation of Crop Production by Fusing Images and Crop Features. ICCV (Workshops) Ángela Casado-García, Jónathan Heras, Xabier Simon Martínez-Goñi, Jon Miranda-Apodaca, Usue Pérez-López
2023	—	`conf`	Improving Accessibility in PublicWeb Pages. SEPLN (Projects and Demonstrations) César Domínguez, Jónathan Heras, Félix Lanas, Gadea Mata, Julio Rubio, Mirari San Martín
2023	J	`jnl`	La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera. Proces. del Leng. Natural Maria del Pilar Agustín-Llach, Jónathan Heras, Gadea Mata, Julio Rubio
2023	Misc	`conf`	MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation. IbPRIA Ángela Casado-García, Estefanía Carlos, César Domínguez, Jónathan Heras, María Izco, Eloy J. Mata, Vico Pascual, Lydia Álvarez-Erviti
2023	—	`conf`	Mixing Data Augmentation Methods for Semantic Segmentation. OLA Rubén Escobedo, Jónathan Heras
2023	J	`jnl`	Semi-Supervised Machine Learning: a Homological Approach. CoRR Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
2023	J	`jnl`	Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant. J. Univers. Comput. Sci. César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Lucas Fernández-Cedrón, Marcos Martínez-Lanchares, Jon Pellejero-Espinosa, Antonio Rubio-Loscertales, Carlos Tarragona-Pérez
2023	—	`conf`	Semi-supervised Learning for Myopic Maculopathy Analysis. MMAC@MICCAI Jónathan Heras
2023	—	`conf`	Two-stage Fine-Tuning for Automatic Identification of Sections in Clinical Documents. IberLEF@SEPLN Jónathan Heras
2023	—	`conf`	prevenIA: a Chatbot for Information and Prevention of Suicide and other Mental Health Disorders. SEPLN (Projects and Demonstrations) Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Ana Rosa Terroba Reinares
2022	J	`jnl`	A Topological Approach for Semi-Supervised Learning. CoRR Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
2022	J	`jnl`	Automatic Diagnosis of Myocarditis Disease in Cardiac MRI Modality using Deep Transformers and Explainable Artificial Intelligence. CoRR Mahboobeh Jafari, Afshin Shoeibi, Navid Ghassemi, Jónathan Heras, Abbas Khosravi, Sai Ho Ling, Roohallah Alizadehsani, Amin Beheshti, Yu-Dong Zhang, Shui-Hua Wang, Juan Manuel Górriz, U. Rajendra Acharya, Hamid Alinejad-Rokny
2022	—	`conf`	Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using CycleGAN and Deep PreTrained Models. IWINAC (1) Afshin Shoeibi, Navid Ghassemi, Jónathan Heras, Mitra Rezaei, Juan Manuel Górriz
2022	B	`conf`	Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books. DAS Gonzalo Santamaría, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2022	Misc	`conf`	Deep Detection Models for Measuring Epidermal Bladder Cells. IbPRIA Ángela Casado-García, Aitor Agirresarobe, Jon Miranda-Apodaca, Jónathan Heras, Usue Pérez-López
2022	—	`conf`	Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset. EUROCAST Ángela Casado-García, Manuel García-Domínguez, Jónathan Heras, Adrián Inés, Didac Royo, Miguel Ángel Zapata
2022	J	`jnl`	Semi-Supervised Learning for Image Classification using Compact Networks in the BioMedical Context. CoRR Adrián Inés, Andrés Diaz-Pinto, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2022	—	`conf`	Text Classification Models for Form Entity Linking. DCAI (1) María Villota, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2021	J	`jnl`	Applications of Deep Learning Techniques for Automated Multiple Sclerosis Detection Using Magnetic Resonance Imaging: A Review. CoRR Afshin Shoeibi, Marjane Khodatars, Mahboobeh Jafari, Parisa Moridian, Mitra Rezaei, Roohallah Alizadehsani, Fahime Khozeimeh, Juan Manuel Górriz, Jónathan Heras, Maryam Panahiazar, Saeid Nahavandi, U. Rajendra Acharya
2021	J	`jnl`	Applications of deep learning techniques for automated multiple sclerosis detection using magnetic resonance imaging: A review. Comput. Biol. Medicine Afshin Shoeibi, Marjane Khodatars, Mahboobeh Jafari, Parisa Moridian, Mitra Rezaei, Roohallah Alizadehsani, Fahime Khozeimeh, Juan Manuel Górriz, Jónathan Heras, Maryam Panahiazar, Saeid Nahavandi, U. Rajendra Acharya
2021	J	`jnl`	Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning. CoRR Navid Ghassemi, Afshin Shoeibi, Marjane Khodatars, Jónathan Heras, Alireza Rahimi, Assef Zare, Ram Bilas Pachori, Juan Manuel Górriz
2021	J	`jnl`	Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models. Frontiers Neuroinformatics Afshin Shoeibi, Delaram Sadeghi, Parisa Moridian, Navid Ghassemi, Jónathan Heras, Roohallah Alizadehsani, Ali Khadem, Yinan Kong, Saeid Nahavandi, Yu-Dong Zhang, Juan Manuel Górriz
2021	J	`jnl`	Automatic Diagnosis of Schizophrenia using EEG Signals and CNN-LSTM Models. CoRR Afshin Shoeibi, Delaram Sadeghi, Parisa Moridian, Navid Ghassemi, Jónathan Heras, Roohallah Alizadehsani, Ali Khadem, Yinan Kong, Saeid Nahavandi, Juan Manuel Górriz
2021	J	`jnl`	Biomedical image classification made easier thanks to transfer and semi-supervised learning. Comput. Methods Programs Biomed. Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2021	—	`conf`	Deep Learning Projects from a Regional Council: An Experience Report. Teaching ML Jónathan Heras
2021	—	`conf`	LabelDetection: Simplifying the Use and Construction of Deep Detection Models. CAEPIA Ángela Casado-García, Jónathan Heras
2021	J	`jnl`	MotilityJ: An open-source tool for the classification and segmentation of bacteria on motility images. Comput. Biol. Medicine Ángela Casado-García, Gabriela Chichón, César Domínguez, Manuel García-Domínguez, Jónathan Heras, Adrián Inés, María López, Eloy J. Mata, Vico Pascual, Yolanda Sáenz
2021	J	`jnl`	Neural Style Transfer and Unpaired Image-to-Image Translation to deal with the Domain Shift Problem on Spheroid Segmentation. CoRR Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2021	J	`jnl`	Optimizing the Simplicial-Map Neural Network Architecture. J. Imaging Eduardo Paluzo-Hidalgo, Rocío González-Díaz, Miguel Angel Gutiérrez-Naranjo, Jónathan Heras
2021	—	`conf`	Prediction of Epiretinal Membrane from Retinal Fundus Images Using Deep Learning. CAEPIA Ángela Casado-García, Manuel García-Domínguez, Jónathan Heras, Adrián Inés, Didac Royo, Miguel Ángel Zapata
2021	J	`jnl`	SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation. Comput. Methods Programs Biomed. David Lacalle, Héctor Alfonso Castro-Abril, Teodora Randelovic, César Domínguez, Jónathan Heras, Eloy J. Mata, Gadea Mata, Yolanda Méndez, Vico Pascual, Ignacio Ochoa
2021	J	`jnl`	Text Classification Models for Form Entity Linking. CoRR María Villota, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2021	—	`conf`	Towards Combining Object Detection and Text Classification Models for Form Entity Recognition. CAEPIA María Villota, Gonzalo Santamaría, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2021	J	`jnl`	UFOD: An AutoML framework for the construction, comparison, and combination of object detection models. Pattern Recognit. Lett. Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2020	A	`conf`	Ensemble Methods for Object Detection. ECAI Ángela Casado-García, Jónathan Heras
2020	J	`jnl`	FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques. IEEE Access Manuel García-Dominguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2020	J	`jnl`	LabelStoma: A tool for stomata detection based on the YOLO algorithm. Comput. Electron. Agric. Ángela Casado-García, Arantza del-Canto, Alvaro Sanz-Sáez, Usue Pérez-López, Amaia Bilbao-Kareaga, Felix B. Fritschi, Jon Miranda-Apodaca, Alberto Muñoz-Rueda, Anna Sillero-Martínez, Ander Yoldi-Achalandabaso, Maite Lacuesta, Jónathan Heras
2020	B	`conf`	The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. DAS Ángela Casado-García, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2020	J	`jnl`	Transfer learning features for predicting aesthetics through a novel hybrid machine learning method. Neural Comput. Appl. Adrián Carballal, Carlos Fernandez-Lozano, Jónathan Heras, Juan Romero
2019	J	`jnl`	Automatic characterisation of dye decolourisation in fungal strains using expert, traditional, and deep features. Soft Comput. Marina Arredondo-Santoyo, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Maria Soledad Vázquez-Garcidueñas, Gerardo Vázquez-Marrufo
2019	J	`jnl`	CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks. BMC Bioinform. Ángela Casado, César Domínguez, Manuel García-Dominguez, Jónathan Heras, Adrián Inés, Eloy J. Mata, Vico Pascual
2019	J	`jnl`	DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks for image classification. Comput. Biol. Medicine Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2019	—	`conf`	DeepCompareJ: Comparing Image Classification Models. EUROCAST (2) Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2019	—	`conf`	Google Colaboratory for Quantifying Stomata in Images. EUROCAST (2) Ángela Casado-García, Jónathan Heras, Alvaro Sanz-Sáez
2019	—	`conf`	Jupyter Notebooks for Simplifying Transfer Learning. EUROCAST (2) Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2019	B	`conf`	Monomial Resolutions for Efficient Computation of Simplicial Homology. ISSAC Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón
2019	J	`jnl`	The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. CoRR Ángela Casado-García, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2019	J	`jnl`	The Effects of Adding Non-Compulsory Exercises to an Online Learning Tool on Student Performance and Code Copying. ACM Trans. Comput. Educ. César Domínguez, Arturo Jaime Elizondo, Jónathan Heras, Francisco J. García Izquierdo
2018	—	`conf`	An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis. DCAI (Special Sessions) Manuel García-Dominguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2018	J	`jnl`	DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains. BMC Bioinform. César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2018	J	`jnl`	Guiding the Creation of Deep Learning-based Object Detectors. CoRR Ángela Casado, Jónathan Heras
2018	—	`conf`	Towards Integrating ImageJ with Deep Biomedical Models. DCAI (Special Sessions) Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2017	J	`jnl`	Antibiogramj: A tool for analysing images from disk diffusion tests. Comput. Methods Programs Biomed. Carla Andrea Alonso, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Carmen Torres, Myriam Zarazaga
2017	—	`conf`	DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms. EUROCAST (2) César Domínguez, Manuel García-Dominguez, Jónathan Heras, Adrián Inés, Eloy J. Mata, Vico Pascual
2017	J	`jnl`	Extending GelJ for interoperability: Filling the gap in the bioinformatics resources for population genetics analysis with dominant markers. Comput. Methods Programs Biomed. César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Maria Soledad Vázquez-Garcidueñas, Gerardo Vázquez-Marrufo
2017	J	`jnl`	IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine. Comput. Biol. Medicine César Domínguez, Jónathan Heras, Vico Pascual
2017	C	`conf`	Proof Mining with Dependent Types. CICM Ekaterina Komendantskaya, Jónathan Heras
2017	J	`jnl`	Proof Mining with Dependent Types. CoRR Ekaterina Komendantskaya, Jónathan Heras
2016	J	`jnl`	A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: The competitive effect. Comput. Hum. Behav. César Domínguez, Arturo Jaime Elizondo, Ana Sánchez, José Miguel Blanco, Jónathan Heras
2016	J	`jnl`	A survey of tools for analysing DNA fingerprints. Briefings Bioinform. Jónathan Heras, César Domínguez, Eloy J. Mata, Vico Pascual, Carmen Lozano, Carmen Torres, Myriam Zarazaga
2016	J	`jnl`	Surveying and benchmarking techniques to analyse DNA gel fingerprint images. Briefings Bioinform. Jónathan Heras, César Domínguez, Eloy J. Mata, Vico Pascual
2016	—	`conf`	SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons. BIOIMAGING Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
2016	—	`conf`	SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. BIOSTEC (Selected Papers) Gadea Mata, Germán Cuesto, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
2016	—	`conf`	WekaBioSimilarity - Extending Weka with Resemblance Measures. CAEPIA César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
2015	J	`jnl`	GelJ - a tool for analyzing DNA fingerprint gel images. BMC Bioinform. Jónathan Heras, César Domínguez, Eloy J. Mata, Vico Pascual, Carmen Lozano, Carmen Torres, Myriam Zarazaga
2015	J	`jnl`	Modelling algebraic structures and morphisms in ACL2. Appl. Algebra Eng. Commun. Comput. Jónathan Heras, Francisco-Jesús Martín-Mateos, Vico Pascual
2015	J	`jnl`	Neuron detection in stack images: a persistent homology interpretation. CoRR Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales
2015	J	`jnl`	SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons. CoRR Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
2014	J	`jnl`	A Certified Reduction Strategy for Homological Image Processing. ACM Trans. Comput. Log. María Poza, César Domínguez, Jónathan Heras, Julio Rubio
2014	—	`conf`	ACL2(ml): Machine-Learning for ACL2. ACL2 Jónathan Heras, Ekaterina Komendantskaya
2014	J	`jnl`	Defining and computing persistent Z-homology in the general case. CoRR Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
2014	J	`jnl`	Guarding (Co)Recursion in Coalgebraic Logic Programming. CoRR Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
2014	J	`jnl`	HoTT formalisation in Coq: Dependency Graphs \& ML4PG. CoRR Jónathan Heras, Ekaterina Komendantskaya
2014	Misc	`conf`	Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio
2014	J	`jnl`	Procesamiento topo-geométrico de imágenes neuronales. CoRR Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio
2014	J	`jnl`	Proof Pattern Search in Coq/SSReflect. CoRR Jónathan Heras, Ekaterina Komendantskaya
2014	J	`jnl`	Recycling Proof Patterns in Coq: Case Studies. Math. Comput. Sci. Jónathan Heras, Ekaterina Komendantskaya
2013	J	`jnl`	A certified reduction strategy for homological image processing. CoRR María Poza, César Domínguez, Jónathan Heras, Julio Rubio
2013	J	`jnl`	Computing persistent homology within Coq/SSReflect. ACM Trans. Comput. Log. Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
2013	J	`jnl`	Exploiting Parallelism in Coalgebraic Logic Programming. CoRR Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
2013	—	`conf`	Exploiting Parallelism in Coalgebraic Logic Programming. WACT Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
2013	—	`conf`	ML4PG in Computer Algebra Verification. MKM/Calculemus/DML Jónathan Heras, Ekaterina Komendantskaya
2013	J	`jnl`	ML4PG: proof-mining in Coq CoRR Jónathan Heras, Ekaterina Komendantskaya
2013	B	`conf`	Proof-Pattern Recognition and Lemma Discovery in ACL2. LPAR Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013	J	`jnl`	Proof-Pattern Recognition in ACL2. CoRR Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
2013	J	`jnl`	Statistical Proof Pattern Recognition: Automated or Interactive? CoRR Jónathan Heras, Ekaterina Komendantskaya
2013	J	`jnl`	Statistical Proof-Patterns in Coq/SSReflect CoRR Jónathan Heras, Ekaterina Komendantskaya
2013	—	`conf`	Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. MKM/Calculemus/DML Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
2013	J	`jnl`	Verifying a platform for digital imaging: a multi-tool strategy CoRR Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
2012	J	`jnl`	Computing Persistent Homology within Coq/SSReflect CoRR Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
2012	—	`conf`	Machine Learning in Proof General: Interfacing Interfaces UITP Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
2012	—	`conf`	Towards a Certified Computation of Homology Groups for Digital Images. CTIC Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles
2012	—	`conf`	Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus Jónathan Heras, María Poza, Julio Rubio
2012	J	`jnl`	Verifying an algorithm computing Discrete Vector Fields for digital imaging CoRR Jónathan Heras, María Poza, Julio Rubio
2011	—	`conf`	A Certified Module to Study Digital Images with the Kenzo System. EUROCAST (1) Jónathan Heras, Vico Pascual, Julio Rubio
2011	—	`conf`	A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM Jónathan Heras, Vico Pascual, Julio Rubio
2011	—	`conf`	Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau
2011	J	`jnl`	Mathematical knowledge management in algebraic topology. ACM Commun. Comput. Algebra Jónathan Heras
2011	J	`jnl`	fKenzo: A user interface for computations in Algebraic Topology. J. Symb. Comput. Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
2010	—	`conf`	Integrating Multiple Sources to Answer Questions in Algebraic Topology. AISC/MKM/Calculemus Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
2010	J	`jnl`	Integrating multiple sources to answer questions in Algebraic Topology CoRR Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
2010	C	`conf`	Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. LOPSTR Jónathan Heras, Vico Pascual, Julio Rubio
2009	—	`conf`	Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Calculemus/MKM Jónathan Heras, Vico Pascual, Julio Rubio
2008	—	`conf`	Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. ELS Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert
2008	—	`conf`	Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus Jónathan Heras, Vico Pascual, Julio Rubio