Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jónathan Heras
@article{DBLP:journals/ijon/GarciaDominguezDHMP24,
author = {Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {Deep style transfer to deal with the domain shift problem on spheroid
segmentation},
journal = {Neurocomputing},
volume = {569},
pages = {127105},
year = {2024},
url = {https://doi.org/10.1016/j.neucom.2023.127105},
doi = {10.1016/J.NEUCOM.2023.127105},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijon/GarciaDominguezDHMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmi/VenteVJWSKTAZLGBCGSPLYKKWDHZAABALCC24,
author = {Coen de Vente and
Koenraad A. Vermeer and
Nicolas Jaccard and
He Wang and
Hongyi Sun and
Firas Khader and
Daniel Truhn and
Temirgali Aimyshev and
Yerkebulan Zhanibekuly and
Tien{-}Dung Le and
Adrian Galdran and
Miguel {\'{A}}ngel Gonz{\'{a}}lez Ballester and
Gustavo Carneiro and
Devika R. G and
Hrishikesh Panikkasseril Sethumadhavan and
Densen Puthussery and
Hong Liu and
Zekang Yang and
Satoshi Kondo and
Satoshi Kasai and
Edward Wang and
Ashritha Durvasula and
J{\'{o}}nathan Heras and
Miguel {\'{A}}ngel Zapata and
Teresa Ara{\'{u}}jo and
Guilherme Aresta and
Hrvoje Bogunovic and
Mustafa Arikan and
Yeong Chan Lee and
Hyun Bin Cho and
Yoon Ho Choi and
Abdul Qayyum and
Imran Razzak and
Bram van Ginneken and
Hans G. Lemij and
Clara I. S{\'{a}}nchez},
title = {{AIROGS:} Artificial Intelligence for Robust Glaucoma Screening Challenge},
journal = {{IEEE} Trans. Medical Imaging},
volume = {43},
number = {1},
pages = {542--557},
year = {2024},
url = {https://doi.org/10.1109/TMI.2023.3313786},
doi = {10.1109/TMI.2023.3313786},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmi/VenteVJWSKTAZLGBCGSPLYKKWDHZAABALCC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/GhassemiSKHRZZPG23,
author = {Navid Ghassemi and
Afshin Shoeibi and
Marjane Khodatars and
J{\'{o}}nathan Heras and
Alireza Rahimi and
Assef Zare and
Yu{-}Dong Zhang and
Ram Bilas Pachori and
Juan Manuel G{\'{o}}rriz},
title = {Automatic diagnosis of {COVID-19} from {CT} images using CycleGAN
and transfer learning},
journal = {Appl. Soft Comput.},
volume = {144},
pages = {110511},
year = {2023},
url = {https://doi.org/10.1016/j.asoc.2023.110511},
doi = {10.1016/J.ASOC.2023.110511},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/GhassemiSKHRZZPG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/DominguezHMPRZ23,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual and
Didac Royo and
Miguel {\'{A}}ngel Zapata},
title = {Binary and multi-class automated detection of age-related macular
degeneration using convolutional- and transformer-based architectures},
journal = {Comput. Methods Programs Biomed.},
volume = {229},
pages = {107302},
year = {2023},
url = {https://doi.org/10.1016/j.cmpb.2022.107302},
doi = {10.1016/J.CMPB.2022.107302},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cmpb/DominguezHMPRZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/DominguezHMPFMPRT23,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual and
Lucas Fern{\'{a}}ndez{-}Cedr{\'{o}}n and
Marcos Mart{\'{\i}}nez{-}Lanchares and
Jon Pellejero{-}Espinosa and
Antonio Rubio{-}Loscertales and
Carlos Tarragona{-}P{\'{e}}rez},
title = {Semi-Supervised Semantic Segmentation for Identification of Irrelevant
Objects in a Waste Recycling Plant},
journal = {J. Univers. Comput. Sci.},
volume = {29},
number = {5},
pages = {419--431},
year = {2023},
url = {https://doi.org/10.3897/jucs.87643},
doi = {10.3897/JUCS.87643},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/DominguezHMPFMPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pdln/AgustinLlachHMR23,
author = {Maria del Pilar Agust{\'{\i}}n{-}Llach and
J{\'{o}}nathan Heras and
Gadea Mata and
Julio Rubio},
title = {La perplejidad como herramienta para estimar la asignaci{\'{o}}n
de nivel de competencia en escritos de una lengua extranjera},
journal = {Proces. del Leng. Natural},
volume = {71},
pages = {29--38},
year = {2023},
url = {http://journal.sepln.org/sepln/ojs/ojs/index.php/pln/article/view/6540},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pdln/AgustinLlachHMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibpria/CasadoGarciaCDHIMPA23,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
Estefan{\'{\i}}a Carlos and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Mar{\'{\i}}a Izco and
Eloy J. Mata and
Vico Pascual and
Lydia {\'{A}}lvarez{-}Erviti},
editor = {Antonio Pertusa and
Antonio Javier Gallego and
Joan{-}Andreu S{\'{a}}nchez and
In{\^{e}}s Domingues},
title = {MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation},
booktitle = {Pattern Recognition and Image Analysis - 11th Iberian Conference,
IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14062},
pages = {593--602},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36616-1\_47},
doi = {10.1007/978-3-031-36616-1\_47},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ibpria/CasadoGarciaCDHIMPA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccvw/Casado-GarciaHM23,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
J{\'{o}}nathan Heras and
Xabier Simon Mart{\'{\i}}nez{-}Go{\~{n}}i and
Jon Miranda{-}Apodaca and
Usue P{\'{e}}rez{-}L{\'{o}}pez},
title = {Estimation of Crop Production by Fusing Images and Crop Features},
booktitle = {{IEEE/CVF} International Conference on Computer Vision, {ICCV} 2023
- Workshops, Paris, France, October 2-6, 2023},
pages = {525--530},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCVW60793.2023.00059},
doi = {10.1109/ICCVW60793.2023.00059},
timestamp = {Wed, 10 Jan 2024 14:20:12 +0100},
biburl = {https://dblp.org/rec/conf/iccvw/Casado-GarciaHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/Heras23,
author = {J{\'{o}}nathan Heras},
editor = {Bin Sheng and
Hao Chen and
Tien Yin Wong},
title = {Semi-supervised Learning for Myopic Maculopathy Analysis},
booktitle = {Myopic Maculopathy Analysis - {MICCAI} Challenge {MMAC} 2023, Held
in Conjunction with {MICCAI} 2023, Virtual Event, October 8-12, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14563},
pages = {75--82},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-54857-4\_7},
doi = {10.1007/978-3-031-54857-4\_7},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/miccai/Heras23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ola/EscobedoH23,
author = {Rub{\'{e}}n Escobedo and
J{\'{o}}nathan Heras},
editor = {Bernab{\'{e}} Dorronsoro and
Francisco Chicano and
Gr{\'{e}}goire Danoy and
El{-}Ghazali Talbi},
title = {Mixing Data Augmentation Methods for Semantic Segmentation},
booktitle = {Optimization and Learning - 6th International Conference, {OLA} 2023,
Malaga, Spain, May 3-5, 2023, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1824},
pages = {129--136},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34020-8\_9},
doi = {10.1007/978-3-031-34020-8\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ola/EscobedoH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ola/MartinHM23,
author = {Mirari San Mart{\'{\i}}n and
J{\'{o}}nathan Heras and
Gadea Mata},
editor = {Bernab{\'{e}} Dorronsoro and
Francisco Chicano and
Gr{\'{e}}goire Danoy and
El{-}Ghazali Talbi},
title = {Automatic Generation of Subtitles for Videos of the Government of
La Rioja},
booktitle = {Optimization and Learning - 6th International Conference, {OLA} 2023,
Malaga, Spain, May 3-5, 2023, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1824},
pages = {393--402},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34020-8\_30},
doi = {10.1007/978-3-031-34020-8\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ola/MartinHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sepln/0001HLM0M23,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
F{\'{e}}lix Lanas and
Gadea Mata and
Julio Rubio and
Mirari San Mart{\'{\i}}n},
editor = {Eugenio Mart{\'{\i}}nez{-}C{\'{a}}mara and
Arturo Montejo{-}R{\'{a}}ez and
Mar{\'{\i}}a Teresa Mart{\'{\i}}n Valdivia and
Luis Alfonso Ure{\~{n}}a L{\'{o}}pez},
title = {Improving Accessibility in PublicWeb Pages},
booktitle = {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),
Ja{\'{e}}n, Spain, September 27-29, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3516},
pages = {21--25},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3516/paper05.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/sepln/0001HLM0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sepln/AscorbeCDHT23,
author = {Pablo Ascorbe and
Mar{\'{\i}}a S. Campos and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Ana Rosa Terroba{-}Reinares},
editor = {Eugenio Mart{\'{\i}}nez{-}C{\'{a}}mara and
Arturo Montejo{-}R{\'{a}}ez and
Mar{\'{\i}}a Teresa Mart{\'{\i}}n Valdivia and
Luis Alfonso Ure{\~{n}}a L{\'{o}}pez},
title = {prevenIA: a Chatbot for Information and Prevention of Suicide and
other Mental Health Disorders},
booktitle = {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),
Ja{\'{e}}n, Spain, September 27-29, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3516},
pages = {26--30},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3516/paper06.pdf},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sepln/AscorbeCDHT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sepln/Heras23,
author = {J{\'{o}}nathan Heras},
editor = {Manuel Montes{-}y{-}G{\'{o}}mez and
Francisco Rangel and
Salud Mar{\'{\i}}a Jim{\'{e}}nez Zafra and
Marco Casavantes and
Bego{\~{n}}a Altuna and
Miguel {\'{A}}ngel {\'{A}}lvarez{-}Carmona and
Gemma Bel{-}Enguix and
Luis Chiruzzo and
Iker de la Iglesia and
Hugo Jair Escalante and
Miguel {\'{A}}ngel Garc{\'{\i}}a Cumbreras and
Jos{\'{e}} Antonio Garc{\'{\i}}a{-}D{\'{\i}}az and
Jos{\'{e}} {\'{A}}ngel Gonz{\'{a}}lez Barba and
Roberto Labadie Tamayo and
Salvador Lima and
Pablo Moral and
Flor Miriam Plaza del Arco and
Rafael Valencia{-}Garc{\'{\i}}a},
title = {Two-stage Fine-Tuning for Automatic Identification of Sections in
Clinical Documents},
booktitle = {Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2023)
co-located with the Conference of the Spanish Society for Natural
Language Processing {(SEPLN} 2023), Ja{\'{e}}n, Spain, September
26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3496},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3496/clinais-paper3.pdf},
timestamp = {Sun, 21 Jan 2024 19:26:00 +0100},
biburl = {https://dblp.org/rec/conf/sepln/Heras23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11658,
author = {Adri{\'{a}}n In{\'{e}}s and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Gadea Mata and
Julio Rubio},
title = {Semi-Supervised Machine Learning: a Homological Approach},
journal = {CoRR},
volume = {abs/2301.11658},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11658},
doi = {10.48550/ARXIV.2301.11658},
eprinttype = {arXiv},
eprint = {2301.11658},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01738,
author = {Coen de Vente and
Koenraad A. Vermeer and
Nicolas Jaccard and
He Wang and
Hongyi Sun and
Firas Khader and
Daniel Truhn and
Temirgali Aimyshev and
Yerkebulan Zhanibekuly and
Tien{-}Dung Le and
Adrian Galdran and
Miguel {\'{A}}ngel Gonz{\'{a}}lez Ballester and
Gustavo Carneiro and
Devika R. G and
Hrishikesh P. S and
Densen Puthussery and
Hong Liu and
Zekang Yang and
Satoshi Kondo and
Satoshi Kasai and
Edward Wang and
Ashritha Durvasula and
J{\'{o}}nathan Heras and
Miguel {\'{A}}ngel Zapata and
Teresa Ara{\'{u}}jo and
Guilherme Aresta and
Hrvoje Bogunovic and
Mustafa Arikan and
Yeong Chan Lee and
Hyun Bin Cho and
Yoon Ho Choi and
Abdul Qayyum and
Imran Razzak and
Bram van Ginneken and
Hans G. Lemij and
Clara I. S{\'{a}}nchez},
title = {{AIROGS:} Artificial Intelligence for RObust Glaucoma Screening Challenge},
journal = {CoRR},
volume = {abs/2302.01738},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01738},
doi = {10.48550/ARXIV.2302.01738},
eprinttype = {arXiv},
eprint = {2302.01738},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/das/SantamariaDHMP22,
author = {Gonzalo Santamar{\'{\i}}a and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Seiichi Uchida and
Elisa H. Barney Smith and
V{\'{e}}ronique Eglin},
title = {Combining Image Processing Techniques, OCR, and {OMR} for the Digitization
of Musical Books},
booktitle = {Document Analysis Systems - 15th {IAPR} International Workshop, {DAS}
2022, La Rochelle, France, May 22-25, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13237},
pages = {553--567},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06555-2\_37},
doi = {10.1007/978-3-031-06555-2\_37},
timestamp = {Fri, 02 Dec 2022 08:26:54 +0100},
biburl = {https://dblp.org/rec/conf/das/SantamariaDHMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/Villota0HMP22,
author = {Mar{\'{\i}}a Villota and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Sigeru Omatu and
Rashid Mehmood and
Pawel Sitek and
Serafino Cicerone and
Sara Rodr{\'{\i}}guez},
title = {Text Classification Models for Form Entity Linking},
booktitle = {Distributed Computing and Artificial Intelligence, 19th International
Conference, {DCAI} 2022, L'Aquila, Italy, 13-15 July 2022},
series = {Lecture Notes in Networks and Systems},
volume = {583},
pages = {260--269},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20859-1\_26},
doi = {10.1007/978-3-031-20859-1\_26},
timestamp = {Mon, 11 Mar 2024 20:43:17 +0100},
biburl = {https://dblp.org/rec/conf/dcai/Villota0HMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/CasadoGarciaGHIRZ22,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Adri{\'{a}}n In{\'{e}}s and
Didac Royo and
Miguel {\'{A}}ngel Zapata},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced
Dataset},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2022 - 18th International
Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13789},
pages = {444--451},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25312-6\_52},
doi = {10.1007/978-3-031-25312-6\_52},
timestamp = {Mon, 26 Jun 2023 20:47:36 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/CasadoGarciaGHIRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibpria/Casado-GarciaAM22,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
Aitor Agirresarobe and
Jon Miranda{-}Apodaca and
J{\'{o}}nathan Heras and
Usue P{\'{e}}rez{-}L{\'{o}}pez},
editor = {Armando J. Pinho and
Petia Georgieva and
Lu{\'{\i}}s F. Teixeira and
Joan{-}Andreu S{\'{a}}nchez},
title = {Deep Detection Models for Measuring Epidermal Bladder Cells},
booktitle = {Pattern Recognition and Image Analysis - 10th Iberian Conference,
IbPRIA 2022, Aveiro, Portugal, May 4-6, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13256},
pages = {131--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-04881-4\_11},
doi = {10.1007/978-3-031-04881-4\_11},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ibpria/Casado-GarciaAM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/ShoeibiGHRG22,
author = {Afshin Shoeibi and
Navid Ghassemi and
J{\'{o}}nathan Heras and
Mitra Rezaei and
Juan Manuel G{\'{o}}rriz},
editor = {Jos{\'{e}} Manuel Ferr{\'{a}}ndez de Vicente and
Jos{\'{e}} Ram{\'{o}}n {\'{A}}lvarez S{\'{a}}nchez and
F{\'{e}}lix de la Paz L{\'{o}}pez and
Hojjat Adeli},
title = {Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using
CycleGAN and Deep PreTrained Models},
booktitle = {Artificial Intelligence in Neuroscience: Affective Analysis and Health
Applications - 9th International Work-Conference on the Interplay
Between Natural and Artificial Computation, {IWINAC} 2022, Puerto
de la Cruz, Tenerife, Spain, May 31 - June 3, 2022, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {13258},
pages = {145--155},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06242-1\_15},
doi = {10.1007/978-3-031-06242-1\_15},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/ShoeibiGHRG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09617,
author = {Adri{\'{a}}n In{\'{e}}s and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Gadea Mata and
Julio Rubio},
title = {A Topological Approach for Semi-Supervised Learning},
journal = {CoRR},
volume = {abs/2205.09617},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.09617},
doi = {10.48550/ARXIV.2205.09617},
eprinttype = {arXiv},
eprint = {2205.09617},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-09617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09678,
author = {Adri{\'{a}}n In{\'{e}}s and
Andr{\'{e}}s Diaz{-}Pinto and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {Semi-Supervised Learning for Image Classification using Compact Networks
in the BioMedical Context},
journal = {CoRR},
volume = {abs/2205.09678},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.09678},
doi = {10.48550/ARXIV.2205.09678},
eprinttype = {arXiv},
eprint = {2205.09678},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-09678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-14611,
author = {Mahboobeh Jafari and
Afshin Shoeibi and
Navid Ghassemi and
J{\'{o}}nathan Heras and
Abbas Khosravi and
Sai Ho Ling and
Roohallah Alizadehsani and
Amin Beheshti and
Yu{-}Dong Zhang and
Shui{-}Hua Wang and
Juan Manuel G{\'{o}}rriz and
U. Rajendra Acharya and
Hamid Alinejad{-}Rokny},
title = {Automatic Diagnosis of Myocarditis Disease in Cardiac {MRI} Modality
using Deep Transformers and Explainable Artificial Intelligence},
journal = {CoRR},
volume = {abs/2210.14611},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.14611},
doi = {10.48550/ARXIV.2210.14611},
eprinttype = {arXiv},
eprint = {2210.14611},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-14611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/Casado-GarciaCD21,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
Gabriela Chich{\'{o}}n and
C{\'{e}}sar Dom{\'{\i}}nguez and
Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Adri{\'{a}}n In{\'{e}}s and
Mar{\'{\i}}a L{\'{o}}pez and
Eloy J. Mata and
Vico Pascual and
Yolanda S{\'{a}}enz},
title = {MotilityJ: An open-source tool for the classification and segmentation
of bacteria on motility images},
journal = {Comput. Biol. Medicine},
volume = {136},
pages = {104673},
year = {2021},
url = {https://doi.org/10.1016/j.compbiomed.2021.104673},
doi = {10.1016/J.COMPBIOMED.2021.104673},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cbm/Casado-GarciaCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/ShoeibiKJMRAKGH21,
author = {Afshin Shoeibi and
Marjane Khodatars and
Mahboobeh Jafari and
Parisa Moridian and
Mitra Rezaei and
Roohallah Alizadehsani and
Fahime Khozeimeh and
Juan Manuel G{\'{o}}rriz and
J{\'{o}}nathan Heras and
Maryam Panahiazar and
Saeid Nahavandi and
U. Rajendra Acharya},
title = {Applications of deep learning techniques for automated multiple sclerosis
detection using magnetic resonance imaging: {A} review},
journal = {Comput. Biol. Medicine},
volume = {136},
pages = {104697},
year = {2021},
url = {https://doi.org/10.1016/j.compbiomed.2021.104697},
doi = {10.1016/J.COMPBIOMED.2021.104697},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/ShoeibiKJMRAKGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/InesDHMP21,
author = {Adri{\'{a}}n In{\'{e}}s and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {Biomedical image classification made easier thanks to transfer and
semi-supervised learning},
journal = {Comput. Methods Programs Biomed.},
volume = {198},
pages = {105782},
year = {2021},
url = {https://doi.org/10.1016/j.cmpb.2020.105782},
doi = {10.1016/J.CMPB.2020.105782},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/InesDHMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/LacalleCRDHMMMP21,
author = {David Lacalle and
H{\'{e}}ctor Alfonso Castro{-}Abril and
Teodora Randelovic and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Gadea Mata and
Yolanda M{\'{e}}ndez and
Vico Pascual and
Ignacio Ochoa},
title = {SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation},
journal = {Comput. Methods Programs Biomed.},
volume = {200},
pages = {105837},
year = {2021},
url = {https://doi.org/10.1016/j.cmpb.2020.105837},
doi = {10.1016/J.CMPB.2020.105837},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cmpb/LacalleCRDHMMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/ShoeibiSMGHAKKN21,
author = {Afshin Shoeibi and
Delaram Sadeghi and
Parisa Moridian and
Navid Ghassemi and
J{\'{o}}nathan Heras and
Roohallah Alizadehsani and
Ali Khadem and
Yinan Kong and
Saeid Nahavandi and
Yu{-}Dong Zhang and
Juan Manuel G{\'{o}}rriz},
title = {Automatic Diagnosis of Schizophrenia in {EEG} Signals Using {CNN-LSTM}
Models},
journal = {Frontiers Neuroinformatics},
volume = {15},
pages = {777977},
year = {2021},
url = {https://doi.org/10.3389/fninf.2021.777977},
doi = {10.3389/FNINF.2021.777977},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fini/ShoeibiSMGHAKKN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/Paluzo-HidalgoG21,
author = {Eduardo Paluzo{-}Hidalgo and
Roc{\'{\i}}o Gonz{\'{a}}lez{-}D{\'{\i}}az and
Miguel A. Guti{\'{e}}rrez{-}Naranjo and
J{\'{o}}nathan Heras},
title = {Optimizing the Simplicial-Map Neural Network Architecture},
journal = {J. Imaging},
volume = {7},
number = {9},
pages = {173},
year = {2021},
url = {https://doi.org/10.3390/jimaging7090173},
doi = {10.3390/JIMAGING7090173},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/Paluzo-HidalgoG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/Garcia-Dominguez21,
author = {Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {{UFOD:} An AutoML framework for the construction, comparison, and
combination of object detection models},
journal = {Pattern Recognit. Lett.},
volume = {145},
pages = {135--140},
year = {2021},
url = {https://doi.org/10.1016/j.patrec.2021.01.022},
doi = {10.1016/J.PATREC.2021.01.022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/Garcia-Dominguez21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/Casado-GarciaGH21,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Adri{\'{a}}n In{\'{e}}s and
Didac Royo and
Miguel {\'{A}}ngel Zapata},
editor = {Enrique Alba and
Gabriel Luque and
Francisco Chicano and
Carlos Cotta and
David Camacho and
Manuel Ojeda{-}Aciego and
Susana Montes and
Alicia Troncoso and
Jos{\'{e}} C. Riquelme and
Rodrigo Gil{-}Merino},
title = {Prediction of Epiretinal Membrane from Retinal Fundus Images Using
Deep Learning},
booktitle = {Advances in Artificial Intelligence - 19th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2020/2021, M{\'{a}}laga,
Spain, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12882},
pages = {3--13},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85713-4\_1},
doi = {10.1007/978-3-030-85713-4\_1},
timestamp = {Wed, 13 Jul 2022 16:15:15 +0200},
biburl = {https://dblp.org/rec/conf/caepia/Casado-GarciaGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/Casado-GarciaH21,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
J{\'{o}}nathan Heras},
editor = {Enrique Alba and
Gabriel Luque and
Francisco Chicano and
Carlos Cotta and
David Camacho and
Manuel Ojeda{-}Aciego and
Susana Montes and
Alicia Troncoso and
Jos{\'{e}} C. Riquelme and
Rodrigo Gil{-}Merino},
title = {LabelDetection: Simplifying the Use and Construction of Deep Detection
Models},
booktitle = {Advances in Artificial Intelligence - 19th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2020/2021, M{\'{a}}laga,
Spain, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12882},
pages = {14--22},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85713-4\_2},
doi = {10.1007/978-3-030-85713-4\_2},
timestamp = {Tue, 14 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caepia/Casado-GarciaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/VillotaSDHMP21,
author = {Mar{\'{\i}}a Villota and
Gonzalo Santamar{\'{\i}}a and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Enrique Alba and
Gabriel Luque and
Francisco Chicano and
Carlos Cotta and
David Camacho and
Manuel Ojeda{-}Aciego and
Susana Montes and
Alicia Troncoso and
Jos{\'{e}} C. Riquelme and
Rodrigo Gil{-}Merino},
title = {Towards Combining Object Detection and Text Classification Models
for Form Entity Recognition},
booktitle = {Advances in Artificial Intelligence - 19th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2020/2021, M{\'{a}}laga,
Spain, September 22-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12882},
pages = {196--205},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85713-4\_19},
doi = {10.1007/978-3-030-85713-4\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caepia/VillotaSDHMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/teachml/Heras21,
author = {J{\'{o}}nathan Heras},
editor = {Katherine M. Kinnaird and
Peter Steinbach and
Oliver Guhr},
title = {Deep Learning Projects from a Regional Council: An Experience Report},
booktitle = {Proceedings of the Second Teaching Machine Learning and Artificial
Intelligence Workshop, September 8+13, 2021, Virtual Conference},
series = {Proceedings of Machine Learning Research},
volume = {170},
pages = {15--19},
publisher = {{PMLR}},
year = {2021},
url = {https://proceedings.mlr.press/v170/heras22a.html},
timestamp = {Tue, 14 Jun 2022 16:18:42 +0200},
biburl = {https://dblp.org/rec/conf/teachml/Heras21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11949,
author = {Navid Ghassemi and
Afshin Shoeibi and
Marjane Khodatars and
J{\'{o}}nathan Heras and
Alireza Rahimi and
Assef Zare and
Ram Bilas Pachori and
Juan Manuel G{\'{o}}rriz},
title = {Automatic Diagnosis of {COVID-19} from {CT} Images using CycleGAN
and Transfer Learning},
journal = {CoRR},
volume = {abs/2104.11949},
year = {2021},
url = {https://arxiv.org/abs/2104.11949},
eprinttype = {arXiv},
eprint = {2104.11949},
timestamp = {Fri, 21 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11949.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04881,
author = {Afshin Shoeibi and
Marjane Khodatars and
Mahboobeh Jafari and
Parisa Moridian and
Mitra Rezaei and
Roohallah Alizadehsani and
Fahime Khozeimeh and
Juan Manuel G{\'{o}}rriz and
J{\'{o}}nathan Heras and
Maryam Panahiazar and
Saeid Nahavandi and
U. Rajendra Acharya},
title = {Applications of Deep Learning Techniques for Automated Multiple Sclerosis
Detection Using Magnetic Resonance Imaging: {A} Review},
journal = {CoRR},
volume = {abs/2105.04881},
year = {2021},
url = {https://arxiv.org/abs/2105.04881},
eprinttype = {arXiv},
eprint = {2105.04881},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01120,
author = {Afshin Shoeibi and
Delaram Sadeghi and
Parisa Moridian and
Navid Ghassemi and
J{\'{o}}nathan Heras and
Roohallah Alizadehsani and
Ali Khadem and
Yinan Kong and
Saeid Nahavandi and
Juan Manuel G{\'{o}}rriz},
title = {Automatic Diagnosis of Schizophrenia using {EEG} Signals and {CNN-LSTM}
Models},
journal = {CoRR},
volume = {abs/2109.01120},
year = {2021},
url = {https://arxiv.org/abs/2109.01120},
eprinttype = {arXiv},
eprint = {2109.01120},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07443,
author = {Mar{\'{\i}}a Villota and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {Text Classification Models for Form Entity Linking},
journal = {CoRR},
volume = {abs/2112.07443},
year = {2021},
url = {https://arxiv.org/abs/2112.07443},
eprinttype = {arXiv},
eprint = {2112.07443},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09043,
author = {Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {Neural Style Transfer and Unpaired Image-to-Image Translation to deal
with the Domain Shift Problem on Spheroid Segmentation},
journal = {CoRR},
volume = {abs/2112.09043},
year = {2021},
url = {https://arxiv.org/abs/2112.09043},
eprinttype = {arXiv},
eprint = {2112.09043},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GarciaDHMP20,
author = {Manuel Garc{\'{\i}}a{-}Dominguez and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {FrImCla: {A} Framework for Image Classification Using Traditional
and Transfer Learning Techniques},
journal = {{IEEE} Access},
volume = {8},
pages = {53443--53455},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2980798},
doi = {10.1109/ACCESS.2020.2980798},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GarciaDHMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/Casado-GarciadS20,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
Arantza del{-}Canto and
Alvaro Sanz{-}S{\'{a}}ez and
Usue P{\'{e}}rez{-}L{\'{o}}pez and
Amaia Bilbao{-}Kareaga and
Felix B. Fritschi and
Jon Miranda{-}Apodaca and
Alberto Mu{\~{n}}oz{-}Rueda and
Anna Sillero{-}Mart{\'{\i}}nez and
Ander Yoldi{-}Achalandabaso and
Maite Lacuesta and
J{\'{o}}nathan Heras},
title = {LabelStoma: {A} tool for stomata detection based on the {YOLO} algorithm},
journal = {Comput. Electron. Agric.},
volume = {178},
pages = {105751},
year = {2020},
url = {https://doi.org/10.1016/j.compag.2020.105751},
doi = {10.1016/J.COMPAG.2020.105751},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cea/Casado-GarciadS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nca/CarballalFHR20,
author = {Adri{\'{a}}n Carballal and
Carlos Fernandez{-}Lozano and
J{\'{o}}nathan Heras and
Juan Romero},
title = {Transfer learning features for predicting aesthetics through a novel
hybrid machine learning method},
journal = {Neural Comput. Appl.},
volume = {32},
number = {10},
pages = {5889--5900},
year = {2020},
url = {https://doi.org/10.1007/s00521-019-04065-4},
doi = {10.1007/S00521-019-04065-4},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nca/CarballalFHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/das/Casado-GarciaDH20,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Xiang Bai and
Dimosthenis Karatzas and
Daniel Lopresti},
title = {The Benefits of Close-Domain Fine-Tuning for Table Detection in Document
Images},
booktitle = {Document Analysis Systems - 14th {IAPR} International Workshop, {DAS}
2020, Wuhan, China, July 26-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12116},
pages = {199--215},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57058-3\_15},
doi = {10.1007/978-3-030-57058-3\_15},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/das/Casado-GarciaDH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Casado-GarciaH20,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
J{\'{o}}nathan Heras},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Ensemble Methods for Object Detection},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2688--2695},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200407},
doi = {10.3233/FAIA200407},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Casado-GarciaH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CasadoDGHIMP19,
author = {{\'{A}}ngela Casado and
C{\'{e}}sar Dom{\'{\i}}nguez and
Manuel Garc{\'{\i}}a{-}Dominguez and
J{\'{o}}nathan Heras and
Adri{\'{a}}n In{\'{e}}s and
Eloy J. Mata and
Vico Pascual},
title = {CLoDSA: a tool for augmentation in classification, localization, detection,
semantic segmentation and instance segmentation tasks},
journal = {{BMC} Bioinform.},
volume = {20},
number = {1},
pages = {323:1--323:14},
year = {2019},
url = {https://doi.org/10.1186/s12859-019-2931-1},
doi = {10.1186/S12859-019-2931-1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/CasadoDGHIMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/InesDHMP19,
author = {Adri{\'{a}}n In{\'{e}}s and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks
for image classification},
journal = {Comput. Biol. Medicine},
volume = {108},
pages = {49--56},
year = {2019},
url = {https://doi.org/10.1016/j.compbiomed.2019.03.026},
doi = {10.1016/J.COMPBIOMED.2019.03.026},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/InesDHMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/DominguezEHI19,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
Arturo Jaime Elizondo and
J{\'{o}}nathan Heras and
Francisco J. Garc{\'{\i}}a Izquierdo},
title = {The Effects of Adding Non-Compulsory Exercises to an Online Learning
Tool on Student Performance and Code Copying},
journal = {{ACM} Trans. Comput. Educ.},
volume = {19},
number = {3},
pages = {16:1--16:22},
year = {2019},
url = {https://doi.org/10.1145/3264507},
doi = {10.1145/3264507},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jeric/DominguezEHI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Arredondo-Santoyo19,
author = {Marina Arredondo{-}Santoyo and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual and
Maria Soledad V{\'{a}}zquez{-}Garcidue{\~{n}}as and
Gerardo V{\'{a}}zquez{-}Marrufo},
title = {Automatic characterisation of dye decolourisation in fungal strains
using expert, traditional, and deep features},
journal = {Soft Comput.},
volume = {23},
number = {23},
pages = {12799--12812},
year = {2019},
url = {https://doi.org/10.1007/s00500-019-03832-8},
doi = {10.1007/S00500-019-03832-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Arredondo-Santoyo19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Garcia-Dominguez19,
author = {Manuel Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Jupyter Notebooks for Simplifying Transfer Learning},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2019 - 17th International
Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019,
Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12014},
pages = {215--221},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45096-0\_27},
doi = {10.1007/978-3-030-45096-0\_27},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Garcia-Dominguez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/Casado-GarciaHS19,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
J{\'{o}}nathan Heras and
Alvaro Sanz{-}S{\'{a}}ez},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Google Colaboratory for Quantifying Stomata in Images},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2019 - 17th International
Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019,
Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12014},
pages = {231--238},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45096-0\_29},
doi = {10.1007/978-3-030-45096-0\_29},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/Casado-GarciaHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/InesDHMP19,
author = {Adri{\'{a}}n In{\'{e}}s and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {DeepCompareJ: Comparing Image Classification Models},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2019 - 17th International
Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019,
Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12014},
pages = {256--262},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45096-0\_32},
doi = {10.1007/978-3-030-45096-0\_32},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/InesDHMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BigattiHS19,
author = {Anna Maria Bigatti and
J{\'{o}}nathan Heras and
Eduardo S{\'{a}}enz{-}de{-}Cabez{\'{o}}n},
editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
title = {Monomial Resolutions for Efficient Computation of Simplicial Homology},
booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
pages = {50--57},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3326229.3326266},
doi = {10.1145/3326229.3326266},
timestamp = {Wed, 31 Jan 2024 21:56:28 +0100},
biburl = {https://dblp.org/rec/conf/issac/BigattiHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-05846,
author = {{\'{A}}ngela Casado{-}Garc{\'{\i}}a and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {The Benefits of Close-Domain Fine-Tuning for Table Detection in Document
Images},
journal = {CoRR},
volume = {abs/1912.05846},
year = {2019},
url = {http://arxiv.org/abs/1912.05846},
eprinttype = {arXiv},
eprint = {1912.05846},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-05846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/DominguezHMP18,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
title = {DecoFungi: a web application for automatic characterisation of dye
decolorisation in fungal strains},
journal = {{BMC} Bioinform.},
volume = {19},
number = {1},
pages = {66:1--66:4},
year = {2018},
url = {https://doi.org/10.1186/s12859-018-2082-9},
doi = {10.1186/S12859-018-2082-9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/DominguezHMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/GarciaDHMP18,
author = {Manuel Garc{\'{\i}}a{-}Dominguez and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Sara Rodr{\'{\i}}guez and
Javier Prieto and
Pedro Faria and
Slawomir Klos and
Alberto Fern{\'{a}}ndez and
Santiago Mazuelas and
Mar{\'{\i}}a Dolores Jim{\'{e}}nez{-}L{\'{o}}pez and
Mar{\'{\i}}a N. Moreno and
Elena Maria Navarro Mart{\'{\i}}nez},
title = {An On-Going Framework for Easily Experimenting with Deep Learning
Models for Bioimaging Analysis},
booktitle = {Distributed Computing and Artificial Intelligence, 15th International
Conference, {DCAI} 2018, Toledo, Spain, 20-22 June 2018, Special Sessions
{I}},
series = {Advances in Intelligent Systems and Computing},
volume = {801},
pages = {330--333},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99608-0\_39},
doi = {10.1007/978-3-319-99608-0\_39},
timestamp = {Mon, 11 Mar 2024 20:43:17 +0100},
biburl = {https://dblp.org/rec/conf/dcai/GarciaDHMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/InesDHMP18,
author = {Adri{\'{a}}n In{\'{e}}s and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Sara Rodr{\'{\i}}guez and
Javier Prieto and
Pedro Faria and
Slawomir Klos and
Alberto Fern{\'{a}}ndez and
Santiago Mazuelas and
Mar{\'{\i}}a Dolores Jim{\'{e}}nez{-}L{\'{o}}pez and
Mar{\'{\i}}a N. Moreno and
Elena Maria Navarro Mart{\'{\i}}nez},
title = {Towards Integrating ImageJ with Deep Biomedical Models},
booktitle = {Distributed Computing and Artificial Intelligence, 15th International
Conference, {DCAI} 2018, Toledo, Spain, 20-22 June 2018, Special Sessions
{I}},
series = {Advances in Intelligent Systems and Computing},
volume = {801},
pages = {334--338},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99608-0\_40},
doi = {10.1007/978-3-319-99608-0\_40},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcai/InesDHMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-03322,
author = {{\'{A}}ngela Casado and
J{\'{o}}nathan Heras},
title = {Guiding the Creation of Deep Learning-based Object Detectors},
journal = {CoRR},
volume = {abs/1809.03322},
year = {2018},
url = {http://arxiv.org/abs/1809.03322},
eprinttype = {arXiv},
eprint = {1809.03322},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/DominguezHP17,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Vico Pascual},
title = {IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine},
journal = {Comput. Biol. Medicine},
volume = {84},
pages = {189--194},
year = {2017},
url = {https://doi.org/10.1016/j.compbiomed.2017.03.027},
doi = {10.1016/J.COMPBIOMED.2017.03.027},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/DominguezHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/DominguezHMPVV17,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual and
Maria Soledad V{\'{a}}zquez{-}Garcidue{\~{n}}as and
Gerardo V{\'{a}}zquez{-}Marrufo},
title = {Extending GelJ for interoperability: Filling the gap in the bioinformatics
resources for population genetics analysis with dominant markers},
journal = {Comput. Methods Programs Biomed.},
volume = {140},
pages = {69--76},
year = {2017},
url = {https://doi.org/10.1016/j.cmpb.2016.12.001},
doi = {10.1016/J.CMPB.2016.12.001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/DominguezHMPVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/AlonsoDHMPTZ17,
author = {Carla Andrea Alonso and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual and
Carmen Torres and
Myriam Zarazaga},
title = {Antibiogramj: {A} tool for analysing images from disk diffusion tests},
journal = {Comput. Methods Programs Biomed.},
volume = {143},
pages = {159--169},
year = {2017},
url = {https://doi.org/10.1016/j.cmpb.2017.03.010},
doi = {10.1016/J.CMPB.2017.03.010},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/AlonsoDHMPTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/DominguezGHIMP17,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
Manuel Garc{\'{\i}}a{-}Dominguez and
J{\'{o}}nathan Heras and
Adri{\'{a}}n In{\'{e}}s and
Eloy J. Mata and
Vico Pascual},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {DetectionEvaluationJ: {A} Tool to Evaluate Object Detection Algorithms},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2017 - 16th International
Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017,
Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10672},
pages = {273--280},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74727-9\_32},
doi = {10.1007/978-3-319-74727-9\_32},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/DominguezGHIMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KomendantskayaH17,
author = {Ekaterina Komendantskaya and
J{\'{o}}nathan Heras},
editor = {Herman Geuvers and
Matthew England and
Osman Hasan and
Florian Rabe and
Olaf Teschke},
title = {Proof Mining with Dependent Types},
booktitle = {Intelligent Computer Mathematics - 10th International Conference,
{CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10383},
pages = {303--318},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62075-6\_21},
doi = {10.1007/978-3-319-62075-6\_21},
timestamp = {Mon, 31 Jan 2022 07:36:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KomendantskayaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaH17,
author = {Ekaterina Komendantskaya and
J{\'{o}}nathan Heras},
title = {Proof Mining with Dependent Types},
journal = {CoRR},
volume = {abs/1705.04680},
year = {2017},
url = {http://arxiv.org/abs/1705.04680},
eprinttype = {arXiv},
eprint = {1705.04680},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KomendantskayaH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/HerasDMPLTZ16,
author = {J{\'{o}}nathan Heras and
C{\'{e}}sar Dom{\'{\i}}nguez and
Eloy J. Mata and
Vico Pascual and
Carmen Lozano and
Carmen Torres and
Myriam Zarazaga},
title = {A survey of tools for analysing {DNA} fingerprints},
journal = {Briefings Bioinform.},
volume = {17},
number = {6},
pages = {903--911},
year = {2016},
url = {https://doi.org/10.1093/bib/bbv016},
doi = {10.1093/BIB/BBV016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/HerasDMPLTZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/HerasDMP16,
author = {J{\'{o}}nathan Heras and
C{\'{e}}sar Dom{\'{\i}}nguez and
Eloy J. Mata and
Vico Pascual},
title = {Surveying and benchmarking techniques to analyse {DNA} gel fingerprint
images},
journal = {Briefings Bioinform.},
volume = {17},
number = {6},
pages = {912--925},
year = {2016},
url = {https://doi.org/10.1093/bib/bbv102},
doi = {10.1093/BIB/BBV102},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/HerasDMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/DominguezESBH16,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
Arturo Jaime Elizondo and
Ana S{\'{a}}nchez and
Jos{\'{e}} Miguel Blanco and
J{\'{o}}nathan Heras},
title = {A comparative analysis of the consistency and difference among online
self-, peer-, external- and instructor-assessments: The competitive
effect},
journal = {Comput. Hum. Behav.},
volume = {60},
pages = {112--120},
year = {2016},
url = {https://doi.org/10.1016/j.chb.2016.02.061},
doi = {10.1016/J.CHB.2016.02.061},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chb/DominguezESBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MataHMRR16,
author = {Gadea Mata and
J{\'{o}}nathan Heras and
Miguel Morales and
Ana Romero and
Julio Rubio},
editor = {James P. Gilbert and
Haim Azhari and
Hesham H. Ali and
Carla Quint{\~{a}}o and
Jan Sliwa and
Carolina Ruiz and
Ana L. N. Fred and
Hugo Gamboa},
title = {SynapCountJ: {A} Tool for Analyzing Synaptic Densities in Neurons},
booktitle = {Proceedings of the 9th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 2:
BIOIMAGING, Rome, Italy, February 21-23, 2016},
pages = {25--31},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005637700250031},
doi = {10.5220/0005637700250031},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/MataHMRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MataCHMRR16,
author = {Gadea Mata and
Germ{\'{a}}n Cuesto and
J{\'{o}}nathan Heras and
Miguel Morales and
Ana Romero and
Julio Rubio},
editor = {Ana L. N. Fred and
Hugo Gamboa},
title = {SynapCountJ: {A} Validated Tool for Analyzing Synaptic Densities in
Neurons},
booktitle = {Biomedical Engineering Systems and Technologies - 9th International
Joint Conference, {BIOSTEC} 2016, Rome, Italy, February 21-23, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {690},
pages = {41--55},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-54717-6\_3},
doi = {10.1007/978-3-319-54717-6\_3},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/MataCHMRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/DominguezHMP16,
author = {C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Eloy J. Mata and
Vico Pascual},
editor = {Oscar Luaces and
Jos{\'{e}} A. G{\'{a}}mez and
Edurne Barrenechea and
Alicia Troncoso and
Mikel Galar and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {WekaBioSimilarity - Extending Weka with Resemblance Measures},
booktitle = {Advances in Artificial Intelligence - 17th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2016, Salamanca,
Spain, September 14-16, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9868},
pages = {89--98},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44636-3\_9},
doi = {10.1007/978-3-319-44636-3\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caepia/DominguezHMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/HerasMP15,
author = {J{\'{o}}nathan Heras and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Vico Pascual},
title = {Modelling algebraic structures and morphisms in {ACL2}},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {26},
number = {3},
pages = {277--303},
year = {2015},
url = {https://doi.org/10.1007/s00200-015-0252-9},
doi = {10.1007/S00200-015-0252-9},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/HerasMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/HerasDMPLTZ15,
author = {J{\'{o}}nathan Heras and
C{\'{e}}sar Dom{\'{\i}}nguez and
Eloy J. Mata and
Vico Pascual and
Carmen Lozano and
Carmen Torres and
Myriam Zarazaga},
title = {GelJ - a tool for analyzing {DNA} fingerprint gel images},
journal = {{BMC} Bioinform.},
volume = {16},
pages = {270:1--270:8},
year = {2015},
url = {https://doi.org/10.1186/s12859-015-0703-0},
doi = {10.1186/S12859-015-0703-0},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/HerasDMPLTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MataHMRR15,
author = {Gadea Mata and
J{\'{o}}nathan Heras and
Miguel Morales and
Ana Romero and
Julio Rubio},
title = {SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons},
journal = {CoRR},
volume = {abs/1507.07800},
year = {2015},
url = {http://arxiv.org/abs/1507.07800},
eprinttype = {arXiv},
eprint = {1507.07800},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MataHMRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HerasMCRM15,
author = {J{\'{o}}nathan Heras and
Gadea Mata and
Germ{\'{a}}n Cuesto and
Julio Rubio and
Miguel Morales},
title = {Neuron detection in stack images: a persistent homology interpretation},
journal = {CoRR},
volume = {abs/1509.04420},
year = {2015},
url = {http://arxiv.org/abs/1509.04420},
eprinttype = {arXiv},
eprint = {1509.04420},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HerasMCRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HerasK14,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
title = {Recycling Proof Patterns in Coq: Case Studies},
journal = {Math. Comput. Sci.},
volume = {8},
number = {1},
pages = {99--116},
year = {2014},
url = {https://doi.org/10.1007/s11786-014-0173-1},
doi = {10.1007/S11786-014-0173-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/HerasK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/PozaDHR14,
author = {Mar{\'{\i}}a Poza and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Julio Rubio},
title = {A Certified Reduction Strategy for Homological Image Processing},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {23:1--23:23},
year = {2014},
url = {https://doi.org/10.1145/2630789},
doi = {10.1145/2630789},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/PozaDHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Aransay-AzofraDHLPRR14,
author = {Jes{\'{u}}s Aransay{-}Azofra and
Jose Divas{\'{o}}n and
J{\'{o}}nathan Heras and
Laureano Lamb{\'{a}}n and
Mar{\'{\i}}a Vico Pascual and
{\'{A}}ngel Luis Rubio and
Julio Rubio},
editor = {Gonzalo A. Aranda{-}Corral and
Jacques Calmet and
Francisco J. Mart{\'{\i}}n{-}Mateos},
title = {Obtaining an {ACL2} Specification from an Isabelle/HOL Theory},
booktitle = {Artificial Intelligence and Symbolic Computation - 12th International
Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8884},
pages = {49--63},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13770-4\_6},
doi = {10.1007/978-3-319-13770-4\_6},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Aransay-AzofraDHLPRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HerasK14b,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
editor = {Freek Verbeek and
Julien Schmaltz},
title = {ACL2(ml): Machine-Learning for {ACL2}},
booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
pages = {61--75},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152.5},
doi = {10.4204/EPTCS.152.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/HerasK14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HerasK14,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
title = {Proof Pattern Search in Coq/SSReflect},
journal = {CoRR},
volume = {abs/1402.0081},
year = {2014},
url = {http://arxiv.org/abs/1402.0081},
eprinttype = {arXiv},
eprint = {1402.0081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HerasK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HerasKS14,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya and
Martin Schmidt},
title = {Guarding (Co)Recursion in Coalgebraic Logic Programming},
journal = {CoRR},
volume = {abs/1402.3690},
year = {2014},
url = {http://arxiv.org/abs/1402.3690},
eprinttype = {arXiv},
eprint = {1402.3690},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HerasKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HerasK14a,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
title = {HoTT formalisation in Coq: Dependency Graphs {\textbackslash}{\&}
{ML4PG}},
journal = {CoRR},
volume = {abs/1403.2531},
year = {2014},
url = {http://arxiv.org/abs/1403.2531},
eprinttype = {arXiv},
eprint = {1403.2531},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HerasK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RomeroHMMR14,
author = {Ana Romero and
J{\'{o}}nathan Heras and
Gadea Mata and
Miguel Morales and
Julio Rubio},
title = {Procesamiento topo-geom{\'{e}}trico de im{\'{a}}genes neuronales},
journal = {CoRR},
volume = {abs/1403.6719},
year = {2014},
url = {http://arxiv.org/abs/1403.6719},
eprinttype = {arXiv},
eprint = {1403.6719},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RomeroHMMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RomeroHRS14,
author = {Ana Romero and
J{\'{o}}nathan Heras and
Julio Rubio and
Francis Sergeraert},
title = {Defining and computing persistent Z-homology in the general case},
journal = {CoRR},
volume = {abs/1403.7086},
year = {2014},
url = {http://arxiv.org/abs/1403.7086},
eprinttype = {arXiv},
eprint = {1403.7086},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RomeroHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HerasCMS13,
author = {J{\'{o}}nathan Heras and
Thierry Coquand and
Anders M{\"{o}}rtberg and
Vincent Siles},
title = {Computing persistent homology within Coq/SSReflect},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {4},
pages = {26:1--26:16},
year = {2013},
url = {https://doi.org/10.1145/2528929},
doi = {10.1145/2528929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HerasCMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HerasKJM13,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya and
Moa Johansson and
Ewen Maclean},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Proof-Pattern Recognition and Lemma Discovery in {ACL2}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {389--406},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_27},
doi = {10.1007/978-3-642-45221-5\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HerasKJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasMRRS13,
author = {J{\'{o}}nathan Heras and
Gadea Mata and
Ana Romero and
Julio Rubio and
Rub{\'{e}}n S{\'{a}}enz},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Verifying a Plaftorm for Digital Imaging: {A} Multi-tool Strategy},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {66--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_5},
doi = {10.1007/978-3-642-39320-4\_5},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HerasMRRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasK13,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {{ML4PG} in Computer Algebra Verification},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {354--358},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_28},
doi = {10.1007/978-3-642-39320-4\_28},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HerasK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KomendantskayaSH14,
author = {Ekaterina Komendantskaya and
Martin Schmidt and
J{\'{o}}nathan Heras},
editor = {John Power and
Cai Wingfield},
title = {Exploiting Parallelism in Coalgebraic Logic Programming},
booktitle = {Proceedings of the Workshop on Algebra, Coalgebra and Topology, {WACT}
2013, Bath, UK, March 1, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {303},
pages = {121--148},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.02.007},
doi = {10.1016/J.ENTCS.2014.02.007},
timestamp = {Tue, 22 Nov 2022 11:40:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KomendantskayaSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6039,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
title = {Statistical Proof-Patterns in Coq/SSReflect},
journal = {CoRR},
volume = {abs/1301.6039},
year = {2013},
url = {http://arxiv.org/abs/1301.6039},
eprinttype = {arXiv},
eprint = {1301.6039},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6421,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
title = {{ML4PG:} proof-mining in Coq},
journal = {CoRR},
volume = {abs/1302.6421},
year = {2013},
url = {http://arxiv.org/abs/1302.6421},
eprinttype = {arXiv},
eprint = {1302.6421},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1419,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya},
title = {Statistical Proof Pattern Recognition: Automated or Interactive?},
journal = {CoRR},
volume = {abs/1303.1419},
year = {2013},
url = {http://arxiv.org/abs/1303.1419},
eprinttype = {arXiv},
eprint = {1303.1419},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-1419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1420,
author = {J{\'{o}}nathan Heras and
Gadea Mata and
Ana Romero and
Julio Rubio and
Rub{\'{e}}n S{\'{a}}enz},
title = {Verifying a platform for digital imaging: a multi-tool strategy},
journal = {CoRR},
volume = {abs/1303.1420},
year = {2013},
url = {http://arxiv.org/abs/1303.1420},
eprinttype = {arXiv},
eprint = {1303.1420},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-1420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PozaDHR13,
author = {Mar{\'{\i}}a Poza and
C{\'{e}}sar Dom{\'{\i}}nguez and
J{\'{o}}nathan Heras and
Julio Rubio},
title = {A certified reduction strategy for homological image processing},
journal = {CoRR},
volume = {abs/1306.0806},
year = {2013},
url = {http://arxiv.org/abs/1306.0806},
eprinttype = {arXiv},
eprint = {1306.0806},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PozaDHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HerasKJM13,
author = {J{\'{o}}nathan Heras and
Ekaterina Komendantskaya and
Moa Johansson and
Ewen Maclean},
title = {Proof-Pattern Recognition in {ACL2}},
journal = {CoRR},
volume = {abs/1308.1780},
year = {2013},
url = {http://arxiv.org/abs/1308.1780},
eprinttype = {arXiv},
eprint = {1308.1780},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HerasKJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KomendantskayaSH13,
author = {Ekaterina Komendantskaya and
Martin Schmidt and
J{\'{o}}nathan Heras},
title = {Exploiting Parallelism in Coalgebraic Logic Programming},
journal = {CoRR},
volume = {abs/1312.4454},
year = {2013},
url = {http://arxiv.org/abs/1312.4454},
eprinttype = {arXiv},
eprint = {1312.4454},
timestamp = {Fri, 05 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KomendantskayaSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HerasPR12,
author = {J{\'{o}}nathan Heras and
Mar{\'{\i}}a Poza and
Julio Rubio},
editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
title = {Verifying an Algorithm Computing Discrete Vector Fields for Digital
Imaging},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
{DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7362},
pages = {216--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31374-5\_15},
doi = {10.1007/978-3-642-31374-5\_15},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HerasPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctic/HerasDMMPS12,
author = {J{\'{o}}nathan Heras and
Maxime D{\'{e}}n{\`{e}}s and
Gadea Mata and
Anders M{\"{o}}rtberg and
Mar{\'{\i}}a Poza and
Vincent Siles},
editor = {Massimo Ferri and
Patrizio Frosini and
Claudia Landi and
Andrea Cerri and
Barbara Di Fabio},
title = {Towards a Certified Computation of Homology Groups for Digital Images},
booktitle = {Computational Topology in Image Context - 4th International Workshop,
{CTIC} 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7309},
pages = {49--57},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30238-1\_6},
doi = {10.1007/978-3-642-30238-1\_6},
timestamp = {Wed, 15 Mar 2023 20:26:46 +0100},
biburl = {https://dblp.org/rec/conf/ctic/HerasDMMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3618,
author = {Ekaterina Komendantskaya and
J{\'{o}}nathan Heras and
Gudmund Grov},
editor = {Cezary Kaliszyk and
Christoph L{\"{u}}th},
title = {Machine Learning in Proof General: Interfacing Interfaces},
booktitle = {Proceedings 10th International Workshop On User Interfaces for Theorem
Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
series = {{EPTCS}},
volume = {118},
pages = {15--41},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.118.2},
doi = {10.4204/EPTCS.118.2},
timestamp = {Wed, 16 Mar 2022 23:52:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-3315,
author = {J{\'{o}}nathan Heras and
Mar{\'{\i}}a Poza and
Julio Rubio},
title = {Verifying an algorithm computing Discrete Vector Fields for digital
imaging},
journal = {CoRR},
volume = {abs/1207.3315},
year = {2012},
url = {http://arxiv.org/abs/1207.3315},
eprinttype = {arXiv},
eprint = {1207.3315},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-3315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-1905,
author = {J{\'{o}}nathan Heras and
Thierry Coquand and
Anders M{\"{o}}rtberg and
Vincent Siles},
title = {Computing Persistent Homology within Coq/SSReflect},
journal = {CoRR},
volume = {abs/1209.1905},
year = {2012},
url = {http://arxiv.org/abs/1209.1905},
eprinttype = {arXiv},
eprint = {1209.1905},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1905.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Heras11,
author = {J{\'{o}}nathan Heras},
title = {Mathematical knowledge management in algebraic topology},
journal = {{ACM} Commun. Comput. Algebra},
volume = {45},
number = {3/4},
pages = {236--237},
year = {2011},
url = {https://doi.org/10.1145/2110170.2110187},
doi = {10.1145/2110170.2110187},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/Heras11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HerasPRS11,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio and
Francis Sergeraert},
title = {fKenzo: {A} user interface for computations in Algebraic Topology},
journal = {J. Symb. Comput.},
volume = {46},
number = {6},
pages = {685--698},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2011.01.005},
doi = {10.1016/J.JSC.2011.01.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/HerasPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/HerasPR11,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {A Certified Module to Study Digital Images with the Kenzo System},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2011 - 13th International
Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011,
Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6927},
pages = {113--120},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27549-4\_15},
doi = {10.1007/978-3-642-27549-4\_15},
timestamp = {Wed, 07 Dec 2022 23:13:53 +0100},
biburl = {https://dblp.org/rec/conf/eurocast/HerasPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasPDR11,
author = {J{\'{o}}nathan Heras and
Mar{\'{\i}}a Poza and
Maxime D{\'{e}}n{\`{e}}s and
Laurence Rideau},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Incidence Simplicial Matrices Formalized in Coq/SSReflect},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {30--44},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_3},
doi = {10.1007/978-3-642-22673-1\_3},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/HerasPDR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasPR11,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {A System for Computing and Reasoning in Algebraic Topology},
booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
18-23, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6824},
pages = {295--297},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_26},
doi = {10.1007/978-3-642-22673-1\_26},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/HerasPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HerasPRR10,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Ana Romero and
Julio Rubio},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {Integrating Multiple Sources to Answer Questions in Algebraic Topology},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {331--335},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_28},
doi = {10.1007/978-3-642-14128-7\_28},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HerasPRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HerasPR10,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio},
editor = {Mar{\'{\i}}a Alpuente},
title = {Proving with {ACL2} the Correctness of Simplicial Sets in the Kenzo
System},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {37--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_3},
doi = {10.1007/978-3-642-20551-4\_3},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/HerasPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-0749,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Ana Romero and
Julio Rubio},
title = {Integrating multiple sources to answer questions in Algebraic Topology},
journal = {CoRR},
volume = {abs/1005.0749},
year = {2010},
url = {http://arxiv.org/abs/1005.0749},
eprinttype = {arXiv},
eprint = {1005.0749},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-0749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasPR09,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Using Open Mathematical Documents to Interface Computer Algebra and
Proof Assistant Systems},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {467--473},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_37},
doi = {10.1007/978-3-642-02614-0\_37},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/HerasPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HerasPR08,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Mediated Access to Symbolic Computation Systems},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {446--461},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_37},
doi = {10.1007/978-3-540-85110-3\_37},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HerasPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/els/HerasPRS08,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio and
Francis Sergeraert},
editor = {Pascal Costanza},
title = {Improving the usability of Kenzo, a Common Lisp system for Algebraic
Topology},
booktitle = {Proceedings of the 1st European Lisp Symposium (ELS'08), Bordeaux,
France, May 22-23, 2008},
pages = {155--176},
publisher = {{ELSAA}},
year = {2008},
url = {https://european-lisp-symposium.org/static/proceedings/2008.pdf\#page=163},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/els/HerasPRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-03-24 00:07 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:
