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