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] |