Search the dblp DataBase
Rosa M. Jiménez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Semantic Constructions in the Specification Language GLIDER. [Citation Graph (0, 0)][DBLP]
COMPASS/ADT, 1992, pp:144-157 [Conf] - Silvia Clerici, Rosa M. Jiménez, Fernando Orejas
Class-Sort Polymorphism in GLIDER. [Citation Graph (0, 0)][DBLP]
COMPASS/ADT, 1995, pp:143-160 [Conf] - Rosa M. Jiménez, Fernando Orejas
An Algebraic Framework for Higher-Order Modules. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:1778-1797 [Conf] - Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1993, pp:31-45 [Conf] - Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:283-314 [Journal]
Interval Sorting. [Citation Graph (, )][DBLP]
Rank Selection in Multidimensional Data. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002