RDF/XML JSON-LD N3/Turtle RDF/JSON

Almendros Jiménez, Jesús Manuel Autor

Preface

  • Gleditsch, NP

JOURNAL OF PEACE RESEARCH - 01/1998

10.1177/0022343398035001001 Ver en origen

Número de citas: 3 (Web of Science)
  • CiteScore: 6,8 (2022)
  • SJR: 2,444 (2022)
  • SNIP: 2,576 (2022)

Improving computations in a typed functional logic language

  • Almendros-Jimenez, JM
  • Haeberer, AM

ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY - 1999

Número de citas:
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

Número de citas: 1 (Web of Science) 5 (Scopus)
  • Impacto Normalizado por Categoría: 0,047 (2001)
  • CiteScore: 1,8 (2020)
  • SJR: 0,399 (2001)
  • SNIP: 0,773 (2001)

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

Número de citas: 1 (Web of Science)
  • Cuartil JCR: Q3 (2002)
  • Cuartil SJR: Q3
  • Factor Impacto JCR: 0,375 (2022)
  • Impacto Normalizado por Categoría: 0,039 (2002)
  • CiteScore: 8,6 (2020)
  • SJR: 0,398 (2002)
  • SNIP: 0,934 (2002)
  • Categorías SJR: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)

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 Ver en origen

Número de citas:
  • Cuartil JCR: Q3 (2002)
  • Cuartil SJR: Q3
  • Factor Impacto JCR: 0,375 (2022)
  • CiteScore: 8,6 (2020)
  • SJR: 0,398 (2002)
  • SNIP: 0,934 (2002)
  • Categorías SJR: Computer Science Applications (Q3); Information Systems (Q3); Software (Q3)
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/11/2003

10.1016/s1571-0661(04)80699-6

Número de citas: 3 (Scopus)
  • Cuartil SJR: Q3
  • CiteScore: 1,2 (2020)
  • SJR: 0,328 (2003)
  • SNIP: 0,568 (2003)
  • Categorías SJR: Computer Science (miscellaneous) (Q3); Theoretical Computer Science (Q3)
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

Número de citas: 1 (Web of Science) 2 (Scopus)
  • Impacto Normalizado por Categoría: 0,056 (2003)
  • CiteScore: 1,8 (2020)
  • SJR: 0,41 (2003)
  • SNIP: 0,882 (2003)
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

Número de citas: 5 (Scopus)
  • Cuartil SJR: Q2
  • CiteScore: 1,8 (2020)
  • SJR: 0,334 (2005)
  • SNIP: 0,787 (2005)
  • Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
Open Access

Describing use cases with activity charts

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

METAINFORMATICS - 30/9/2005

10.1007/11518358_12

Número de citas: 6 (Web of Science) 16 (Scopus)
  • Cuartil SJR: Q2
  • Impacto Normalizado por Categoría: 0,388 (2005)
  • CiteScore: 1,8 (2020)
  • SJR: 0,334 (2005)
  • SNIP: 0,787 (2005)
  • Categorías SJR: Computer Science (miscellaneous) (Q2); Theoretical Computer Science (Q3)
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

Número de citas: 5 (Scopus)
  • CiteScore: 1,8 (2020)
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)
  • CiteScore: 1,8 (2020)
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:
  • CiteScore: 1,8 (2020)

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

Número de citas:
  • Dialnet
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

Número de citas: 4 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,399 (2001)
  • SNIP: 0,773 (2001)

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

Número de citas:
  • 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

Número de citas:
  • Dialnet

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

Número de citas:
  • Dialnet

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:
  • Cuartil SJR: Q4
  • CiteScore: 0,8 (2020)
  • SJR: 0,139 (2010)
  • SNIP: 0,241 (2010)
  • Categorías SJR: Computer Science (miscellaneous) (Q4); Mathematics (miscellaneous) (Q4)
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)
  • CiteScore: 1,8 (2020)
  • SJR: 0,338 (2011)
  • SNIP: 0,773 (2011)

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

Número de citas: 1 (Web of Science) 1 (Scopus)
  • Impacto Normalizado por Categoría: 0,164 (2000)
  • Categorías SJR: Software

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)
  • Categorías SJR: Engineering (miscellaneous)

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

Número de citas: 8 (Web of Science) 20 (Scopus)
  • Categorías SJR: Engineering (miscellaneous)
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

Número de citas: 11 (Web of Science) 14 (Scopus)
  • CiteScore: 1,8 (2020)
  • SJR: 0,293 (2007)
  • SNIP: 0,522 (2007)
Open Access

An Encoding of XQuery in Prolog

  • Almendros-Jiménez, J.M.

DATABASE AND XML TECHNOLOGIES, PROCEEDINGS - 6/11/2009

10.1007/978-3-642-03555-5_12

Número de citas: 10 (Web of Science) 14 (Scopus)
  • Impacto Normalizado por Categoría: 2,007 (2009)
  • CiteScore: 1,8 (2020)
  • SJR: 0,302 (2009)
  • SNIP: 0,586 (2009)
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

Número de citas:
  • CiteScore: 1,8 (2020)
  • SJR: 0,302 (2009)
  • SNIP: 0,586 (2009)
Open Access

Integrating XQuery and Logic Programming

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

APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT - 9/11/2009

10.1007/978-3-642-00675-3_8

Número de citas: 2 (Web of Science) 8 (Scopus)
  • Impacto Normalizado por Categoría: 0,313 (2009)
  • CiteScore: 1,8 (2020)
  • SJR: 0,302 (2009)
  • SNIP: 0,586 (2009)

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)
  • Categorías SJR: Artificial Intelligence; Computer Networks and Communications

AN ONTOLOGY-BASED MODELING OF AN OCEAN SATELLITE IMAGE RETRIEVAL SYSTEM

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

2010 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM - 25/07/2010

10.1109/igarss.2010.5649457

Número de citas: 5 (Web of Science) 7 (Scopus)
  • Impacto Normalizado por Categoría: 1,955 (2010)
  • Categorías SJR: Computer Science Applications; Earth and Planetary Sciences (miscellaneous)
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

Número de citas: 1 (Web of Science) 2 (Scopus)
  • Impacto Normalizado por Categoría: 0,154 (2011)
  • CiteScore: 1,8 (2020)
  • SJR: 0,338 (2011)
  • SNIP: 0,773 (2011)

Este autor no tiene patentes.

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

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)
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)
  • CiteScore: 1,8 (2020)
  • SJR: 0,249 (2020)
  • SNIP: 0,628 (2020)

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

Departamento: Informática

Correo electrónico: jalmen@ual.es

Ver información docente

Scopus: 14

Web of Science: 11

Scopus: 19

Web of Science: 16

Última actualización de los datos: 23/11/24 6:07
Próxima recolección programada: 30/11/24 3:00