Jose Divasón

Scopus Author ID ORCID

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Convolutional Neural Network

Optical Coherence Tomography

Top Venues

Journal of automated reasoning

Sensors (Basel, Switzerland)

This page only lists publications with an associated author ORCID identifier.

Publications

Jose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison, Matías Casalongue, Miguel Angel Silvestre, Pilar Santolaria Blasco, Jesús L Yaniz
Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning Techniques. Sensors (Basel, Switzerland) 24 (12) (2024)
Jose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison, Matías Casalongue, Miguel Angel Silvestre, Pilar Santolaria Blasco, Jesús L Yaniz
Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning Techniques. Sensors (Basel, Switzerland) 24 (12) (2024)
Jose Divasón, René Thiemann
A Formalization of the Smith Normal Form in Higher-Order Logic. Journal of automated reasoning 66 (4) (2022)
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. Journal of automated reasoning 64 (5) (2020)
Jose Divasón, Sebastiaan J C Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. Journal of automated reasoning 64 (4) (2019)