Miquel Nicolau

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Publications

Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Integrating Formal Verification of Parallelization in the PADD/RALE Environment. JISBD (2002)
Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS (2001)
Miquel Bertran, Felipe Alvarez-Cuevas, Joan Viaplana, Albert Duran, Daniel Cabedo, Antoni Garrell, Josep M. Garrell, Francesc Escudero, Miquel Nicolau, Miquel Porta, Bartomeu Palmer, Joan M. Espejo, Frances Oller, Jordi Forga, Josep M. Solanas
A design environment with simulation and formal verification (syr-padde). CAMAD (1994)