Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Using MPI-2: Advanced Features of the Message Passing Interface | 3 | 0.51 | 2003 |
| Applications of the Aurora Parallel Prolog System to Computational Molecular Biology | 1 | 0.36 | 1992 |
| Set Theory in First-Order Logic: Clauses for Gödel's Axioms | 50 | 8.20 | 1986 |