Javier Martínez

According to our database, Javier Martínez authored at least 18 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Scalable method for administration of resource technologies under stochastic procedures.

Salvador Merino, Javier Martínez, Francisco Guzmán, Francisco José Sánchez, Rafael Guzmán, Mariano Sidrach de Cardona, Juan de Dios Lara Fernández

Appl. Math. Comput., 2023

Towards Concepts for Climate and Energy-Oriented Digital Twins for Buildings.

Jürgen Döllner, Salvador Merino, Francisco Guzmán, Javier Martínez, Juan de Dios Lara Fernández, Rafael Guzmán

Proceedings of the 28th International ACM Conference on 3D Web Technology, 2023

2022

Smart Sensorization Using Propositional Dynamic Logic.

Salvador Merino, Alfredo Burrieza, Francisco Guzmán, Javier Martínez

Sensors, 2022

A Conscious, Smart Site Model for a Solar-Water Energy System.

Salvador Merino, Francisco Guzmán, Javier Martínez, Rafael Guzmán, Juan de Dios Lara Fernández, Jürgen Döllner

Proceedings of the Computational Science and Its Applications - ICCSA 2022 Workshops, 2022

2018

Optimization of energy distribution in solar panel array configurations by graphs and Minkowski's paths.

Salvador Merino, Francisco José Sánchez, Mariano Sidrach de Cardona, Francisco Guzmán, Rafael Guzmán, Javier Martínez, Pedro Juan Sotorrio-Ruiz

Appl. Math. Comput., 2018

2017

Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire.

José Luis Galán García, Salvador Merino, Javier Martínez, Miguel de Aguilera

Math. Comput. Sci., 2017

2015

Metadomotic optimization using genetic algorithms.

Salvador Merino, Javier Martínez, Francisco Guzmán

Appl. Math. Comput., 2015

2014

On residuation in multilattices: Filters, congruences, and homomorphisms.

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego

Fuzzy Sets Syst., 2014

2012

Finitary coalgebraic multisemilattices and multilattices.

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego

Appl. Math. Comput., 2012

2010

A coalgebraic approach to non-determinism: Applications to multilattices.

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego

Inf. Sci., 2010

2009

Fuzzy congruence relations on nd-groupoids.

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego

Int. J. Comput. Math., 2009

Congruence relations on some hyperstructures.

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego

Ann. Math. Artif. Intell., 2009

On Congruences and Homomorphisms on Some Non-deterministic Algebras.

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego

Proceedings of the IJCCI 2009, 2009

2005

Generalizations of lattices via non-deterministic operators.

Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero

Discret. Math., 2005

2004

A New Algebraic Tool for Automatic Theorem Provers.

Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán

Ann. Math. Artif. Intell., 2004

2003

Restricted ideals and the groupability property. Tools for temporal reasoning.

Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán

Kybernetika, 2003

2002

Satisfiability Testing for Boolean Formulas Using Delta-trees.

Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde

Stud Logica, 2002

2000

Reduction Theorems for Boolean Formulas Using Delta-Trees.

Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000