Rosa M. Jiménez

Semantic Constructions in the Specification Language GLIDER

Fernando Orejas, Silvia Clerici, Rosa M. Jiménez, 1992, COMPASS/ADT.

Rank Selection in Multidimensional Data

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

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

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

An Algebraic Framework for Higher-Order Modules

Fernando Orejas, Rosa M. Jiménez, 1999, World Congress on Formal Methods.

Class-Sort Polymorphism in GLIDER

Fernando Orejas, Silvia Clerici, Rosa M. Jiménez, 1995, COMPASS/ADT.

Compositionality and compatibility of parameterization and parameter passing in specification languages

Hartmut Ehrig, Fernando Orejas, Rosa M. Jiménez, 1995, Mathematical Structures in Computer Science.

On Deletions in Open Addressing Hashing

Conrado Martínez, Rosa M. Jiménez, 2018, ANALCO.

Selection by rank in K-dimensional binary search trees

Conrado Martínez, Amalia Duch Brown, Rosa M. Jiménez, 2014, Random Struct. Algorithms.

Interval Sorting

Conrado Martínez, Rosa M. Jiménez, 2010, ICALP.