default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJónathan Heras
Jónathan Heras Vicente
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j38]Manuel García-Domínguez, César Domínguez
, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Deep style transfer to deal with the domain shift problem on spheroid segmentation. Neurocomputing 569: 127105 (2024)- [j37]Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio:
A topological approach for semi-supervised learning. J. Comput. Sci. 82: 102403 (2024) - [j36]Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Magdalena Pérez, Ana Rosa Terroba Reinares:
Automatic and Manual Evaluation of a Spanish Suicide Information Chatbot. Proces. del Leng. Natural 73: 151-164 (2024) - [j35]Mirari San Martín, Jónathan Heras, Gadea Mata, Sara Gómez:
Is ASR the right tool for the construction of Spoken Corpus Linguistics in European Spanish? Proces. del Leng. Natural 73: 165-176 (2024) - [j34]Adrián Inés, Andres Diaz-Pinto, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Analysing semi-supervised learning for image classification using compact networks in the biomedical context. Soft Comput. 28(15-16): 8931-8943 (2024) - [j33]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:
AIROGS: Artificial Intelligence for Robust Glaucoma Screening Challenge. IEEE Trans. Medical Imaging 43(1): 542-557 (2024) - [c55]Ángela Casado-García, Jónathan Heras, Roberto Marani, Annalisa Milella:
Taking Advantage of Depth Information for Semantic Segmentation in Field-Measured Vineyards. CAEPIA 2024: 1-8 - [c54]Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Magdalena Pérez, Ana Rosa Terroba Reinares:
An Architecture Towards Building a Reliable Suicide Information Chatbot. CAEPIA 2024: 29-39 - [c53]Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Semi-supervised Learning Methods for Semantic Segmentation of Polyps. CAEPIA 2024: 162-172 - [c52]Manuel García-Domínguez, Jónathan Heras Vicente, Roberto Marani, Tiziana D'Orazio:
Multi-class and Multi-label Classification of an Assembly Task in Manufacturing. CAEPIA 2024: 204-212 - [c51]María Villota, Jacobo Ayensa-Jiménez, Manuel Doblaré, Jónathan Heras:
Image Processing and Deep Learning Methods for the Semantic Segmentation of Blastocyst Structures. CAEPIA 2024: 213-222 - [c50]Leonardo Campillos Llanos, Ana Rosa Terroba Reinares, Rocío Bartolomé, Ana Valverde-Mateos, Cristina González, Adrián Capllonch-Carrión, Jónathan Heras:
Replace, Paraphrase or Fine-tune? Evaluating Automatic Simplification for Medical Texts in Spanish. LREC/COLING 2024: 13929-13945 - [c49]Ángela Casado-García, Jónathan Heras, Marcos Ortega, Lucía Ramos:
Deep Learning Models for Justified Referral in AI Glaucoma Screening. ISBI 2024: 1-3 - [c48]Afshin Shoeibi, Marjane Khodatars, Hamid Alinejad-Rokny, Jónathan Heras, Sara Bagherzadeh, Amin Beheshti, Juan Manuel Górriz:
Diagnosis of Schizophrenia in EEG Signals Using dDTF Effective Connectivity and New PreTrained CNN and Transformer Models. IWINAC 2024: 150-160 - 2023
- [j32]Navid Ghassemi, Afshin Shoeibi, Marjane Khodatars, Jónathan Heras, Alireza Rahimi, Assef Zare, Yu-Dong Zhang, Ram Bilas Pachori, Juan Manuel Górriz:
Automatic diagnosis of COVID-19 from CT images using CycleGAN and transfer learning. Appl. Soft Comput. 144: 110511 (2023) - [j31]César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Didac Royo, Miguel Ángel Zapata:
Binary and multi-class automated detection of age-related macular degeneration using convolutional- and transformer-based architectures. Comput. Methods Programs Biomed. 229: 107302 (2023) - [j30]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:
Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant. J. Univers. Comput. Sci. 29(5): 419-431 (2023) - [j29]Maria del Pilar Agustín-Llach, Jónathan Heras, Gadea Mata, Julio Rubio:
La perplejidad como herramienta para estimar la asignación de nivel de competencia en escritos de una lengua extranjera. Proces. del Leng. Natural 71: 29-38 (2023) - [c47]Á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:
MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation. IbPRIA 2023: 593-602 - [c46]Ángela Casado-García, Jónathan Heras, Xabier Simon Martínez-Goñi, Jon Miranda-Apodaca, Usue Pérez-López:
Estimation of Crop Production by Fusing Images and Crop Features. ICCV (Workshops) 2023: 525-530 - [c45]Jónathan Heras:
Semi-supervised Learning for Myopic Maculopathy Analysis. MMAC@MICCAI 2023: 75-82 - [c44]Rubén Escobedo, Jónathan Heras:
Mixing Data Augmentation Methods for Semantic Segmentation. OLA 2023: 129-136 - [c43]Mirari San Martín, Jónathan Heras, Gadea Mata:
Automatic Generation of Subtitles for Videos of the Government of La Rioja. OLA 2023: 393-402 - [c42]César Domínguez, Jónathan Heras, Félix Lanas, Gadea Mata, Julio Rubio, Mirari San Martín:
Improving Accessibility in PublicWeb Pages. SEPLN (Projects and Demonstrations) 2023: 21-25 - [c41]Pablo Ascorbe, María S. Campos, César Domínguez, Jónathan Heras, Ana Rosa Terroba Reinares:
prevenIA: a Chatbot for Information and Prevention of Suicide and other Mental Health Disorders. SEPLN (Projects and Demonstrations) 2023: 26-30 - [c40]Jónathan Heras:
Two-stage Fine-Tuning for Automatic Identification of Sections in Clinical Documents. IberLEF@SEPLN 2023 - [i30]Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio:
Semi-Supervised Machine Learning: a Homological Approach. CoRR abs/2301.11658 (2023) - [i29]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:
AIROGS: Artificial Intelligence for RObust Glaucoma Screening Challenge. CoRR abs/2302.01738 (2023) - 2022
- [c39]Gonzalo Santamaría, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books. DAS 2022: 553-567 - [c38]María Villota, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Text Classification Models for Form Entity Linking. DCAI (1) 2022: 260-269 - [c37]Ángela Casado-García, Manuel García-Domínguez, Jónathan Heras, Adrián Inés, Didac Royo, Miguel Ángel Zapata:
Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset. EUROCAST 2022: 444-451 - [c36]Ángela Casado-García, Aitor Agirresarobe, Jon Miranda-Apodaca, Jónathan Heras, Usue Pérez-López:
Deep Detection Models for Measuring Epidermal Bladder Cells. IbPRIA 2022: 131-142 - [c35]Afshin Shoeibi, Navid Ghassemi, Jónathan Heras, Mitra Rezaei, Juan Manuel Górriz:
Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using CycleGAN and Deep PreTrained Models. IWINAC (1) 2022: 145-155 - [i28]Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio:
A Topological Approach for Semi-Supervised Learning. CoRR abs/2205.09617 (2022) - [i27]Adrián Inés, Andrés Diaz-Pinto, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Semi-Supervised Learning for Image Classification using Compact Networks in the BioMedical Context. CoRR abs/2205.09678 (2022) - [i26]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:
Automatic Diagnosis of Myocarditis Disease in Cardiac MRI Modality using Deep Transformers and Explainable Artificial Intelligence. CoRR abs/2210.14611 (2022) - 2021
- [j28]Á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:
MotilityJ: An open-source tool for the classification and segmentation of bacteria on motility images. Comput. Biol. Medicine 136: 104673 (2021) - [j27]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:
Applications of deep learning techniques for automated multiple sclerosis detection using magnetic resonance imaging: A review. Comput. Biol. Medicine 136: 104697 (2021) - [j26]Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Biomedical image classification made easier thanks to transfer and semi-supervised learning. Comput. Methods Programs Biomed. 198: 105782 (2021) - [j25]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:
SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation. Comput. Methods Programs Biomed. 200: 105837 (2021) - [j24]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:
Automatic Diagnosis of Schizophrenia in EEG Signals Using CNN-LSTM Models. Frontiers Neuroinformatics 15: 777977 (2021) - [j23]Eduardo Paluzo-Hidalgo, Rocío González-Díaz, Miguel Angel Gutiérrez-Naranjo, Jónathan Heras:
Optimizing the Simplicial-Map Neural Network Architecture. J. Imaging 7(9): 173 (2021) - [j22]Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
UFOD: An AutoML framework for the construction, comparison, and combination of object detection models. Pattern Recognit. Lett. 145: 135-140 (2021) - [c34]Ángela Casado-García, Manuel García-Domínguez, Jónathan Heras, Adrián Inés, Didac Royo, Miguel Ángel Zapata:
Prediction of Epiretinal Membrane from Retinal Fundus Images Using Deep Learning. CAEPIA 2021: 3-13 - [c33]Ángela Casado-García, Jónathan Heras:
LabelDetection: Simplifying the Use and Construction of Deep Detection Models. CAEPIA 2021: 14-22 - [c32]María Villota, Gonzalo Santamaría, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Towards Combining Object Detection and Text Classification Models for Form Entity Recognition. CAEPIA 2021: 196-205 - [c31]Jónathan Heras:
Deep Learning Projects from a Regional Council: An Experience Report. Teaching ML 2021: 15-19 - [i25]Navid Ghassemi, Afshin Shoeibi, Marjane Khodatars, Jónathan Heras, Alireza Rahimi, Assef Zare, Ram Bilas Pachori, Juan Manuel Górriz:
Automatic Diagnosis of COVID-19 from CT Images using CycleGAN and Transfer Learning. CoRR abs/2104.11949 (2021) - [i24]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:
Applications of Deep Learning Techniques for Automated Multiple Sclerosis Detection Using Magnetic Resonance Imaging: A Review. CoRR abs/2105.04881 (2021) - [i23]Afshin Shoeibi, Delaram Sadeghi, Parisa Moridian, Navid Ghassemi, Jónathan Heras, Roohallah Alizadehsani, Ali Khadem, Yinan Kong, Saeid Nahavandi, Juan Manuel Górriz:
Automatic Diagnosis of Schizophrenia using EEG Signals and CNN-LSTM Models. CoRR abs/2109.01120 (2021) - [i22]María Villota, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Text Classification Models for Form Entity Linking. CoRR abs/2112.07443 (2021) - [i21]Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Neural Style Transfer and Unpaired Image-to-Image Translation to deal with the Domain Shift Problem on Spheroid Segmentation. CoRR abs/2112.09043 (2021) - 2020
- [j21]Manuel García-Dominguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques. IEEE Access 8: 53443-53455 (2020) - [j20]Á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:
LabelStoma: A tool for stomata detection based on the YOLO algorithm. Comput. Electron. Agric. 178: 105751 (2020) - [j19]Adrián Carballal, Carlos Fernandez-Lozano, Jónathan Heras, Juan Romero:
Transfer learning features for predicting aesthetics through a novel hybrid machine learning method. Neural Comput. Appl. 32(10): 5889-5900 (2020) - [c30]Ángela Casado-García, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. DAS 2020: 199-215 - [c29]Ángela Casado-García, Jónathan Heras:
Ensemble Methods for Object Detection. ECAI 2020: 2688-2695
2010 – 2019
- 2019
- [j18]Ángela Casado, César Domínguez, Manuel García-Dominguez, Jónathan Heras, Adrián Inés, Eloy J. Mata, Vico Pascual:
CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks. BMC Bioinform. 20(1): 323:1-323:14 (2019) - [j17]Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks for image classification. Comput. Biol. Medicine 108: 49-56 (2019) - [j16]César Domínguez, Arturo Jaime Elizondo, Jónathan Heras, Francisco J. García Izquierdo:
The Effects of Adding Non-Compulsory Exercises to an Online Learning Tool on Student Performance and Code Copying. ACM Trans. Comput. Educ. 19(3): 16:1-16:22 (2019) - [j15]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:
Automatic characterisation of dye decolourisation in fungal strains using expert, traditional, and deep features. Soft Comput. 23(23): 12799-12812 (2019) - [c28]Manuel García-Domínguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Jupyter Notebooks for Simplifying Transfer Learning. EUROCAST (2) 2019: 215-221 - [c27]Ángela Casado-García, Jónathan Heras, Alvaro Sanz-Sáez:
Google Colaboratory for Quantifying Stomata in Images. EUROCAST (2) 2019: 231-238 - [c26]Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
DeepCompareJ: Comparing Image Classification Models. EUROCAST (2) 2019: 256-262 - [c25]Anna Maria Bigatti, Jónathan Heras, Eduardo Sáenz-de-Cabezón:
Monomial Resolutions for Efficient Computation of Simplicial Homology. ISSAC 2019: 50-57 - [i20]Ángela Casado-García, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. CoRR abs/1912.05846 (2019) - 2018
- [j14]César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains. BMC Bioinform. 19(1): 66:1-66:4 (2018) - [c24]Manuel García-Dominguez, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis. DCAI (Special Sessions) 2018: 330-333 - [c23]Adrián Inés, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
Towards Integrating ImageJ with Deep Biomedical Models. DCAI (Special Sessions) 2018: 334-338 - [i19]Ángela Casado, Jónathan Heras:
Guiding the Creation of Deep Learning-based Object Detectors. CoRR abs/1809.03322 (2018) - 2017
- [j13]César Domínguez, Jónathan Heras, Vico Pascual:
IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine. Comput. Biol. Medicine 84: 189-194 (2017) - [j12]César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Maria Soledad Vázquez-Garcidueñas, Gerardo Vázquez-Marrufo:
Extending GelJ for interoperability: Filling the gap in the bioinformatics resources for population genetics analysis with dominant markers. Comput. Methods Programs Biomed. 140: 69-76 (2017) - [j11]Carla Andrea Alonso, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual, Carmen Torres, Myriam Zarazaga:
Antibiogramj: A tool for analysing images from disk diffusion tests. Comput. Methods Programs Biomed. 143: 159-169 (2017) - [c22]César Domínguez, Manuel García-Dominguez, Jónathan Heras, Adrián Inés, Eloy J. Mata, Vico Pascual:
DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms. EUROCAST (2) 2017: 273-280 - [c21]Ekaterina Komendantskaya, Jónathan Heras:
Proof Mining with Dependent Types. CICM 2017: 303-318 - [i18]Ekaterina Komendantskaya, Jónathan Heras:
Proof Mining with Dependent Types. CoRR abs/1705.04680 (2017) - 2016
- [j10]Jónathan Heras, César Domínguez, Eloy J. Mata, Vico Pascual, Carmen Lozano, Carmen Torres, Myriam Zarazaga:
A survey of tools for analysing DNA fingerprints. Briefings Bioinform. 17(6): 903-911 (2016) - [j9]Jónathan Heras, César Domínguez, Eloy J. Mata, Vico Pascual:
Surveying and benchmarking techniques to analyse DNA gel fingerprint images. Briefings Bioinform. 17(6): 912-925 (2016) - [j8]César Domínguez, Arturo Jaime Elizondo, Ana Sánchez, José Miguel Blanco, Jónathan Heras:
A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: The competitive effect. Comput. Hum. Behav. 60: 112-120 (2016) - [c20]Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio:
SynapCountJ: A Tool for Analyzing Synaptic Densities in Neurons. BIOIMAGING 2016: 25-31 - [c19]Gadea Mata, Germán Cuesto, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio:
SynapCountJ: A Validated Tool for Analyzing Synaptic Densities in Neurons. BIOSTEC (Selected Papers) 2016: 41-55 - [c18]César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual:
WekaBioSimilarity - Extending Weka with Resemblance Measures. CAEPIA 2016: 89-98 - 2015
- [j7]Jónathan Heras, Francisco-Jesús Martín-Mateos, Vico Pascual:
Modelling algebraic structures and morphisms in ACL2. Appl. Algebra Eng. Commun. Comput. 26(3): 277-303 (2015) - [j6]Jónathan Heras, César Domínguez, Eloy J. Mata, Vico Pascual, Carmen Lozano, Carmen Torres, Myriam Zarazaga:
GelJ - a tool for analyzing DNA fingerprint gel images. BMC Bioinform. 16: 270:1-270:8 (2015) - [i17]Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio:
SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons. CoRR abs/1507.07800 (2015) - [i16]Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales:
Neuron detection in stack images: a persistent homology interpretation. CoRR abs/1509.04420 (2015) - 2014
- [j5]Jónathan Heras, Ekaterina Komendantskaya:
Recycling Proof Patterns in Coq: Case Studies. Math. Comput. Sci. 8(1): 99-116 (2014) - [j4]María Poza, César Domínguez, Jónathan Heras, Julio Rubio:
A Certified Reduction Strategy for Homological Image Processing. ACM Trans. Comput. Log. 15(3): 23:1-23:23 (2014) - [c17]Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio:
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC 2014: 49-63 - [c16]Jónathan Heras, Ekaterina Komendantskaya:
ACL2(ml): Machine-Learning for ACL2. ACL2 2014: 61-75 - [i15]Jónathan Heras, Ekaterina Komendantskaya:
Proof Pattern Search in Coq/SSReflect. CoRR abs/1402.0081 (2014) - [i14]Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt:
Guarding (Co)Recursion in Coalgebraic Logic Programming. CoRR abs/1402.3690 (2014) - [i13]Jónathan Heras, Ekaterina Komendantskaya:
HoTT formalisation in Coq: Dependency Graphs \& ML4PG. CoRR abs/1403.2531 (2014) - [i12]Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio:
Procesamiento topo-geométrico de imágenes neuronales. CoRR abs/1403.6719 (2014) - [i11]Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert:
Defining and computing persistent Z-homology in the general case. CoRR abs/1403.7086 (2014) - 2013
- [j3]Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles:
Computing persistent homology within Coq/SSReflect. ACM Trans. Comput. Log. 14(4): 26:1-26:16 (2013) - [c15]Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean:
Proof-Pattern Recognition and Lemma Discovery in ACL2. LPAR 2013: 389-406 - [c14]Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz:
Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy. MKM/Calculemus/DML 2013: 66-81 - [c13]Jónathan Heras, Ekaterina Komendantskaya:
ML4PG in Computer Algebra Verification. MKM/Calculemus/DML 2013: 354-358 - [c12]Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras:
Exploiting Parallelism in Coalgebraic Logic Programming. WACT 2013: 121-148 - [i10]Jónathan Heras, Ekaterina Komendantskaya:
Statistical Proof-Patterns in Coq/SSReflect. CoRR abs/1301.6039 (2013) - [i9]Jónathan Heras, Ekaterina Komendantskaya:
ML4PG: proof-mining in Coq. CoRR abs/1302.6421 (2013) - [i8]Jónathan Heras, Ekaterina Komendantskaya:
Statistical Proof Pattern Recognition: Automated or Interactive? CoRR abs/1303.1419 (2013) - [i7]Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz:
Verifying a platform for digital imaging: a multi-tool strategy. CoRR abs/1303.1420 (2013) - [i6]María Poza, César Domínguez, Jónathan Heras, Julio Rubio:
A certified reduction strategy for homological image processing. CoRR abs/1306.0806 (2013) - [i5]Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean:
Proof-Pattern Recognition in ACL2. CoRR abs/1308.1780 (2013) - [i4]Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras:
Exploiting Parallelism in Coalgebraic Logic Programming. CoRR abs/1312.4454 (2013) - 2012
- [c11]Jónathan Heras, María Poza, Julio Rubio:
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. AISC/MKM/Calculemus 2012: 216-230 - [c10]Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles:
Towards a Certified Computation of Homology Groups for Digital Images. CTIC 2012: 49-57 - [c9]Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov:
Machine Learning in Proof General: Interfacing Interfaces. UITP 2012: 15-41 - [i3]Jónathan Heras, María Poza, Julio Rubio:
Verifying an algorithm computing Discrete Vector Fields for digital imaging. CoRR abs/1207.3315 (2012) - [i2]Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles:
Computing Persistent Homology within Coq/SSReflect. CoRR abs/1209.1905 (2012) - 2011
- [j2]Jónathan Heras:
Mathematical knowledge management in algebraic topology. ACM Commun. Comput. Algebra 45(3/4): 236-237 (2011) - [j1]Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert:
fKenzo: A user interface for computations in Algebraic Topology. J. Symb. Comput. 46(6): 685-698 (2011) - [c8]Jónathan Heras, Vico Pascual, Julio Rubio:
A Certified Module to Study Digital Images with the Kenzo System. EUROCAST (1) 2011: 113-120 - [c7]Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau:
Incidence Simplicial Matrices Formalized in Coq/SSReflect. Calculemus/MKM 2011: 30-44 - [c6]Jónathan Heras, Vico Pascual, Julio Rubio:
A System for Computing and Reasoning in Algebraic Topology. Calculemus/MKM 2011: 295-297 - 2010
- [c5]Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio:
Integrating Multiple Sources to Answer Questions in Algebraic Topology. AISC/MKM/Calculemus 2010: 331-335 - [c4]Jónathan Heras, Vico Pascual, Julio Rubio:
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. LOPSTR 2010: 37-51 - [i1]Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio:
Integrating multiple sources to answer questions in Algebraic Topology. CoRR abs/1005.0749 (2010)
2000 – 2009
- 2009
- [c3]Jónathan Heras, Vico Pascual, Julio Rubio:
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. Calculemus/MKM 2009: 467-473 - 2008
- [c2]Jónathan Heras, Vico Pascual, Julio Rubio:
Mediated Access to Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 446-461 - [c1]Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert:
Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. ELS 2008: 155-176
Coauthor Index
Ángela Casado
aka: Ángela Casado-García
aka: Ángela Casado-García
Manuel García-Dominguez
aka: Manuel García-Domínguez
aka: Manuel García-Domínguez
Vico Pascual
aka: María Vico Pascual
aka: María Vico Pascual
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
