John P. Fitch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
1981–2009
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | LPNMR | Generating Optimal Code Using Answer Set Programming. | Tom Crick, Martin Brain, Marina De Vos, John P. Fitch |
| 2006 | ICLP | TOAST: Applying Answer Set Programming to Superoptimisation. | Martin Brain, Tom Crick, Marina De Vos, John P. Fitch |
| 1996 | ISSAC | Memory Tracing of Algebraic Calculations. | Arthur Norman, John P. Fitch |
| 1994 | ISSAC | The Identity Problem for Elementary Functions and Constants. | Daniel Richardson, John P. Fitch |
| 1990 | ISSAC | A Delivery System for REDUCE. | John P. Fitch |
| 1989 | ISSAC | Can REDUCE be Run in Parallel? | John P. Fitch |
| 1986 | ISSAC | Alkahest III: automatic analysis of periodic weakly nonlinear ODEs. | John P. Fitch, A. C. Norman, M. A. Moore |
| 1985 | POPL | Closurize and Concentrate. | Julian A. Padget, John P. Fitch |
| 1981 | ISSAC | The automatic derivation of periodic solutions to a class of weakly nonlinear differential equations. | John P. Fitch |
| 1981 | ISSAC | User-based integration software. | John P. Fitch |