| |
| 2006 | ||
|---|---|---|
| 3 | EE | Mauricio Ayala-Rincón, Thomas Mailleux Santana: SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. SBCCI 2006: 125-130 |
| 2005 | ||
| 2 | EE | Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana: Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations. IPDPS 2005 |
| 1 | EE | Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Mauricio Ayala-Rincón, Thomas Mailleux Santana: Parallel Smith-Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations. WEA 2005: 464-475 |
| 1 | Mauricio Ayala-Rincón | [1] [2] [3] |
| 2 | Azzedine Boukerche | [1] [2] |
| 3 | Alba Cristina Magalhaes Alves de Melo | [1] [2] |