Parallel Strategies for Local Biological Sequence Alignment in a Cluster of Workstations. - Azzedine Boukerche; Alba Cristina Magalhaes Alves de Melo; Mauricio Ayala-Rincón; Thomas Mailleux Santana (IPDPS, 2005)

Parallel Smith-Waterman Algorithm for Local DNA Comparison in a Cluster of Workstations. - Azzedine Boukerche; Alba Cristina Magalhaes Alves de Melo; Mauricio Ayala-Rincón; Thomas Mailleux Santana (WEA, 2005)

SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. - Mauricio Ayala-Rincón; Thomas Mailleux Santana (SBCCI, 2006)