Rosa M. Jiménez

	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	Hartmut Ehrig	[2] [3]
3	Fernando Orejas	[1] [2] [3] [4] [5]