Miquel Nicolau
According to our database1,
Miquel Nicolau
authored at least 3 papers
between 1994 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
2001
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
Proceedings of the Static Analysis, 8th International Symposium, 2001
1994
Proceedings of the Fifth IEEE International Workshop on Computer-Aided Modeling, 1994