| |
| 1985 | ||
|---|---|---|
| 2 | Richard M. Nemes: Modular Verification of Distributed Systems. ICDCS 1985: 396-410 | |
| 1982 | ||
| 1 | Aaron M. Tenenbaum, Richard M. Nemes: Two Spectra of Self-Organizing Sequential Search Algorithms. SIAM J. Comput. 11(3): 557-566 (1982) | |
| 1 | Aaron M. Tenenbaum | [1] |