|
Search the dblp DataBase
Thomas Mailleux Santana:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] IPDPS, 2005, pp:- [Conf]
- Mauricio Ayala-Rincón, Thomas Mailleux Santana
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS. [Citation Graph (0, 0)][DBLP] SBCCI, 2006, pp:125-130 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WEA, 2005, pp:464-475 [Conf]
Search in 0.001secs, Finished in 0.001secs
|