Almendros Jiménez, Jesús Manuel Autor

Querying XML documents in logic programming

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Enciso-Baños F.

Theory and Practice of Logic Programming - 1/01/2008

10.1017/s1471068407003183

Número de citas: 14 (Web of Science) 20 (Scopus)

Automatic property-based testing and path validation of XQuery programs

  • Almendros-Jiménez J.
  • Becerra-Terón A.

Software Testing Verification and Reliability - 1/1/2017

10.1002/stvr.1625

Número de citas: 1 (Web of Science) 5 (Scopus)
Open Access

A Framework for Model Transformation in Logic Programming

  • Almendros Jiménez, Jesús Manuel

PROLE 2008 - VIII Jornadas sobre Programación y Lenguajes - 2008

Fuzzy XPath through Fuzzy Logic Programming

  • Almendros-Jiménez, J.M.
  • Luna Tedesqui, A.
  • Moreno, G.

New Generation Computing - 13/4/2015

10.1007/s00354-015-0201-y

Número de citas: 14 (Web of Science) 16 (Scopus)
Open Access

ODM-based UML Model Transformations using Prolog

  • Almendros Jiménez, Jesús Manuel
  • Iribarne, Luis

MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes? - 2011

An extension of UML for the modeling of WIMP user interfaces

  • Almendros-Jiménez, J.M.
  • Iribarne, L.

Journal of Visual Languages and Computing - 1/12/2008

10.1016/j.jvlc.2007.12.004

Número de citas: 12 (Web of Science) 20 (Scopus)

Magic sets for the XPath language

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Enciso-Baños F.

Journal of Universal Computer Science - 1/12/2006

Número de citas: 8 (Web of Science) 9 (Scopus)

Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

  • López-Fraguas, F.J.
  • Almendros, J.
  • Corchuelo, R.
  • Fernández, A.J.
  • Hermenegildo, M.
  • Levy, J.
  • Lucio, P.
  • Moreno, G.
  • Orejas, F.
  • Pimentel, E.
  • Puebla, G.
  • Alpuente, M.
  • Dahl, V.
  • Gulías, V.
  • Herrera, F.
  • Lucas, S.
  • Merseguer, J.
  • Muñoz, S.
  • Peña, R.
  • Pita, I.
  • Vidal, G.
... Ver más Contraer

Journal of Universal Computer Science - 1/12/2006

Número de citas:

Preface

  • Rajapakse, Yapa D. S.
  • Abrate, Serge

JOURNAL OF SANDWICH STRUCTURES and MATERIALS - 01/2018

10.1177/1099636218754465

Preface

  • Gleditsch, NP

JOURNAL OF PEACE RESEARCH - 01/1998

10.1177/0022343398035001001 Ver en origen

Número de citas: 3 (Web of Science)
Open Access

Extending XQuery for semantic web reasoning

  • Almendros-Jiménez, J.M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 5/5/2011

10.1007/978-3-642-20589-7_8

Número de citas: 2 (Scopus)
Open Access

Fuzzy XPath for the automatic search of fuzzy formulae models

  • Almendros-Jimenez, J.M.
  • Bofill, M.
  • Luna-Tedesqui, A.
  • Moreno, G.
  • Vàzquez, C.
  • Villaret, M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/2015

10.1007/978-3-319-23540-0_26

Número de citas: 9 (Web of Science) 10 (Scopus)
Open Access

Fuzzy Xpath queries in Xquery

  • 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/1/2014

10.1007/978-3-662-45563-0_27

Número de citas: 7 (Web of Science) 6 (Scopus)
Open Access

Improving computations in a typed functional logic language

  • Almendros-Jiménez, J.M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/1998

10.1007/3-540-49253-4_31

Número de citas:
Open Access

Lazy narrowing with parametric order sorted types

  • Almendros-Jiménez, J.M.
  • Gil-Luezas, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/1/1997

10.1007/bfb0027009

Número de citas: 2 (Scopus)
Open Access

OWL RL in logic programming: Querying, reasoning and inconsistency explanations

  • Almendros-Jiménez, J.M.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 1/10/2012

10.1007/978-3-642-32689-9_20

Número de citas: 1 (Scopus)

Model and Data Engineering

  • Ladjel Bellatreche
  • Óscar Pastor
  • Jesús M. Almendros Jiménez
  • Yamine Aït-Ameur

Lecture Notes in Computer Science - 2016

10.1007/978-3-319-45547-1

  • ORCID
Open Access

Extraction of knowledge rules for the retrieval of mesoscale oceanic structures in ocean satellite images

  • Vidal-Fernández E.
  • Almendros-Jiménez J.
  • Piedra J.
  • Cantón M.

Hybrid Soft Computing for Image Segmentation - 1/1/2016

10.1007/978-3-319-47223-2_6

Número de citas:

Ontology-based modelling of ocean satellite images

  • Almendros-Jiménez J.
  • Piedra J.
  • Cantón M.

Communications in Computer and Information Science - 13/12/2010

10.1007/978-3-642-16318-0_2

Número de citas:
Open Access

XQuery-based query processing in open street map

  • Almendros-Jiménez J.
  • Becerra-Terón A.

Advances in Intelligent Systems and Computing - 1/1/2016

10.1007/978-3-319-29589-3_4

Número de citas: 1 (Scopus)

Development of a Query Language for GML based on XPath

  • Jesus Almendros-Jimenez
  • Antonio Becerra-Teron
  • Francisco Garcia-Garcia

10.29007/hfk7

  • ORCID

Syntactic and semantic validation of SPARQL queries

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Cuzzocrea A.

Proceedings of the ACM Symposium on Applied Computing - 3/4/2017

10.1145/3019612.3019915

Número de citas: 2 (Scopus)

Constraint logic programming over sets of spatial objects

  • Almendros-Jiménez, J.M.

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05 - 1/12/2005

10.1145/1085099.1085106

Número de citas: 6 (Scopus)

The LAST project: Development of a formal method for IS-specification and of a CASE-tool for IS-design

  • Almendros Jiménez, J.M.
  • González Jiménez, L.

Proceedings - Asia-Pacific Software Engineering Conference, APSEC - 1/1/2000

10.1109/apsec.2000.896683

Número de citas: 1 (Web of Science) 1 (Scopus)

Designing GUI components from UML use cases

  • Almendros-Jiménez, J.M.
  • Iribarne, L.

Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005 - 9/12/2005

10.1109/ecbs.2005.31

Número de citas: 8 (Web of Science) 20 (Scopus)

A query language for OWL based on logic programming

  • Almendros-Jiménez, J.M.

Preliminary Proceedings - Automated Specification and Verification of Web Systems, WWV 2009: 5th International Workshop - 1/12/2009

Número de citas: 1 (Scopus)
Open Access

Describing use cases with activity charts

  • Almendros-Jiménez, J.M.
  • Iribarne, L.

Lecture Notes in Computer Science - 30/9/2005

10.1007/11518358_12

Número de citas: 6 (Web of Science) 16 (Scopus)
Open Access

Solving constraints on sets of spatial objects

  • Almendros-Jiménez, J.M.
  • Corral, A.

Lecture Notes in Computer Science - 1/9/2005

10.1007/978-3-540-30557-6_13

Número de citas: 5 (Scopus)

An ontology-based modeling of an ocean satellite image retrieval system

  • Almendros-Jiménez J.
  • Piedra J.
  • Cantón M.

International Geoscience and Remote Sensing Symposium (IGARSS) - 25/07/2010

10.1109/igarss.2010.5649457

Número de citas: 5 (Web of Science) 7 (Scopus)

XQuery optimization based on program slicing

  • Almendros-Jiménez, J.M.
  • Silva, J.
  • Tamarit, S.

International Conference on Information and Knowledge Management, Proceedings - 13/12/2011

10.1145/2063576.2063794

Número de citas: 3 (Scopus)

Este autor no tiene patentes.

Open Access

Declarative Debugging of XML Queries

  • Almendros-Jiménez J.M.
  • Becerra-Terón A.

Practical Aspects of Declarative Languages - 1/01/2021

10.1007/978-3-030-67438-0_10

Número de citas: 1 (Scopus)

A Relational Algebra for Functional Logic Deductive Databases

  • Jesús Manuel Almendros-Jiménez
  • Antonio Becerra-Terón

Perspectives of System Informatics - 2004

10.1007/978-3-540-39866-0_48

  • ORCID

Database query languages and functional logic programming

  • Almendros-Jiménez J.
  • Becerra-Terón A.

New Generation Computing - 29/06/2006

10.1007/bf03037296

Número de citas:
Open Access

A Web Tool for XQuery Debugging

  • Jesús M. Almendros-Jiménez
  • Antonio Becerra-Terón

Lecture Notes in Computer Science - 11/05/2021

10.1007/978-3-030-74296-6_40

Número de citas: 1 (Scopus)

Automatic Partial Inversion of Inductively Sequential Functions

  • Jesús M. Almendros-Jiménez
  • Germán Vidal

Implementation and Application of Functional Languages

10.1007/978-3-540-74130-5_15

  • ORCID

User Interaction and Interface Design with UML

  • Almendros-Jimenez, J.M.
  • Iribarne, L.

Human Computer Interaction - 1/12/2007

10.4018/978-1-87828-991-9.ch030

Número de citas: 1 (Scopus)

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

Número de citas: 3 (Scopus)

Scopus: 14

Web of Science: 11

Scopus: 18

Web of Science: 14

Última actualización de los datos: 27/04/24 9:38
Próxima recolección programada: 4/05/24 3:00