Miquel Nicolau
According to our database1,
Miquel Nicolau
authored at least 3 papers
between 1994 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
1994
1995
1996
1997
1998
1999
2000
2001
2002
0
1
2
1
1
1
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