Rosa M. Jiménez

According to our database, Rosa M. Jiménez authored at least 9 papers between 1992 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

On Deletions in Open Addressing Hashing.

Rosa M. Jiménez, Conrado Martínez

Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics, 2018

2014

Selection by rank in <i>K</i>-dimensional binary search trees.

Amalia Duch, Rosa M. Jiménez, Conrado Martínez

Random Struct. Algorithms, 2014

2010

Rank Selection in Multidimensional Data.

Amalia Duch, Rosa M. Jiménez, Conrado Martínez

Proceedings of the LATIN 2010: Theoretical Informatics, 2010

Interval Sorting.

Rosa M. Jiménez, Conrado Martínez

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

1999

An Algebraic Framework for Higher-Order Modules.

Rosa M. Jiménez, Fernando Orejas

Proceedings of the FM'99 - Formal Methods, 1999

1995

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.

Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig

Math. Struct. Comput. Sci., 1995

Class-Sort Polymorphism in GLIDER.

Silvia Clerici, Rosa M. Jiménez, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1995

1993

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.

Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Semantic Constructions in the Specification Language GLIDER.

Silvia Clerici, Rosa M. Jiménez, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1992