A. C. Norman

15 papers B 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
1995 J jnl
Compact Delivery Support for REDUCE.
J. Symb. Comput.
A. C. Norman
1993 — conf
Compact Delivery Support for REDUCE.
DISCO
A. C. Norman
1990 B conf
A Critical-Pair/Completion Based Integration Algorithm.
ISSAC
A. C. Norman
1988 — conf
Faster Combinator Reduction Using stock Hardware.
LISP and Functional Programming
A. C. Norman
1986 — conf
Alkahest III: automatic analysis of periodic weakly nonlinear ODEs.
SYMSAC
John P. Fitch, A. C. Norman, M. A. Moore
1984 — conf
Some Practical Methods for Rapid Combinator Reduction.
LISP and Functional Programming
W. R. Stoye, T. J. W. Clarke, A. C. Norman
1982 — conf
The Development of a Vector-based Algebra System.
EUROCAM
A. C. Norman
1981 — conf
Implementing a polynomial factorization and GCD package.
SYMSACC
P. M. A. Moore, A. C. Norman
1980 — conf
SKIM - The S, K, I Reduction Machine.
LISP Conference
T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman
1979 — conf
Integration -- the dust settles? (invited).
EUROSAM
A. C. Norman, James H. Davenport
1979 — conf
The initial design of a vector based algebra system.
EUROSAM
A. C. Norman, P. M. A. Moore
1978 J jnl
A Note on Compacting Garbage Collection.
Comput. J.
John P. Fitch, A. C. Norman
1977 J jnl
Implementing LISP in a High-level Language.
Softw. Pract. Exp.
John P. Fitch, A. C. Norman
1976 J jnl
Expanding the Solutions of Implicit Sets of Ordinary Differential Equations in Power Series.
Comput. J.
A. C. Norman
1975 J jnl
Computing with Formal Power Series.
ACM Trans. Math. Softw.
A. C. Norman
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling