![]() |
| 1996 | ||
|---|---|---|
| 10 | EE | Niki Afshartous, Malcolm C. Harrison: Expressing concurrency in Griffin. ICPADS 1996: 292- |
| 1986 | ||
| 9 | EE | Vincent J. Digricoli, Malcolm C. Harrison: Equality-based binary resolution. J. ACM 33(2): 253-289 (1986) |
| 1983 | ||
| 8 | D. Paul Benjamin, Malcolm C. Harrison: A Production System for Learning Plans From an Expert. AAAI 1983: 22-26 | |
| 1978 | ||
| 7 | EE | Malcolm C. Harrison, Norman Rubin: Another Generalization of Resolution. J. ACM 25(3): 341-351 (1978) |
| 1977 | ||
| 6 | Malcolm C. Harrison: A Hierarchical Approach to Theorem-Proving. IJCAI 1977: 529-533 | |
| 1971 | ||
| 5 | Malcolm C. Harrison: Implementation of the Substring Test by Hashing. Commun. ACM 14(12): 777-779 (1971) | |
| 1968 | ||
| 4 | EE | Malcolm C. Harrison: Implementations of the SHARER2 time-sharing system. Commun. ACM 11(12): 845 (1968) |
| 1967 | ||
| 3 | EE | Malcolm C. Harrison, J. T. Schwartz: SHARER, a time sharing system for the CDC 6600. Commun. ACM 10(10): 659-665 (1967) |
| 1965 | ||
| 2 | EE | Malcolm C. Harrison: Letters to the editor: Fortran II chaining. Commun. ACM 8(5): 262 (1965) |
| 1 | EE | Malcolm C. Harrison: File-handling within FORTRAN. Commun. ACM 8(8): 514-515 (1965) |
| 1 | Niki Afshartous | [10] |
| 2 | D. Paul Benjamin | [8] |
| 3 | Vincent J. Digricoli | [9] |
| 4 | Norman Rubin | [7] |
| 5 | J. T. Schwartz | [3] |