Moreno Valverde, Ginés Autor
A fuzzy approach to cloud admission control for safe overbooking (High-level Work)
XIV Jornadas sobre Programación y Lenguajes
- ORCID
A fuzzy logic programming environment for managing similarity and truth degrees
- Julian-Iranzo, Pascual
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
arXiv preprint arXiv:1501.02034 - 2015
- Categorías SJR: Software
- ORCID
- Web of Science
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees (Tool System)
XIV Jornadas sobre Programación y Lenguajes
- ORCID
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
- Moreno, Gines
- Pascual, Vicente
Fuzzy Sets and Systems - 16/05/2009
- Cuartil SJR: Q1
- Factor Impacto JCR: 2,138 (2009)
- Impacto JCR a 5 años: 2,551
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Artificial Intelligence (Q1); Logic (Q1)
- ORCID
- Web of Science
Analyzing fuzzy logic computations with Fuzzy XPath
- Almendros-Jiménez J.
- Luna A.
- Moreno G.
- Vázquez C.
Electronic Communications of the EASST - 1/1/2013
10.14279/tuj.eceasst.64.990.984
- Cuartil SJR: Q4
- Categorías SJR: Computational Theory and Mathematics (Q4); Software (Q4)
- Scopus
- ORCID
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
- Moreno, G.
Electronic Notes in Theoretical Computer Science - 2003
- Cuartil SJR: Q3
- Categorías SJR: Computer Science (miscellaneous) (Q3); Theoretical Computer Science (Q3)
- ORCID
An improved reductant calculus using fuzzy partial evaluation techniques
- Julian, Pascual
- Moreno, Gines
- Penabad, Jaime
Fuzzy Sets and Systems - 16/01/2009
- Cuartil SJR: Q1
- Factor Impacto JCR: 2,138 (2009)
- CiteScore: 7 (2020)
- SJR: 1,232 (2009)
- SNIP: 1,96 (2009)
- Impacto JCR a 5 años: 2,551
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Artificial Intelligence (Q1); Logic (Q1)
- Scopus
- ORCID
- Web of Science
Automatic proving of fuzzy formulae with fuzzy logic programming and SMT
- Bofill, M.
- Moreno, G.
- Vázquez, C.
- Villaret, M.
Electronic Communications of the EASST - 2013
10.14279/tuj.eceasst.64.991.974
- Cuartil SJR: Q4
- Categorías SJR: Computational Theory and Mathematics (Q4); Software (Q4)
- ORCID
Beyond multi-adjoint logic programming
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
International Journal of Computer Mathematics - 2/09/2015
- Cuartil SJR: Q2
- Factor Impacto JCR: 0,577 (2015)
- Impacto JCR a 5 años: 0,64
- Categorías JCR: MATHEMATICS, APPLIED
- Categorías SJR: Computer Science Applications (Q2); Applied Mathematics (Q3); Computational Theory and Mathematics (Q3)
- ORCID
- Web of Science
A declarative semantics for a fuzzy logic language managing similarities and truth degrees
- Julian-Iranzo, Pascual
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
- Alferes, JJ
- Bertossi, L
- Governatori, G
- Fodor, P
- Roman, D
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2016
- CiteScore: 1,8 (2020)
- SJR: 0,339 (2016)
- SNIP: 0,676 (2016)
- Scopus
- ORCID
- Web of Science
A flexible XPath-based query language implemented with fuzzy logic programming
- Almendros-Jiménez, J.M.
- Luna, A.
- Moreno, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/12/2011
- Impacto Normalizado por Categoría: 2,652 (2011)
- CiteScore: 1,8 (2020)
- SJR: 0,338 (2011)
- SNIP: 0,773 (2011)
- Scopus
- ORCID
- Web of Science
A fuzzy approach to cloud admission control for safe overbooking
- Vázquez, C.
- Tomás, L.
- Moreno, G.
- Tordsson, J.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2013
- ORCID
An automatic composition algorithm for functional logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2000
- ORCID
- Web of Science
Annotating "fuzzy chance degrees" when debugging xpath queries
- Almendros-Jiménez, J.M.
- Luna Tedesqui, A.
- Moreno, G.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 17/7/2013
- Impacto Normalizado por Categoría: 1,909 (2013)
- CiteScore: 1,8 (2020)
- SJR: 0,36 (2013)
- SNIP: 0,775 (2013)
- Scopus
- ORCID
- Web of Science
An online tool for tuning fuzzy logic programs
- Moreno, Gines
- Riaza, Jose A.
- Costantini, S
- Franconi, E
- VanWoensel, W
- Kontchakov, R
- Sadri, F
- Roman, D
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2017
- Cuartil JCR: Q4 (2017)
- Impacto Normalizado por Categoría: 0,844 (2017)
- ORCID
- Web of Science
An Online Tool for Unfolding Symbolic Fuzzy Logic Programs
- Moreno, Gines
- Antonio Riaza, Jose
- Rojas, I
- Joya, G
- Catala, A
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019
- ORCID
- Web of Science
An unfolding-based preprocess for reinforcing thresholds in fuzzy tabulation
- Julian-Iranzo, Pascual
- Medina-Moreno, Jesus
- Morcillo, Pedro J.
- Moreno, Gines
- Ojeda-Aciego, Manuel
- Rojas, I
- Joya, G
- Gabestany, J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 17/7/2013
- CiteScore: 1,8 (2020)
- SJR: 0,36 (2013)
- SNIP: 0,775 (2013)
- Scopus
- ORCID
- Web of Science
A practical management of fuzzy truth-degrees using FLOPER
- Morcillo, Pedro J.
- Moreno, Gines
- Penabad, Jaime
- Vazquez, Carlos
- Dean, M
- Hall, J
- Rotolo, A
- Tabet, S
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2010
- ORCID
- Web of Science
A static preprocess for improving fuzzy thresholded tabulation
- Julian, P.
- Medina, J.
- Morcillo, P. J.
- Moreno, G.
- Ojeda-Aciego, M.
- Cabestany, J
- Rojas, I
- Joya, G
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 8/6/2011
- CiteScore: 1,8 (2020)
- SJR: 0,338 (2011)
- SNIP: 0,773 (2011)
- Scopus
- ORCID
- Web of Science
Reducing Noisy-Neighbor Impact with a Fuzzy Affinity-Aware Scheduler
- Tomas, Luis
- Tordsson, Johan
- Vazquez, Carlos
- Moreno, Gines
- IEEE
2015 INTERNATIONAL CONFERENCE ON CLOUD AND AUTONOMIC COMPUTING (ICCAC) - 2015
- ORCID
- Web of Science
Similarity-based Unification Embedded into Narrowing
UNIF07 - 2007
- ORCID
Smart Design of Similarity Relations for Fuzzy Logic Programming Environments
- Guerrero, J.A.
- Moreno, G.
- Riaza, J.A.
- Sánchez, J.
Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018 - 2019
- ORCID
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
- Moreno, Gines
- Penabad, Jaime
- Riaza, Jose A.
- Vidal, German
- Hermenegildo, MV
- LopezGarcia, P
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016 - 2017
- Cuartil JCR: Q4 (2017)
- Impacto Normalizado por Categoría: 0,669 (2017)
- ORCID
- Web of Science
Testing properties of fuzzy connectives and truth degrees with the latticemaker tool
- Antonio Guerrero, Juan
- Mendieta, Felix
- Moreno, Gines
- Penabad, Jaime
- Antonio Riaza, Jose
- IEEE
2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings - 2018
- Cuartil JCR: Q4 (2018)
- Impacto Normalizado por Categoría: 1,35 (2018)
- ORCID
- Web of Science
The Fuzzy Logic Programming Environment FLOPER
Proc. of 15th International Symposium on Formal Methods (FM’08), Posters and Research Tools, May - 2008
- ORCID
Thresholded debugging of XPath queries
- Almendros-Jimenez, J.M.
- Luna, A.
- Moreno, G.
IEEE International Conference on Fuzzy Systems - 25/08/2015
10.1109/fuzz-ieee.2015.7338027
- CiteScore: 1,8 (2020)
- SJR: 0,283 (2015)
- SNIP: 0,519 (2015)
- Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
- Web of Science
Unfolding fuzzy logic programs
Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA - 2004
- ORCID
Using floper for running/debugging fuzzy logic programs
Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU’2008), L. Magdalena, M. Ojeda-Aciego and J. Verdegay, Ed. Málaga - 2008
- ORCID
Este autor no tiene patentes.
Impact analysis of SBAS authentication
- Fernandez-Hernandez, Ignacio
- Chatre, Eric
- Dalla Chiara, Andrea
- Da Broi, Giacomo
- Pozzobon, Oscar
- Fidalgo, Javier
- Odriozola, Miguel
- Moreno, Gines
- Sturaro, Silvia
- Caparra, Gianluca
- Laurenti, Nicola
- Rijmen, Vincent
NAVIGATION-JOURNAL OF THE INSTITUTE OF NAVIGATION - 12/2018
The Transformation System synth
1999
- ORCID
Towards a Categorical Description of Fuzzy Logic Programming
2013
- ORCID
Transformation-based strategies for lazy functional logic programs
1999
- ORCID
Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment
- Almendros-Jimenez J.
- Becerra-Teron A.
- Moreno G.
- Riaza J.
2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) - 1/06/2019
10.1109/fuzz-ieee.2019.8858958
- CiteScore: 1,8 (2020)
- SJR: 0,271 (2019)
- SNIP: 0,525 (2019)
- Categorías SJR: Applied Mathematics; Artificial Intelligence; Software; Theoretical Computer Science
- Scopus
- ORCID
Índice h
Scopus: 11
Web of Science: 13
Índice i10
Scopus: 14
Web of Science: 21
Perfiles de autor
-
ORCID
-
Web of Science ResearcherID
-
Scopus Author ID
-
Dialnet id
Proyectos de investigación en la UAL
-
Acrónimo UAL18-TIC-A002-B1Desde: 1 de octubre de 2019Hasta: 30 de septiembre de 2020Financiado por: Universidad de AlmeríaImporte de financiación: 7.500,00 EURRol: Colaborador