Specifying Implementations. - Laureano Lambán; Vico Pascual; Julio Rubio 001 (ISSAC, 1999)

Simplicial sets in the EAT system. - Laureano Lambán; Vico Pascual; Julio Rubio 001 (SIGSAM Bull., 1999)

Hidden Specification of a Functional System. - César Domínguez 001; Laureano Lambán; Vico Pascual; Julio Rubio 001 (EUROCAST, 2001)

XML-Based Interoperability Among Symbolic Computation Systems. - Mirian Andrés; Francisco J. García Izquierdo; Vico Pascual; Julio Rubio 001 (ICWI, 2003)

An Object-oriented Interpretation of the EAT System. - Laureano Lambán; Vico Pascual; Julio Rubio 001 (Appl. Algebra Eng. Commun. Comput., 2003)

Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. - Mirian Andrés; Vico Pascual; Ana Romero 001; Julio Rubio 001 (International Conference on Computational Science (3), 2005)

Mediated Access to Symbolic Computation Systems. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (AISC/MKM/Calculemus, 2008)

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001; Francis Sergeraert (ELS, 2008)

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (Calculemus/MKM, 2009)

Integrating Multiple Sources to Answer Questions in Algebraic Topology. - Jónathan Heras; Vico Pascual; Ana Romero 001; Julio Rubio 001 (AISC/MKM/Calculemus, 2010)

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (LOPSTR, 2010)

A Certified Module to Study Digital Images with the Kenzo System. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (EUROCAST (1), 2011)

A System for Computing and Reasoning in Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001 (Calculemus/MKM, 2011)

fKenzo: A user interface for computations in Algebraic Topology. - Jónathan Heras; Vico Pascual; Julio Rubio 001; Francis Sergeraert (J. Symb. Comput., 2011)

Obtaining an ACL2 Specification from an Isabelle/HOL Theory. - Jesús Aransay-Azofra; Jose Divasón; Jónathan Heras; Laureano Lambán; María Vico Pascual; Ángel Luis Rubio; Julio Rubio 001 (AISC, 2014)

Modelling algebraic structures and morphisms in ACL2. - Jónathan Heras; Francisco-Jesús Martín-Mateos; Vico Pascual (Appl. Algebra Eng. Commun. Comput., 2015)

GelJ - a tool for analyzing DNA fingerprint gel images. - Jónathan Heras; César Domínguez 001; Eloy J. Mata; Vico Pascual; Carmen Lozano; Carmen Torres; Myriam Zarazaga (BMC Bioinform., 2015)

WekaBioSimilarity - Extending Weka with Resemblance Measures. - César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (CAEPIA, 2016)

Surveying and benchmarking techniques to analyse DNA gel fingerprint images. - Jónathan Heras; César Domínguez 001; Eloy J. Mata; Vico Pascual (Briefings Bioinform., 2016)

A survey of tools for analysing DNA fingerprints. - Jónathan Heras; César Domínguez 001; Eloy J. Mata; Vico Pascual; Carmen Lozano; Carmen Torres; Myriam Zarazaga (Briefings Bioinform., 2016)

DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms. - César Domínguez 001; Manuel García-Dominguez; Jónathan Heras; Adrián Inés; Eloy J. Mata; Vico Pascual (EUROCAST (2), 2017)

IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine. - César Domínguez 001; Jónathan Heras; Vico Pascual (Comput. Biol. Medicine, 2017)

Antibiogramj: A tool for analysing images from disk diffusion tests. - Carla Andrea Alonso; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual; Carmen Torres; Myriam Zarazaga (Comput. Methods Programs Biomed., 2017)

Extending GelJ for interoperability: Filling the gap in the bioinformatics resources for population genetics analysis with dominant markers. - César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual; Maria Soledad Vázquez-Garcidueñas; Gerardo Vázquez-Marrufo (Comput. Methods Programs Biomed., 2017)

An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis. - Manuel García-Dominguez; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (DCAI (Special Sessions), 2018)

Towards Integrating ImageJ with Deep Biomedical Models. - Adrián Inés; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (DCAI (Special Sessions), 2018)

DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains. - César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (BMC Bioinform., 2018)

Jupyter Notebooks for Simplifying Transfer Learning. - Manuel García-Domínguez; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (EUROCAST (2), 2019)

DeepCompareJ: Comparing Image Classification Models. - Adrián Inés; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (EUROCAST (2), 2019)

CLoDSA: a tool for augmentation in classification, localization, detection, semantic segmentation and instance segmentation tasks. - Ángela Casado; César Domínguez 001; Manuel García-Dominguez; Jónathan Heras; Adrián Inés; Eloy J. Mata; Vico Pascual (BMC Bioinform., 2019)

DeepClas4Bio: Connecting bioimaging tools with deep learning frameworks for image classification. - Adrián Inés; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (Comput. Biol. Medicine, 2019)

Automatic characterisation of dye decolourisation in fungal strains using expert, traditional, and deep features. - Marina Arredondo-Santoyo; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual; Maria Soledad Vázquez-Garcidueñas; Gerardo Vázquez-Marrufo (Soft Comput., 2019)

The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images. - Ángela Casado-García; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (DAS, 2020)

FrImCla: A Framework for Image Classification Using Traditional and Transfer Learning Techniques. - Manuel García-Dominguez; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (IEEE Access, 2020)

Towards Combining Object Detection and Text Classification Models for Form Entity Recognition. - María Villota; Gonzalo Santamaría; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (CAEPIA, 2021)

MotilityJ: An open-source tool for the classification and segmentation of bacteria on motility images. - Ángela Casado-García; Gabriela Chichón; César Domínguez 001; Manuel García-Domínguez; Jónathan Heras; Adrián Inés; María López; Eloy J. Mata; Vico Pascual; Yolanda Sáenz (Comput. Biol. Medicine, 2021)

Biomedical image classification made easier thanks to transfer and semi-supervised learning. - Adrián Inés; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (Comput. Methods Programs Biomed., 2021)

SpheroidJ: An Open-Source Set of Tools for Spheroid Segmentation. - David Lacalle; Héctor Alfonso Castro-Abril; Teodora Randelovic; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Gadea Mata; Yolanda Méndez; Vico Pascual; Ignacio Ochoa (Comput. Methods Programs Biomed., 2021)

Neural Style Transfer and Unpaired Image-to-Image Translation to deal with the Domain Shift Problem on Spheroid Segmentation. - Manuel García-Domínguez; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (CoRR, 2021)

UFOD: An AutoML framework for the construction, comparison, and combination of object detection models. - Manuel García-Domínguez; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (Pattern Recognit. Lett., 2021)

Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books. - Gonzalo Santamaría; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (DAS, 2022)

Text Classification Models for Form Entity Linking. - María Villota; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (DCAI (1), 2022)

Semi-Supervised Learning for Image Classification using Compact Networks in the BioMedical Context. - Adrián Inés; Andrés Diaz-Pinto; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (CoRR, 2022)

MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation. - Ángela Casado-García; Estefanía Carlos; César Domínguez 001; Jónathan Heras; María Izco; Eloy J. Mata; Vico Pascual; Lydia Álvarez-Erviti (IbPRIA, 2023)

Binary and multi-class automated detection of age-related macular degeneration using convolutional- and transformer-based architectures. - César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual; Didac Royo; Miguel Ángel Zapata (Comput. Methods Programs Biomed., 2023)

Semi-Supervised Semantic Segmentation for Identification of Irrelevant Objects in a Waste Recycling Plant. - César Domínguez 001; 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 (J. Univers. Comput. Sci., 2023)

Semi-supervised Learning Methods for Semantic Segmentation of Polyps. - Adrián Inés; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (CAEPIA, 2024)

Deep style transfer to deal with the domain shift problem on spheroid segmentation. - Manuel García-Domínguez; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (Neurocomputing, 2024)

Analysing semi-supervised learning for image classification using compact networks in the biomedical context. - Adrián Inés; Andres Diaz-Pinto; César Domínguez 001; Jónathan Heras; Eloy J. Mata; Vico Pascual (Soft Comput., 2024)