Publications by authors named "Jose Divason"

Claim this Profile
I
Intelligent Sensor Software for Robust and Energy-Sustainable Decision-Making in Welding of Steel Reinforcement for Concrete.
Javier Ferreiro-Cabello, Francisco Javier Martinez-de-Pison, Esteban Fraile-Garcia, Alpha Pernia-Espinoza, Jose Divasón

Sensors (Basel)· December 2024

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
A
Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning Techniques.
Jose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison, Matías Casalongue, Miguel A Silvestre

Sensors (Basel)· June 2024

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
A
A Formalization of the Smith Normal Form in Higher-Order Logic.
Jose Divasón, René Thiemann

J Autom Reason· May 2022

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
F
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.
René Thiemann, Ralph Bottesch, Jose Divasón, Max W Haslbeck, Sebastiaan J C Joosten

J Autom Reason· June 2020

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
A
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
Jose Divasón, Sebastiaan J C Joosten, René Thiemann, Akihisa Yamada

J Autom Reason· June 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis