Author of the publication

Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers.

, , , , , and . SC, page 139-146. ACM, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deadlock prevention in flexible manufacturing systems using symbolic model checking., , and . ICRA, page 527-532. IEEE, (1996)Symbolic Model Checking., , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 419-427. Springer, (1996)Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers., , , , , and . SC, page 139-146. ACM, (1991)On the Semantic Foundations of Probabilistic Synchronous Reactive Programs., , and . PROBMIV, volume 22 of Electronic Notes in Theoretical Computer Science, page 3-28. Elsevier, (1998)Symbolic Model Checking for Probabilistic Processes., , , , and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 430-440. Springer, (1997)