Rosa M. Jiménez

	2010
7		Rosa M. Jiménez, Conrado Martínez: Interval Sorting. ICALP (1) 2010: 238-249
6		Amalia Duch, Rosa M. Jiménez, Conrado Martínez: Rank Selection in Multidimensional Data. LATIN 2010: 674-685
	1999
5		Rosa M. Jiménez, Fernando Orejas: An Algebraic Framework for Higher-Order Modules. World Congress on Formal Methods 1999: 1778-1797
	1995
4		Silvia Clerici, Rosa M. Jiménez, Fernando Orejas: Class-Sort Polymorphism in GLIDER. COMPASS/ADT 1995: 143-160
3		Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig: Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. Mathematical Structures in Computer Science 5(2): 283-314 (1995)
	1993
2		Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas: Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. TAPSOFT 1993: 31-45
	1992
1		Silvia Clerici, Rosa M. Jiménez, Fernando Orejas: Semantic Constructions in the Specification Language GLIDER. COMPASS/ADT 1992: 144-157

Coauthor Index

1	Silvia Clerici	[1] [4]
2	Amalia Duch	[6]
3	Hartmut Ehrig	[2] [3]
4	Conrado Martínez (Conrado Martinez)	[6] [7]
5	Fernando Orejas	[1] [2] [3] [4] [5]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page