| |
| 2002 | ||
|---|---|---|
| 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 | |
| 2001 | ||
| 1 | EE | Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau: Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39 |
| 1 | Francesc-Xavier Babot | [1] [2] |
| 2 | Miquel Bertran | [1] [2] |
| 3 | August Climent | [1] [2] |
| 4 | Albert Duran | [2] |
| 5 | Miquel Porta | [2] |