Jose Divasón - RankMe

45 papers B 6C 1Misc 5Journal 28Unranked 5

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