Miquel Nicolau (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 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: 305-314

1 Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39

Selection of 2 from 2 records - Miquel Nicolau has 5 coauthors

2		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: 305-314
1		Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39