Jose Divasón

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 37

Top Topics

Machine Learning Models

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Jose Divasón, Ana Romero, Francisco Javier Martínez de Pisón, Matías Casalongue, Miguel A. Silvestre, Pilar Santolaria, Jesús Yániz
Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning Techniques. Sensors 24 (12) (2024)
Jose Divasón, Ana Romero, Pilar Santolaria, Jesús Yániz
Zigzag persistence for image processing: New software and applications. Pattern Recognit. Lett. 184 (2024)
Jose Divasón, Francisco Javier Martínez de Pisón, Ana Romero, Pilar Santolaria, Jesús Yániz
Varroa Mite Detection Using Deep Learning Techniques. HAIS (2023)
Jose Divasón, Francisco Javier Martínez de Pisón, Ana Romero, Eduardo Sáenz-de-Cabezón
Robustness Analysis of a Methodology to Detect Biases, Inconsistencies and Discrepancies in the Evaluation Process. CISIS-ICEUTE (2023)
Jose Divasón, Francisco J. Martínez de Pisón Ascacibar, Ana Romero, Eduardo Sáenz-de-Cabezón
Artificial Intelligence Models for Assessing the Evaluation Process of Complex Student Projects. IEEE Trans. Learn. Technol. 16 (5) (2023)
Jose Divasón, Alpha V. Pernía-Espinoza, Ana Romero, Francisco J. Martínez de Pisón Ascacibar
Hybrid Intelligent Parsimony Search in Small High-Dimensional Datasets. HAIS (2023)
Jose Divasón, Julio Fernández-Ceniceros, Andrés Sanz-García, Alpha V. Pernía-Espinoza, Francisco Javier Martínez de Pisón
PSO-PARSIMONY: A method for finding parsimonious and accurate machine learning models with particle swarm optimization. Application for predicting force-displacement curves in T-stub steel connections. Neurocomputing 548 (2023)
Miguel Ángel Marco Buzunáriz, Ana Romero, Jose Divasón
Effective Homology of Universal Covers. ACM Commun. Comput. Algebra 57 (2) (2023)
Jose Divasón, Alpha V. Pernía-Espinoza, Francisco J. Martínez de Pisón Ascacibar
HYB-PARSIMONY: A hybrid approach combining Particle Swarm Optimization and Genetic Algorithms to find parsimonious models in high-dimensional datasets. Neurocomputing 560 (2023)
Jose Divasón, Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón, Henry P. Wynn
Sensitivity analysis of discrete preference functions using Koszul simplicial complexes. ISSAC (2023)
Jose Divasón, René Thiemann
A Formalization of the Smith Normal Form in Higher-Order Logic. J. Autom. Reason. 66 (4) (2022)
Jose Divasón, René Thiemann
Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic. J. Autom. Reason. 66 (4) (2022)
Jose Divasón, Alpha V. Pernía-Espinoza, Francisco J. Martínez de Pisón Ascacibar
New Hybrid Methodology Based on Particle Swarm Optimization with Genetic Algorithms to Improve the Search of Parsimonious Models in High-Dimensional Databases. HAIS (2022)
Ralph Bottesch, Jose Divasón, René Thiemann
Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation. Arch. Formal Proofs 2021 (2021)
Andrea Guidolin, Jose Divasón, Ana Romero, Francesco Vaccarino
Computing invariants for multipersistence via spectral systems and effective homology. J. Symb. Comput. 104 (2021)
Jose Divasón
A verified algorithm for computing the Smith normal form of a matrix. Arch. Formal Proofs 2020 (2020)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. J. Autom. Reason. 64 (4) (2020)
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J. Autom. Reason. 64 (5) (2020)
Andrea Guidolin, Jose Divasón, Ana Romero, Francesco Vaccarino
Computing Multipersistence by Means of Spectral Systems. ISSAC (2019)
Julián Cuevas-Rozo, Jose Divasón, Miguel Ángel Marco Buzunáriz, Ana Romero
A Kenzo interface for algebraic topology computations in SageMath. ACM Commun. Comput. Algebra 53 (2) (2019)
Jose Divasón, Ana Romero
Using Krakatoa for Teaching Formal Verification of Java Programs. FMTea (2019)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A verified LLL algorithm. Arch. Formal Proofs 2018 (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A verified factorization algorithm for integer polynomials with polynomial complexity. Arch. Formal Proofs 2018 (2018)
Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP (2018)
Jose Divasón, Jesús Aransay
A Formal Proof of the Computation of Hermite Normal Form in a General Setting. AISC (2018)
Ana Romero, Jose Divasón
Experiences and new alternatives for teaching formal verification of Java programs. ITiCSE (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A Formalization of the LLL Basis Reduction Algorithm. ITP (2018)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
A formalization of the Berlekamp-Zassenhaus factorization algorithm. CPP (2017)
Jesús Aransay, Jose Divasón
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem. J. Autom. Reason. 58 (4) (2017)
Jose Divasón, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Perron-Frobenius Theorem for Spectral Radius Analysis. Arch. Formal Proofs 2016 (2016)
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
The Factorization Algorithm of Berlekamp and Zassenhaus. Arch. Formal Proofs 2016 (2016)
Jesús Aransay, Jose Divasón
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. Formal Aspects Comput. 28 (6) (2016)
Jose Divasón, Jesús Aransay
Echelon Form. Arch. Formal Proofs 2015 (2015)
Jesús Aransay, Jose Divasón
Generalizing a Mathematical Analysis Library in Isabelle/HOL. NFM (2015)
Jose Divasón, Jesús Aransay
QR Decomposition. Arch. Formal Proofs 2015 (2015)
Jesús Aransay, Jose Divasón
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm. J. Funct. Program. 25 (2015)
Jose Divasón, Jesús Aransay
Hermite Normal Form. Arch. Formal Proofs 2015 (2015)
Jose Divasón, Jesús Aransay
Gauss-Jordan Algorithm and Its Applications. Arch. Formal Proofs 2014 (2014)
Jesús Aransay, Jose Divasón
Applications of the Gauss-Jordan algorithm, done right. CoRR (2014)
Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Ángel Luis Rubio, Julio Rubio
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC (2014)
Jose Divasón, Jesús Aransay
Rank-Nullity Theorem in Linear Algebra. Arch. Formal Proofs 2013 (2013)
Jesús Aransay, Jose Divasón
Formalization and Execution of Linear Algebra: From Theorems to Algorithms. LOPSTR (2013)