Rosa M. Jiménez

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 1

Top Topics

Constraint Satisfaction Problems

Nearest Neighbor Search

Hashing Algorithm

Relational Databases

Top Venues

Random Struct. Algorithms

Publications

Rosa M. Jiménez, Conrado Martínez
On Deletions in Open Addressing Hashing. ANALCO (2018)
Amalia Duch, Rosa M. Jiménez, Conrado Martínez
-dimensional binary search trees. Random Struct. Algorithms 45 (1) (2014)
Rosa M. Jiménez, Conrado Martínez
Interval Sorting. ICALP (1) (2010)
Amalia Duch, Rosa M. Jiménez, Conrado Martínez
Rank Selection in Multidimensional Data. LATIN (2010)
Rosa M. Jiménez, Fernando Orejas
An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods (1999)
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Class-Sort Polymorphism in GLIDER. COMPASS/ADT (1995)
Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Math. Struct. Comput. Sci. 5 (2) (1995)
Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT (1993)
Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT (1992)