| 1995 |
| 13 | | A. C. Norman:
Compact Delivery Support for REDUCE.
J. Symb. Comput. 19(1-3): 133-132 (1995) |
| 1993 |
| 12 | | A. C. Norman:
Compact Delivery Support for REDUCE.
DISCO 1993: 331-340 |
| 1990 |
| 11 | EE | A. C. Norman:
A Critical-Pair/Completion Based Integration Algorithm.
ISSAC 1990: 201-205 |
| 1988 |
| 10 | EE | A. C. Norman:
Faster Combinator Reduction Using stock Hardware.
LISP and Functional Programming 1988: 235-243 |
| 1984 |
| 9 | | W. R. Stoye,
T. J. W. Clarke,
A. C. Norman:
Some Practical Methods for Rapid Combinator Reduction.
LISP and Functional Programming 1984: 159-166 |
| 1982 |
| 8 | | A. C. Norman:
The Development of a Vector-based Algebra System.
EUROCAM 1982: 237-248 |
| 1980 |
| 7 | | T. J. W. Clarke,
P. Gladstone,
C. MacLean,
A. C. Norman:
SKIM - The S, K, I Reduction Machine.
LISP Conference 1980: 128-135 |
| 1979 |
| 6 | | A. C. Norman,
P. M. A. Moore:
The initial design of a vector based algebra system.
EUROSAM 1979: 258-265 |
| 5 | | A. C. Norman,
James H. Davenport:
Integration -- the dust settles? (invited).
EUROSAM 1979: 398-407 |
| 1978 |
| 4 | | John Fitch,
A. C. Norman:
A Note on Compacting Garbage Collection.
Comput. J. 21(1): 31-34 (1978) |
| 1977 |
| 3 | | John Fitch,
A. C. Norman:
Implementing LISP in a High-level Language.
Softw., Pract. Exper. 7(6): 713-725 (1977) |
| 1976 |
| 2 | | A. C. Norman:
Expanding the Solutions of Implicit Sets of Ordinary Differential Equations in Power Series.
Comput. J. 19(1): 63-68 (1976) |
| 1975 |
| 1 | EE | A. C. Norman:
Computing with Formal Power Series.
ACM Trans. Math. Softw. 1(4): 346-356 (1975) |