Almendros Jiménez, Jesús Manuel Author

Preface

  • Gleditsch, NP

JOURNAL OF PEACE RESEARCH - 01/1998

10.1177/0022343398035001001 View source

Cite count: 3 (Web of Science) 0 (Scopus)
Open Access

A framework for goal-directed bottom-up evaluation of functional logic programs

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

FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS - 1/1/2001

10.1007/3-540-44716-4_10

Cite count: 1 (Web of Science) 5 (Scopus)

Bases for the development of LAST:: a formal method for business software requirements specification

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

INFORMATION AND SOFTWARE TECHNOLOGY - 15/2/2002

10.1016/s0950-5849(01)00209-9

Cite count: 1 (Web of Science) 0 (Scopus)

Bases for the development of LAST:: a formal method for business software requirements specification (vol 44, pg 65, 2002)

  • Almendros-Jimenez, JM
  • Gonzalez-Jimenez, L

INFORMATION AND SOFTWARE TECHNOLOGY - 15/4/2002

10.1016/s0950-5849(02)00052-6 View source

Cite count: 0 (Web of Science) 0 (Scopus)
Open Access

A relational algebra for functional logic deductive databases

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

PERSPECTIVES OF SYSTEM INFORMATICS - 1/12/2003

Cite count: 1 (Web of Science) 2 (Scopus)
Open Access

A method based on UML use cases for GUI design

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

JISBD 2004 - Jornadas de Ingeniería del Software y Bases de Datos - 2004

Open Access

Solving constraints on sets of spatial objects

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

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS - 1/9/2005

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

Cite count: 0 (Web of Science) 5 (Scopus)
Open Access

Describing use cases with activity charts

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

METAINFORMATICS - 30/9/2005

10.1007/11518358_12

Cite count: 6 (Web of Science) 16 (Scopus)

Database query languages and functional logic programming

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

NEW GENERATION COMPUTING - 29/06/2006

10.1007/bf03037296

Cite count: 0 (Web of Science) 0 (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

Cite count: 8 (Web of Science) 9 (Scopus)

Programación lógico-funcional con tipos paramétricos y géneros ordenados

  • Jesús Manuel Almendros Jiménez
  • Antonio Javier Gavilanes Franco
  • Ana Gil Luezas

1999

Cite count: 0 (Dialnet)
  • Dialnet

INDALOG: A Declarative Deductive Database Language

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

Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 - 2001

Cite count: 0 (Dialnet)
  • Dialnet

Un lenguaje de bases de datos deductivo basado en la programación lógico funcional

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

2003

Cite count: 0 (Dialnet)
  • Dialnet

User interaction and interface design with UML

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

Visual Languages for Interactive Computing Definitions and Formalizations - 1/12/2007

10.4018/978-1-59904-534-4.ch016

Cite count: 2 (Scopus)

A rule based implementation of XQuery

  • Jesús Manuel Almendros Jiménez

Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 - 2009

Cite count: 0 (Dialnet)
  • Dialnet
Open Access

XQuery in the Functional-Logic Language Toy

  • Almendros-Jiménez J.
  • Caballero R.
  • García-Ruiz Y.
  • Sáenz-Pérez F.

FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING - 1/1/2011

10.1007/978-3-642-22531-4_3

Cite count: 1 (Web of Science) 2 (Scopus) 0 (Dialnet)

Sistema de análisis y recuperación de imágenes de satélite basado en objetos y ontologías aplicado a las estructuras oceánicas mesoescalares

  • Eva María Vidal Fernández
  • Manuel Cantón Garbín
  • José Antonio Piedra Fernández
  • Jesús Manuel Almendros Jiménez

18/03/2016

Cite count: 0 (Dialnet)
  • ORCID
  • Dialnet

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

Cite count: 0 (Scopus)

Programación lógica difusa para la gestión flexible de documentos XML. (Fuzzy Logic Programming for the Flexible Management of XML Documents)

  • Alejandro Luna Tedesqui
  • Ginés Damián Moreno Valverde
  • Jesús Manuel Almendros Jiménez

2016

Cite count: 0 (Dialnet)
  • Dialnet

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

Algebraic semantics for functional logic programming with polymorphic order-sorted types

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

Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics - 1/1/1996

10.1007/3-540-61735-3_20

Cite count: 5 (Scopus)
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

Cite count: 2 (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

Cite count: 0 (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.

SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS - 1/1/2000

10.1109/apsec.2000.896683

Cite count: 1 (Web of Science) 1 (Scopus)
Open Access

A computational model for functional logic deductive databases

  • Almendros-Jiménez J.
  • Becerra-Terón A.
  • Sánchez-Hernández J.

Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics - 1/1/2001

10.1007/3-540-45635-x_30

Cite count: 4 (Scopus)
Open Access

A safe relational calculus for functional logic deductive databases

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

Electronic Notes in Theoretical Computer Science - 1/1/2003

10.1016/s1571-0661(04)80699-6

Cite count: 4 (Scopus)

Constraint logic programming over sets of spatial objects

  • Almendros-Jiménez, J.M.

Wcflp 05 Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming - 1/1/2005

10.1145/1085099.1085106

Cite count: 6 (Scopus)

Designing GUI components from UML use cases

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

12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS - 9/12/2005

10.1109/ecbs.2005.31

Cite count: 8 (Web of Science) 21 (Scopus)
Open Access

Automatic partial inversion of inductively sequential functions

  • Almendros-Jiménez, J.M.
  • Vidal, G.

IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - 1/12/2007

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

Cite count: 13 (Web of Science) 18 (Scopus)
Open Access

An Eclipse GMF Tool for Modelling User Interaction

  • Almendros-Jiménez J.
  • Iribarne L.
  • Asensio J.
  • Padilla N.
  • Vicente-Chicote C.

VISIONING AND ENGINEERING THE KNOWLEDGE SOCIETY: A WEB SCIENCE PERSPECTIVE, PROCEEDINGS - 6/11/2009

10.1007/978-3-642-04754-1_42

Cite count: 0 (Web of Science) 0 (Scopus)

This author has no patents.

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

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

Scopus: 15

Web of Science: 12

Scopus: 22

Web of Science: 17

Last data update: 6/28/25 6:33 AM
Next scheduled update: 7/5/25 3:00 AM