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

Modeling inheritance as coercion in a symbolic computation system. - César Domínguez 001; Julio Rubio 001 (ISSAC, 2001)

Towards Diagrammatic Specifications of Symbolic Computation Systems. - César Domínguez 001; Dominique Duval; Laureano Lambán; Julio Rubio Garcia (Mathematics, Algorithms, Proofs, 2005)

Modeling Inheritance as Coercion in the Kenzo System. - César Domínguez 001; Julio Rubio 001; Francis Sergeraert (J. Univers. Comput. Sci., 2006)

Object oriented institutions to specify symbolic computation systems. - César Domínguez 001; Laureano Lambán; Julio Rubio 001 (RAIRO Theor. Informatics Appl., 2007)

Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. - César Domínguez 001 (AISC/MKM/Calculemus, 2008)

Modelling Differential Structures in Proof Assistants: The Graded Case. - Jesús Aransay; César Domínguez 001 (EUROCAST, 2009)

A parameterization process as a categorical construction - Dominique Duval; César Domínguez 001 (CoRR, 2009)

Diagrammatic logic applied to a parameterization process - César Domínguez 001; Dominique Duval (CoRR, 2009)

A parameterization process, functorially - César Domínguez 001; Dominique Duval (CoRR, 2009)

Computing in Coq with Infinite Algebraic Data Structures. - César Domínguez 001; Julio Rubio 001 (AISC/MKM/Calculemus, 2010)

Database design learning: A project-based approach organized through a course management system. - César Domínguez 001; Arturo Jaime Elizondo (Comput. Educ., 2010)

A case-study in algebraic manipulation using mechanized reasoning tools. - Jesús Aransay; César Domínguez 001 (Int. J. Comput. Math., 2010)

Diagrammatic logic applied to a parameterisation process. - César Domínguez 001; Dominique Duval (Math. Struct. Comput. Sci., 2010)

Effective homology of bicomplexes, formalized in Coq. - César Domínguez 001; Julio Rubio 001 (Theor. Comput. Sci., 2011)

A Parameterization Process: from a Functorial Point of View. - César Domínguez 001; Dominique Duval (Int. J. Found. Comput. Sci., 2012)

Interuniversity telecollaboration to improve academic results and identify preferred communication tools. - Arturo Jaime Elizondo; César Domínguez 001; Ana Sánchez; José Miguel Blanco 001 (Comput. Educ., 2013)

Capstone projects in computer science: evaluated by stakeholders. - Juan José Olarte Larrea; César Domínguez 001; Francisco José García Izquierdo; Arturo Jaime Elizondo (ITiCSE, 2014)

A Certified Reduction Strategy for Homological Image Processing. - María Poza; César Domínguez 001; Jónathan Heras; Julio Rubio 001 (ACM Trans. Comput. Log., 2014)

Capstone Projects Evolution over a Decade in a Computer Science Engineering Degree. - Juan José Olarte Larrea; César Domínguez 001; Arturo Jaime Elizondo; Francisco J. García Izquierdo (ITiCSE, 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)

A comparative analysis of the consistency and difference among online self-, peer-, external- and instructor-assessments: The competitive effect. - César Domínguez 001; Arturo Jaime Elizondo; Ana Sánchez; José Miguel Blanco 001; Jónathan Heras (Comput. Hum. Behav., 2016)

Student and Staff Perceptions of Key Aspects of Computer Science Engineering Capstone Projects. - Juan José Olarte Larrea; César Domínguez 001; Arturo Jaime Elizondo; Francisco José García Izquierdo (IEEE Trans. Educ., 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)

Impact of Part-Time CS Engineering Internships on Workload. - Juan José Olarte Larrea; César Domínguez 001; Arturo Jaime Elizondo; Francisco J. García Izquierdo (ITiCSE, 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)

The Effects of Adding Non-Compulsory Exercises to an Online Learning Tool on Student Performance and Code Copying. - César Domínguez 001; Arturo Jaime Elizondo; Jónathan Heras; Francisco J. García Izquierdo (ACM Trans. Comput. Educ., 2019)

Incorporating Computing Professionals' Know-how: Differences between Assessment by Students, Academics, and Professional Experts. - Ana Sánchez; César Domínguez 001; José Miguel Blanco 001; Arturo Jaime Elizondo (ACM Trans. Comput. Educ., 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)

Factors Considered in the Assessment of Computer Science Engineering Capstone Projects and Their Influence on Discrepancies Between Assessors. - César Domínguez 001; Arturo Jaime Elizondo; Francisco J. García Izquierdo; Juan José Olarte Larrea (ACM Trans. Comput. Educ., 2020)

The Effect of Internships on Computer Science Engineering Capstone Projects. - Arturo Jaime Elizondo; Juan José Olarte Larrea; Francisco J. García Izquierdo; César Domínguez 001 (IEEE Trans. Educ., 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)

Using Process Mining to Analyze Time Distribution of Self-Assessment and Formative Assessment Exercises on an Online Learning Tool. - César Domínguez 001; Francisco J. García Izquierdo; Arturo Jaime Elizondo; Beatriz Pérez 001; Ángel Luis Rubio; María Antonia Zapata (IEEE Trans. Learn. Technol., 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)

Creation and Sharing of Lessons Learned by Blogging in the Context of Project-Based Learning. - Arturo Jaime Elizondo; José Miguel Blanco 001; César Domínguez 001; Rosa Arruabarrena (IEEE Access, 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)

Human Action Recognition in Uncontrolled Environments: Application from Artificial Intelligence to Contactless Interfaces. - Vanessa Alvear; César Domínguez 001; Gadea Mata (ISAmI, 2023)

Improving Accessibility in PublicWeb Pages. - César Domínguez 001; Jónathan Heras; Félix Lanas; Gadea Mata; Julio Rubio 001; Mirari San Martín (SEPLN (Projects and Demonstrations), 2023)

prevenIA: a Chatbot for Information and Prevention of Suicide and other Mental Health Disorders. - Pablo Ascorbe; María S. Campos; César Domínguez 001; Jónathan Heras; Ana Rosa Terroba Reinares (SEPLN (Projects and Demonstrations), 2023)

Semi-Supervised Machine Learning: a Homological Approach. - Adrián Inés; César Domínguez 001; Jónathan Heras; Gadea Mata; Julio Rubio 001 (CoRR, 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)

Classification of Lessons Learned Generated by Students in the Practice of Project-Based Learning. - Arturo Jaime 001; José Miguel Blanco 001; César Domínguez 001; Imanol Usandizaga; Rosa Arruabarrena (Rev. Iberoam. de Tecnol. del Aprendiz., 2023)

An Architecture Towards Building a Reliable Suicide Information Chatbot. - Pablo Ascorbe; María S. Campos; César Domínguez 001; Jónathan Heras; Magdalena Pérez; Ana Rosa Terroba Reinares (CAEPIA, 2024)

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)

Evaluation of Different Models for Spanish Sign Language Recognition. - Vanessa Alvear; César Domínguez 001; Gadea Mata (CoDIT, 2024)

A Methodology to Build Spanish Trustworthy Question-Answer Datasets for Suicide Information. - Pablo Ascorbe; María S. Campos; César Domínguez 001; Jónathan Heras; Magdalena Pérez; Ana Rosa Terroba Reinares (EUROCAST (2), 2024)

Towards Human Action Recognition in Open Environments: A Proof of Concept on Spanish Sign Language Vowels. - Vanessa Alvear; César Domínguez 001; Gadea Mata (Interacción, 2024)

A topological approach for semi-supervised learning. - Adrián Inés; César Domínguez 001; Jónathan Heras; Gadea Mata; Julio Rubio 001 (J. Comput. Sci., 2024)

Automatic and Manual Evaluation of a Spanish Suicide Information Chatbot. - Pablo Ascorbe; María S. Campos; César Domínguez 001; Jónathan Heras; Magdalena Pérez; Ana Rosa Terroba Reinares (Proces. del Leng. Natural, 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)