Rosa M. Jiménez
According to our database1,
Rosa M. Jiménez
authored at least 9 papers
between 1992 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
0
1
2
3
1
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics, 2018
2014
Random Struct. Algorithms, 2014
2010
Proceedings of the LATIN 2010: Theoretical Informatics, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
1999
Proceedings of the FM'99 - Formal Methods, 1999
1995
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Math. Struct. Comput. Sci., 1995
Proceedings of the Recent Trends in Data Type Specification, 1995
1993
Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
1992
Proceedings of the Recent Trends in Data Type Specification, 1992