| 2025 | IWANN | Towards a Framework that Facilitates the Construction of Image Segmentation Models. | Joaqun Ortz de Murua, Csar Domnguez, Jnathan Heras, Vico Pascual |
| 2024 | COLING | Replace, Paraphrase or Fine-tune? Evaluating Automatic Simplification for Medical Texts in Spanish. | Leonardo Campillos-Llanos, Ana Rosa Terroba Reinares, Roco Bartolom, Ana Valverde-Mateos, Cristina Gonzlez, Adrin Capllonch-Carrin, Jnathan Heras |
| 2024 | IWINAC | Diagnosis of Schizophrenia in EEG Signals Using dDTF Effective Connectivity and New PreTrained CNN and Transformer Models. | Afshin Shoeibi, Marjane Khodatars, Hamid Alinejad-Rokny, Jnathan Heras, Sara Bagherzadeh, Amin Beheshti, Juan Manuel Grriz |
| 2023 | IBPRIA | MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation. | ngela Casado-Garca, Estefana Carlos, Csar Domnguez, Jnathan Heras, Mara Izco, Eloy J. Mata, Vico Pascual, Lydia lvarez-Erviti |
| 2023 | MICCAI | Semi-supervised Learning for Myopic Maculopathy Analysis. | Jnathan Heras |
| 2022 | DAS | Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books. | Gonzalo Santamara, Csar Domnguez, Jnathan Heras, Eloy J. Mata, Vico Pascual |
| 2022 | DCAI | Text Classification Models for Form Entity Linking. | Mara Villota, Csar Domnguez, Jnathan Heras, Eloy J. Mata, Vico Pascual |
| 2022 | IBPRIA | Deep Detection Models for Measuring Epidermal Bladder Cells. | ngela Casado-Garca, Aitor Agirresarobe, Jon Miranda-Apodaca, Jnathan Heras, Usue Prez-Lpez |
| 2022 | IWINAC | Automatic Diagnosis of Myocarditis in Cardiac Magnetic Images Using CycleGAN and Deep PreTrained Models. | Afshin Shoeibi, Navid Ghassemi, Jnathan Heras, Mitra Rezaei, Juan Manuel Grriz |
| 2020 | DAS | The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. | ngela Casado-Garca, Csar Domnguez, Jnathan Heras, Eloy J. Mata, Vico Pascual |
| 2020 | ECAI | Ensemble Methods for Object Detection. | ngela Casado-Garca, Jnathan Heras |
| 2019 | ISSAC | Monomial Resolutions for Efficient Computation of Simplicial Homology. | Anna Maria Bigatti, Jnathan Heras, Eduardo Senz-de-Cabezn |
| 2018 | DCAI | An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis. | Manuel Garca-Dominguez, Csar Domnguez, Jnathan Heras, Eloy J. Mata, Vico Pascual |
| 2018 | DCAI | Towards Integrating ImageJ with Deep Biomedical Models. | Adrin Ins, Csar Domnguez, Jnathan Heras, Eloy J. Mata, Vico Pascual |
| 2014 | AISC | Obtaining an ACL2 Specification from an Isabelle/HOL Theory. | Jess Aransay-Azofra, Jose Divasn, Jnathan Heras, Laureano Lambn, Mara Vico Pascual, ngel Luis Rubio, Julio Rubio |
| 2013 | LPAR | Proof-Pattern Recognition and Lemma Discovery in ACL2. | Jnathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean |
| 2012 | AISC | Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging. | Jnathan Heras, Mara Poza, Julio Rubio |
| 2010 | AISC | Integrating Multiple Sources to Answer Questions in Algebraic Topology. | Jnathan Heras, Vico Pascual, Ana Romero, Julio Rubio |
| 2010 | LOPSTR | Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. | Jnathan Heras, Vico Pascual, Julio Rubio |
| 2008 | AISC | Mediated Access to Symbolic Computation Systems. | Jnathan Heras, Vico Pascual, Julio Rubio |