| 2025 | IWANN | Towards a Framework that Facilitates the Construction of Image Segmentation Models. | Joaqun Ortz de Murua, Csar Domnguez, Jnathan Heras, Vico Pascual |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 2005 | ICCS | Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. | Mirian Andrs, Vico Pascual, Ana Romero, Julio Rubio |
| 1999 | ISSAC | Specifying Implementations. | Laureano Lambn, Vico Pascual, Julio Rubio |