| 2026 | HAIS | Searching for Interpretable Multilayer Perceptrons Using a Structural-Behavioural Interpretability Metric. | Francisco Javier Martnez de Pisn, Alpha V. Perna-Espinoza, Jose Divasn |
| 2025 | HAIS | HYBPARSIMONY-IDT: Hybrid Parsimonious Search for Interpretable Decision Trees. | Francisco Javier Martnez de Pisn, Alpha V. Perna-Espinoza, Jose Divasn |
| 2024 | HAIS | BatNoiseDL: Discrimination of Bat Signals Through an Ensemble of Deep Learning Models. | Francisco Javier Martnez de Pisn, Jose Divasn, Flix Gonzlez |
| 2023 | HAIS | Hybrid Intelligent Parsimony Search in Small High-Dimensional Datasets. | Jose Divasn, Alpha V. Perna-Espinoza, Ana Romero, Francisco J. Martnez de Pisn Ascacibar |
| 2023 | HAIS | Varroa Mite Detection Using Deep Learning Techniques. | Jose Divasn, Francisco Javier Martnez de Pisn, Ana Romero, Pilar Santolaria, Jess Yniz |
| 2023 | ISSAC | Sensitivity analysis of discrete preference functions using Koszul simplicial complexes. | Jose Divasn, Fatemeh Mohammadi, Eduardo Senz-de-Cabezn, Henry P. Wynn |
| 2022 | HAIS | New Hybrid Methodology Based on Particle Swarm Optimization with Genetic Algorithms to Improve the Search of Parsimonious Models in High-Dimensional Databases. | Jose Divasn, Alpha V. Perna-Espinoza, Francisco J. Martnez de Pisn Ascacibar |
| 2019 | ISSAC | Computing Multipersistence by Means of Spectral Systems. | Andrea Guidolin, Jose Divasn, Ana Romero, Francesco Vaccarino |
| 2018 | AISC | A Formal Proof of the Computation of Hermite Normal Form in a General Setting. | Jose Divasn, Jess Aransay |
| 2018 | CPP | Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). | Jose Divasn, Sebastiaan J. C. Joosten, Ondrej Kuncar, Ren Thiemann, Akihisa Yamada |
| 2018 | ITiCSE | Experiences and new alternatives for teaching formal verification of Java programs. | Ana Romero, Jose Divasn |
| 2018 | ITP | A Formalization of the LLL Basis Reduction Algorithm. | Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 2017 | CPP | A formalization of the Berlekamp-Zassenhaus factorization algorithm. | Jose Divasn, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada |
| 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 | LOPSTR | Formalization and Execution of Linear Algebra: From Theorems to Algorithms. | Jess Aransay, Jose Divasn |