| 2008 |
|---|
| 29 | EE | Georg Boenn,
Martin Brain,
Marina De Vos,
John Fitch:
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.
ICLP 2008: 160-174 |
| 2006 |
|---|
| 28 | EE | Martin Brain,
Tom Crick,
Marina De Vos,
John Fitch:
TOAST: Applying Answer Set Programming to Superoptimisation.
ICLP 2006: 270-284 |
| 2004 |
|---|
| 27 | EE | John Fitch,
Julian A. Padget:
Ride a Cock-Horse ....
WEDELMUSIC 2004: 136-143 |
| 1996 |
|---|
| 26 | | Arthur Norman,
John Fitch:
Interfacing REDUCE to Java.
DISCO 1996: 271-276 |
| 25 | EE | Arthur Norman,
John Fitch:
Memory Tracing of Algebraic Calculations.
ISSAC 1996: 113-119 |
| 1994 |
|---|
| 24 | EE | Daniel Richardson,
John Fitch:
The Identity Problem for Elementary Functions and Constants.
ISSAC 1994: 285-290 |
| 1993 |
|---|
| 23 | | John Fitch:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings
Springer 1993 |
| 1992 |
|---|
| 22 | | John Fitch:
REDUCE Meets CAMAL.
DISCO 1992: 104-115 |
| 1991 |
|---|
| 21 | | Julian A. Padget,
Russell J. Bradford,
John Fitch:
Concurrent Object-Oriented Programming in Lisp.
Comput. J. 34(4): 311-319 (1991) |
| 20 | | H. I. Cohen,
John Fitch:
Uses Made of Computer Algebra in Physics.
J. Symb. Comput. 11(3): 291-305 (1991) |
| 1990 |
|---|
| 19 | EE | John Fitch:
A Delivery System for REDUCE.
ISSAC 1990: 76-81 |
| 1989 |
|---|
| 18 | EE | John Fitch:
Can REDUCE be Run in Parallel?
ISSAC 1989: 155-162 |
| 1987 |
|---|
| 17 | | P. D. Pearce,
John Fitch:
Dynamic program improvement.
EUROCAL 1987: 202-203 |
| 16 | | John Fitch,
Richard G. Hall:
Symbolic computation and the finite element method.
EUROCAL 1987: 95-96 |
| 1985 |
|---|
| 15 | | Julian A. Padget,
John Fitch:
Closurize and Concentrate.
POPL 1985: 255-265 |
| 14 | | John Fitch:
Solving Algebraic Problems with Reduce.
J. Symb. Comput. 1(2): 211-227 (1985) |
| 1984 |
|---|
| 13 | | John Fitch:
EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings
Springer 1984 |
| 12 | | John Fitch,
Julian A. Padget:
A Pure and Really Simple Initial Functional Algebraic Language.
EUROSAM 1984: 148-158 |
| 1983 |
|---|
| 11 | | John Fitch:
Implementing REDUCE on a micro-computer.
EUROCAL 1983: 128-136 |
| 10 | | Jed Marti,
John Fitch:
The Bath concurrent LISP machine.
EUROCAL 1983: 78-90 |
| 1982 |
|---|
| 9 | | John Fitch,
Jed Marti:
NLARGEing a z80 Microprocessor.
EUROCAM 1982: 249-255 |
| 1980 |
|---|
| 8 | | J. Campbell,
John Fitch:
Symbolic Computing with and without Lisp.
LISP Conference 1980: 1-5 |
| 1979 |
|---|
| 7 | | John Fitch:
A survey of symbolic computation in physics (invited).
EUROSAM 1979: 30-41 |
| 1978 |
|---|
| 6 | | John Fitch,
A. C. Norman:
A Note on Compacting Garbage Collection.
Comput. J. 21(1): 31-34 (1978) |
| 1977 |
|---|
| 5 | | John Fitch:
Profiling a Large Program.
Softw., Pract. Exper. 7(4): 511-533 (1977) |
| 4 | | John Fitch,
A. C. Norman:
Implementing LISP in a High-level Language.
Softw., Pract. Exper. 7(6): 713-725 (1977) |
| 1973 |
|---|
| 3 | | John Fitch:
On Algebraic Simplification.
Comput. J. 16(1): 23-27 (1973) |
| 1971 |
|---|
| 2 | | David Barton,
John Fitch:
General Relativity and the Application of Algebraic Manipulative Systems.
Commun. ACM 14(8): 542-547 (1971) |
| 1970 |
|---|
| 1 | | David Barton,
Stephen R. Bourne,
John Fitch:
An Algebra System.
Comput. J. 13(1): 32-39 (1970) |
