Javier Martínez

18 papers B 1C 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Scalable method for administration of resource technologies under stochastic procedures.
Appl. Math. Comput.
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
2023 — conf
Towards Concepts for Climate and Energy-Oriented Digital Twins for Buildings.
Web3D
Jürgen Döllner, Salvador Merino, Francisco Guzmán, Javier Martínez, Juan de Dios Lara Fernández, Rafael Guzmán
2022 — conf
A Conscious, Smart Site Model for a Solar-Water Energy System.
ICCSA (Workshops 1)
Salvador Merino, Francisco Guzmán, Javier Martínez, Rafael Guzmán, Juan de Dios Lara Fernández, Jürgen Döllner
2022 J jnl
Smart Sensorization Using Propositional Dynamic Logic.
Sensors
Salvador Merino, Alfredo Burrieza, Francisco Guzmán, Javier Martínez
2018 J jnl
Optimization of energy distribution in solar panel array configurations by graphs and Minkowski's paths.
Appl. Math. Comput.
Salvador Merino, Francisco José Sánchez, Mariano Sidrach de Cardona, Francisco Guzmán, Rafael Guzmán, Javier Martínez, Pedro Juan Sotorrio-Ruiz
2017 J jnl
Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire.
Math. Comput. Sci.
José Luis Galán García, Salvador Merino, Javier Martínez, Miguel de Aguilera
2015 J jnl
Metadomotic optimization using genetic algorithms.
Appl. Math. Comput.
Salvador Merino, Javier Martínez, Francisco Guzmán
2014 J jnl
On residuation in multilattices: Filters, congruences, and homomorphisms.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2012 J jnl
Finitary coalgebraic multisemilattices and multilattices.
Appl. Math. Comput.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2010 J jnl
A coalgebraic approach to non-determinism: Applications to multilattices.
Inf. Sci.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 J jnl
Congruence relations on some hyperstructures.
Ann. Math. Artif. Intell.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 J jnl
Fuzzy congruence relations on nd-groupoids.
Int. J. Comput. Math.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 C conf
On Congruences and Homomorphisms on Some Non-deterministic Algebras.
IJCCI
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2005 J jnl
Generalizations of lattices via non-deterministic operators.
Discret. Math.
Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero
2004 J jnl
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell.
Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán
2003 J jnl
Restricted ideals and the groupability property. Tools for temporal reasoning.
Kybernetika
Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán
2002 J jnl
Satisfiability Testing for Boolean Formulas Using Delta-trees.
Stud Logica
Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
2000 B conf
Reduction Theorems for Boolean Formulas Using Delta-Trees.
JELIA
Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde