Reduction Theorems for Boolean Formulas Using Delta-Trees. - Gloria Gutiérrez; Inman P. de Guzmán; Javier Martínez 001; Manuel Ojeda-Aciego; Agustín Valverde (JELIA, 2000)

Satisfiability Testing for Boolean Formulas Using Delta-trees. - Gloria Gutiérrez; Inman P. de Guzmán; Javier Martínez 001; Manuel Ojeda-Aciego; Agustín Valverde (Stud Logica, 2002)

Restricted ideals and the groupability property. Tools for temporal reasoning. - Javier Martínez 001; Pablo Cordero; Gloria Gutiérrez; Inman P. de Guzmán (Kybernetika, 2003)

A New Algebraic Tool for Automatic Theorem Provers. - Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Inmaculada Perez de Guzmán (Ann. Math. Artif. Intell., 2004)

Generalizations of lattices via non-deterministic operators. - Javier Martínez 001; Gloria Gutiérrez; Inmaculada Perez de Guzmán; Pablo Cordero (Discret. Math., 2005)

On Congruences and Homomorphisms on Some Non-deterministic Algebras. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (IJCCI, 2009)

Congruence relations on some hyperstructures. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Ann. Math. Artif. Intell., 2009)

Fuzzy congruence relations on nd-groupoids. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Int. J. Comput. Math., 2009)

A coalgebraic approach to non-determinism: Applications to multilattices. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Inf. Sci., 2010)

Finitary coalgebraic multisemilattices and multilattices. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Appl. Math. Comput., 2012)

On residuation in multilattices: Filters, congruences, and homomorphisms. - Inma P. Cabrera; Pablo Cordero; Gloria Gutiérrez; Javier Martínez 001; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2014)

Metadomotic optimization using genetic algorithms. - Salvador Merino; Javier Martínez 001; Francisco Guzmán (Appl. Math. Comput., 2015)

Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire. - José Luis Galán García; Salvador Merino; Javier Martínez 001; Miguel de Aguilera (Math. Comput. Sci., 2017)

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 001; Pedro Juan Sotorrio-Ruiz (Appl. Math. Comput., 2018)

A Conscious, Smart Site Model for a Solar-Water Energy System. - Salvador Merino; Francisco Guzmán; Javier Martínez 001; Rafael Guzmán; Juan de Dios Lara Fernández; Jürgen Döllner (ICCSA (Workshops 1), 2022)

Smart Sensorization Using Propositional Dynamic Logic. - Salvador Merino; Alfredo Burrieza; Francisco Guzmán; Javier Martínez 001 (Sensors, 2022)

Towards Concepts for Climate and Energy-Oriented Digital Twins for Buildings. - Jürgen Döllner; Salvador Merino; Francisco Guzmán; Javier Martínez 001; Juan de Dios Lara Fernández; Rafael Guzmán (Web3D, 2023)

Scalable method for administration of resource technologies under stochastic procedures. - Salvador Merino; Javier Martínez 001; Francisco Guzmán; Francisco José Sánchez; Rafael Guzmán; Mariano Sidrach de Cardona; Juan de Dios Lara Fernández (Appl. Math. Comput., 2023)