default search action
Javier Martínez 0001
Person information
- affiliation: University of Málaga, Department of Applied Mathematics, Spain
Other persons with the same name
- Javier Martínez — disambiguation page
- Javier Martínez 0002 (aka: Javier Martínez Torres 0002) — University of Vigo, Department of Applied Mathematics, Spain (and 3 more)
- Javier Martínez 0003 — Escuela Universitaria Politécnica de la Almunia, Department of Electronic Engineering, Zaragoza, Spain
- Javier Martínez 0004 — University of Valencia, Robotics and Information and Communication Technology Institute, Paterna, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j14]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:
Scalable method for administration of resource technologies under stochastic procedures. Appl. Math. Comput. 440: 127652 (2023) - [c4]Jürgen Döllner, Salvador Merino, Francisco Guzmán, Javier Martínez, Juan de Dios Lara Fernández, Rafael Guzmán:
Towards Concepts for Climate and Energy-Oriented Digital Twins for Buildings. Web3D 2023: 31:1-31:9 - 2022
- [j13]Salvador Merino, Alfredo Burrieza, Francisco Guzmán, Javier Martínez:
Smart Sensorization Using Propositional Dynamic Logic. Sensors 22(10): 3899 (2022) - [c3]Salvador Merino, Francisco Guzmán, Javier Martínez, Rafael Guzmán, Juan de Dios Lara Fernández, Jürgen Döllner:
A Conscious, Smart Site Model for a Solar-Water Energy System. ICCSA (Workshops 1) 2022: 606-623
2010 – 2019
- 2018
- [j12]Salvador Merino, Francisco José Sánchez, Mariano Sidrach de Cardona, Francisco Guzmán, Rafael Guzmán, Javier Martínez, Pedro Juan Sotorrio-Ruiz:
Optimization of energy distribution in solar panel array configurations by graphs and Minkowski's paths. Appl. Math. Comput. 319: 48-58 (2018) - 2017
- [j11]José Luis Galán García, Salvador Merino, Javier Martínez, Miguel de Aguilera:
Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire. Math. Comput. Sci. 11(1): 49-59 (2017) - 2015
- [j10]Salvador Merino, Javier Martínez, Francisco Guzmán:
Metadomotic optimization using genetic algorithms. Appl. Math. Comput. 267: 170-178 (2015) - 2014
- [j9]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
On residuation in multilattices: Filters, congruences, and homomorphisms. Fuzzy Sets Syst. 234: 1-21 (2014) - 2012
- [j8]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
Finitary coalgebraic multisemilattices and multilattices. Appl. Math. Comput. 219(1): 31-44 (2012) - 2010
- [j7]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
A coalgebraic approach to non-determinism: Applications to multilattices. Inf. Sci. 180(22): 4323-4335 (2010)
2000 – 2009
- 2009
- [j6]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
Congruence relations on some hyperstructures. Ann. Math. Artif. Intell. 56(3-4): 361-370 (2009) - [j5]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
Fuzzy congruence relations on nd-groupoids. Int. J. Comput. Math. 86(10&11): 1684-1695 (2009) - [c2]Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego:
On Congruences and Homomorphisms on Some Non-deterministic Algebras. IJCCI 2009: 59-67 - 2005
- [j4]Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero:
Generalizations of lattices via non-deterministic operators. Discret. Math. 295(1-3): 107-141 (2005) - 2004
- [j3]Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers. Ann. Math. Artif. Intell. 42(4): 369-398 (2004) - 2003
- [j2]Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán:
Restricted ideals and the groupability property. Tools for temporal reasoning. Kybernetika 39(5): 521-546 (2003) - 2002
- [j1]Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Satisfiability Testing for Boolean Formulas Using Delta-trees. Stud Logica 72(1): 85-112 (2002) - 2000
- [c1]Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde:
Reduction Theorems for Boolean Formulas Using Delta-Trees. JELIA 2000: 179-192
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint