| 2008 |
|---|
| 24 | EE | Jesús Manuel Almendros-Jiménez:
An RDF Query Language based on Logic Programming.
Electr. Notes Theor. Comput. Sci. 200(3): 67-85 (2008) |
| 23 | EE | Jesú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) |
| 22 | EE | Jesú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 |
|---|
| 21 | EE | Jesú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) |
| 20 | EE | Jesús Manuel Almendros-Jiménez,
Luis Iribarne:
Describing Use-Case Relationships with Sequence Diagrams.
Comput. J. 50(1): 116-128 (2007) |
| 19 | EE | Antonio 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 |
|---|
| 18 | EE | Jesús Manuel Almendros-Jiménez,
Germán Vidal:
Automatic Partial Inversion of Inductively Sequential Functions.
IFL 2006: 253-270 |
| 17 | EE | Jesú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) |
| 16 | EE | Jesús Manuel Almendros-Jiménez,
Antonio Becerra-Terón:
Database Query Languages and Functional Logic Programming.
New Generation Comput. 24(2): (2006) |
| 2005 |
|---|
| 15 | EE | Jesús Manuel Almendros-Jiménez,
Luis Iribarne:
Designing GUI Components for UML Use Cases.
ECBS 2005: 210-217 |
| 14 | EE | Jesús Manuel Almendros-Jiménez,
Antonio Corral:
Solving Constraints on Sets of Spatial Objects.
PADL 2005: 158-173 |
| 13 | EE | Jesús Manuel Almendros-Jiménez:
Constraint logic programming over sets of spatial objects.
WCFLP 2005: 32-42 |
| 2004 |
|---|
| 12 | EE | Jesús Manuel Almendros-Jiménez,
Luis Iribarne:
Describing Use Cases with Activity Charts.
Metainformatics 2004: 141-159 |
| 2003 |
|---|
| 11 | EE | Jesús Manuel Almendros-Jiménez,
Antonio Becerra-Terón:
A Relational Algebra for Functional Logic Deductive Databases.
Ershov Memorial Conference 2003: 494-508 |
| 10 | EE | Jesú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): (2003) |
| 2002 |
|---|
| 9 | | Jesú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) |
| 8 | | Jesú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 |
|---|
| 7 | EE | Jesú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 |
| 6 | EE | Jesú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 |
|---|
| 5 | EE | Jesú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 |
|---|
| 4 | EE | Jesús Manuel Almendros-Jiménez:
Improving Computations in a Typed Functional Logic Language.
AMAST 1998: 438-454 |
| 1997 |
|---|
| 3 | | Jesús Manuel Almendros-Jiménez,
Ana Gil-Luezas:
Lazy Narrowing with Parametric Order Sorted Types.
ALP/HOA 1997: 159-173 |
| 1996 |
|---|
| 2 | | Jesú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 |
| 1 | | Jesús Manuel Almendros-Jiménez:
Type Inference and Checking for POS-typed Funtional Logic Programs.
APPIA-GULP-PRODE 1996: 439-450 |
