Search the dblp DataBase
Jesús Manuel Almendros-Jiménez :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jesús Manuel Almendros-Jiménez Type Inference and Checking for POS-typed Funtional Logic Programs. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1996, pp:439-450 [Conf ] Jesús Manuel Almendros-Jiménez , Ana Gil-Luezas Lazy Narrowing with Parametric Order Sorted Types. [Citation Graph (0, 0)][DBLP ] ALP/HOA, 1997, pp:159-173 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Gavilanes-Franco , Ana Gil-Luezas Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:299-313 [Conf ] Jesús Manuel Almendros-Jiménez Improving Computations in a Typed Functional Logic Language. [Citation Graph (0, 0)][DBLP ] AMAST, 1998, pp:438-454 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] APSEC, 2000, pp:54-61 [Conf ] Jesús Manuel Almendros-Jiménez , Luis Iribarne Designing GUI Components for UML Use Cases. [Citation Graph (0, 0)][DBLP ] ECBS, 2005, pp:210-217 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón A Relational Algebra for Functional Logic Deductive Databases. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2003, pp:494-508 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2001, pp:153-169 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón , Jaime Sánchez-Hernández A Computational Model for Functional Logic Deductive Databases. [Citation Graph (0, 0)][DBLP ] ICLP, 2001, pp:331-347 [Conf ] Jesús Manuel Almendros-Jiménez , Luis Iribarne Describing Use Cases with Activity Charts. [Citation Graph (0, 0)][DBLP ] Metainformatics, 2004, pp:141-159 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Corral Solving Constraints on Sets of Spatial Objects. [Citation Graph (0, 0)][DBLP ] PADL, 2005, pp:158-173 [Conf ] Jesús Manuel Almendros-Jiménez , Luis Iribarne Describing Use-Case Relationships with Sequence Diagrams. [Citation Graph (0, 0)][DBLP ] Comput. J., 2007, v:50, n:1, pp:116-128 [Journal ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón A safe relational calculus for functional logic deductive databases. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:2, pp:65-75 [Journal ] 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]. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:6, pp:393- [Journal ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón , Francisco J. Enciso-Baños Magic Sets for the XPath Language. [Citation Graph (0, 0)][DBLP ] J. UCS, 2006, v:12, n:11, pp:1651-1678 [Journal ] Jesús Manuel Almendros-Jiménez , Germán Vidal Automatic Partial Inversion of Inductively Sequential Functions. [Citation Graph (0, 0)][DBLP ] IFL, 2006, pp:253-270 [Conf ] Jesús Manuel Almendros-Jiménez Constraint logic programming over sets of spatial objects. [Citation Graph (0, 0)][DBLP ] WCFLP, 2005, pp:32-42 [Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón , Francisco J. Enciso-Baños Querying XML Documents in Logic Programming [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Antonio Corral , Jesús Manuel Almendros-Jiménez A performance comparison of distance-based query algorithms using R-trees in spatial databases. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2007, v:177, n:11, pp:2207-2237 [Journal ] Integrating XQuery and Logic Programming. [Citation Graph (, )][DBLP ] An Encoding of XQuery in Prolog. [Citation Graph (, )][DBLP ] An Eclipse GMF Tool for Modelling User Interaction. [Citation Graph (, )][DBLP ] UML Modeling of User and Database Interaction. [Citation Graph (, )][DBLP ] An RDF Query Language based on Logic Programming. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.301secs