dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jesús Manuel Almendros-Jiménez Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: Querying and Reasoning with RDF(S)/OWL in XQuery. APWeb 2011: 450-459
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Josep Silva, Salvador Tamarit: XQuery optimization based on program slicing. CIKM 2011: 1525-1534
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García: XPath for Querying GML-Based Representation of Urban Maps. ICCSA (1) 2011: 177-191
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: A Prolog library for OWL RL. LID 2011: 49-56
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno: A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming. RuleML Europe 2011: 186-193
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: XQuery in the Functional-Logic Language Toy. WFLP 2011: 35-51
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: A Prolog-based Query Language for OWL. Electr. Notes Theor. Comput. Sci. 271: 3-22 (2011)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Iribarne, Nicolás Padilla, José Andrés Asensio, Javier Criado, Rosa Ayala, Jesús Manuel Almendros-Jiménez, Massimo Menenti: Open-Environmental Ontology Modeling. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(4): 730-745 (2011)
2010
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Jose A. Piedra, Manuel Canton: An ontology-based modeling of an ocean satellite image retrieval system. IGARSS 2010: 2237-2240
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Jose A. Piedra, Manuel Canton: Ontology-Based Modelling of Ocean Satellite Images. WSKS (1) 2010: 8-12
2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: Extending XQuery for Semantic Web Reasoning. INAP 2009: 117-134
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis Iribarne, José Andrés Asensio, Nicolás Padilla, Cristina Vicente-Chicote: An Eclipse GMF Tool for Modelling User Interaction. WSKS (1) 2009: 405-416
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: An Encoding of XQuery in Prolog. XSym 2009: 145-155
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis Iribarne: UML Modeling of User and Database Interaction. Comput. J. 52(3): 348-367 (2009)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: Preface. Electr. Notes Theor. Comput. Sci. 248: 1-2 (2009)
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: An RDF Query Language based on Logic Programming. Electr. Notes Theor. Comput. Sci. 200(3): 67-85 (2008)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis Iribarne: An extension of UML for the modeling of WIMP user interfaces. J. Vis. Lang. Comput. 19(6): 695-720 (2008)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños: Querying XML documents in logic programming. TPLP 8(3): 323-361 (2008)
2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños: Integrating XQuery and Logic Programming. INAP/WLP 2007: 117-135
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños: Querying XML Documents in Logic Programming CoRR abs/0710.4780: (2007)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis Iribarne: Describing Use-Case Relationships with Sequence Diagrams. Comput. J. 50(1): 116-128 (2007)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Corral, Jesús Manuel Almendros-Jiménez: A performance comparison of distance-based query algorithms using R-trees in spatial databases. Inf. Sci. 177(11): 2207-2237 (2007)
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Germán Vidal: Automatic Partial Inversion of Inductively Sequential Functions. IFL 2006: 253-270
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños: Magic Sets for the XPath Language. J. UCS 12(11): 1651-1678 (2006)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón: Database Query Languages and Functional Logic Programming. New Generation Comput. 24(2): 129-184 (2006)
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis Iribarne: Designing GUI Components for UML Use Cases. ECBS 2005: 210-217
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Corral: Solving Constraints on Sets of Spatial Objects. PADL 2005: 158-173
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: Constraint logic programming over sets of spatial objects. WCFLP 2005: 32-42
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis Iribarne: Describing Use Cases with Activity Charts. Metainformatics 2004: 141-159
2003
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón: A Relational Algebra for Functional Logic Deductive Databases. Ershov Memorial Conference 2003: 494-508
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón: A safe relational calculus for functional logic deductive databases. Electr. Notes Theor. Comput. Sci. 86(3): 168-204 (2003)
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis González-Jiménez: Bases for the development of LAST: a formal method for business software requirements specification. Information & Software Technology 44(2): 65-75 (2002)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis González-Jiménez: Erratum to "Bases for the development of LAST: a formal method for business software requirements specification" [Information and Software Technology, 44 (2002) 65-75]. Information & Software Technology 44(6): 393 (2002)
2001
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón: A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. FLOPS 2001: 153-169
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández: A Computational Model for Functional Logic Deductive Databases. ICLP 2001: 331-347
2000
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Luis González-Jiménez: The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. APSEC 2000: 54-61
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: Improving Computations in a Typed Functional Logic Language. AMAST 1998: 438-454
1997
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Ana Gil-Luezas: Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA 1997: 159-173
1996
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. ALP 1996: 299-313
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Manuel Almendros-Jiménez: Type Inference and Checking for POS-typed Funtional Logic Programs. APPIA-GULP-PRODE 1996: 439-450

Coauthor Index

1José Andrés Asensio [29] [33]
2Rosa Ayala [33]
3Antonio Becerra-Terón [6] [7] [10] [11] [16] [17] [21] [22] [23] [38]
4Rafael Caballero [35]
5Manuel Cantón-Garbín (Manuel Canton) [31] [32]
6Antonio Corral [14] [19]
7Javier Criado [33]
8Francisco J. Enciso-Baños [17] [21] [22] [23]
9Francisco García-García [38]
10Yolanda García-Ruiz [35]
11Antonio Gavilanes-Franco [2]
12Ana Gil-Luezas [2] [3]
13Luis González-Jiménez [5] [8] [9]
14Luis Iribarne [12] [15] [20] [24] [27] [29] [33]
15Alejandro Luna [36]
16Massimo Menenti [33]
17Ginés Moreno [36]
18Nicolás Padilla [29] [33]
19Jose A. Piedra-Fernández (Jose A. Piedra) [31] [32]
20Fernando Sáenz-Pérez [35]
21Jaime Sánchez-Hernández [6]
22Josep Silva [39]
23Salvador Tamarit [39]
24Cristina Vicente-Chicote [29]
25Germán Vidal [18]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page