Semantic Constructions in the Specification Language GLIDER. - Silvia Clerici; Rosa M. Jiménez; Fernando Orejas (COMPASS/ADT, 1992)

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. - Hartmut Ehrig; Rosa M. Jiménez; Fernando Orejas (TAPSOFT, 1993)

Class-Sort Polymorphism in GLIDER. - Silvia Clerici; Rosa M. Jiménez; Fernando Orejas (COMPASS/ADT, 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)

An Algebraic Framework for Higher-Order Modules. - Rosa M. Jiménez; Fernando Orejas (World Congress on Formal Methods, 1999)

Interval Sorting. - Rosa M. Jiménez; Conrado Martínez (ICALP (1), 2010)

Rank Selection in Multidimensional Data. - Amalia Duch; Rosa M. Jiménez; Conrado Martínez (LATIN, 2010)

Selection by rank in K-dimensional binary search trees. - Amalia Duch; Rosa M. Jiménez; Conrado Martínez (Random Struct. Algorithms, 2014)

On Deletions in Open Addressing Hashing. - Rosa M. Jiménez; Conrado Martínez (ANALCO, 2018)