dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

John Fitch Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic music composition using answer set programming. TPLP 11(2-3): 397-427 (2011)
2010
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Music Composition using Answer Set Programming CoRR abs/1006.4948: (2010)
2009
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: CAMAL 40 Years on - Is Small Still Beautiful?. Calculemus/MKM 2009: 32-44
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Crick, Martin Brain, Marina De Vos, John Fitch: Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Lombardo, Andrea Valle, John Fitch, Kees Tazelaar, Stefan Weinzierl, Wojciech Borczyk: A Virtual-Reality Reconstruction of Poème Électronique Based on Philological Research. Computer Music Journal 33(2): 24-47 (2009)
2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174
2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
2004
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch, Julian A. Padget: Ride a Cock-Horse .... WEDELMUSIC 2004: 136-143
1997
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur Norman, John Fitch: CABAL: polynomial and power series algebra on a parallel computer. PASCO 1997: 196-203
1996
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur Norman, John Fitch: Interfacing REDUCE to Java. DISCO 1996: 271-276
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArthur Norman, John Fitch: Memory Tracing of Algebraic Calculations. ISSAC 1996: 113-119
1994
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Richardson, John Fitch: The Identity Problem for Elementary Functions and Constants. ISSAC 1994: 285-290
1993
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings Springer 1993
1992
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: REDUCE Meets CAMAL. DISCO 1992: 104-115
1991
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian A. Padget, Russell J. Bradford, John Fitch: Concurrent Object-Oriented Programming in Lisp. Comput. J. 34(4): 311-319 (1991)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLH. I. Cohen, John Fitch: Uses Made of Computer Algebra in Physics. J. Symb. Comput. 11(3): 291-305 (1991)
1990
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: A Delivery System for REDUCE. ISSAC 1990: 76-81
1989
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: Can REDUCE be Run in Parallel? ISSAC 1989: 155-162
1987
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. D. Pearce, John Fitch: Dynamic program improvement. EUROCAL 1987: 202-203
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch, Richard G. Hall: Symbolic computation and the finite element method. EUROCAL 1987: 95-96
1985
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian A. Padget, John Fitch: Closurize and Concentrate. POPL 1985: 255-265
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: Solving Algebraic Problems with Reduce. J. Symb. Comput. 1(2): 211-227 (1985)
1984
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984, Proceedings Springer 1984
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch, Julian A. Padget: A Pure and Really Simple Initial Functional Algebraic Language. EUROSAM 1984: 148-158
1983
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: Implementing REDUCE on a micro-computer. EUROCAL 1983: 128-136
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJed Marti, John Fitch: The Bath concurrent LISP machine. EUROCAL 1983: 78-90
1982
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch, Jed Marti: NLARGEing a z80 Microprocessor. EUROCAM 1982: 249-255
1980
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Campbell, John Fitch: Symbolic Computing with and without Lisp. LISP Conference 1980: 1-5
1979
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: A survey of symbolic computation in physics (invited). EUROSAM 1979: 30-41
1978
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch, A. C. Norman: A Note on Compacting Garbage Collection. Comput. J. 21(1): 31-34 (1978)
1977
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: Profiling a Large Program. Softw., Pract. Exper. 7(4): 511-533 (1977)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch, A. C. Norman: Implementing LISP in a High-level Language. Softw., Pract. Exper. 7(6): 713-725 (1977)
1973
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Fitch: On Algebraic Simplification. Comput. J. 16(1): 23-27 (1973)
1971
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Barton, John Fitch: General Relativity and the Application of Algebraic Manipulative Systems. Commun. ACM 14(8): 542-547 (1971)
1970
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Barton, Stephen R. Bourne, John Fitch: An Algebra System. Comput. J. 13(1): 32-39 (1970)

Coauthor Index

1David Barton [1] [2]
2Georg Boenn [30] [33] [35] [36]
3Wojciech Borczyk [31]
4Stephen R. Bourne [1]
5Russell J. Bradford [21]
6Martin Brain [29] [30] [32] [33] [35] [36]
7J. Campbell [8]
8H. I. Cohen [20]
9Tom Crick [29] [32]
10Richard G. Hall [16]
11Vincenzo Lombardo [31]
12Jed Marti [9] [10]
13A. C. Norman [4] [6]
14Arthur Norman [25] [26] [27]
15Julian A. Padget [12] [15] [21] [28]
16P. D. Pearce [17]
17Daniel Richardson [24]
18Kees Tazelaar [31]
19Andrea Valle [31]
20Marina De Vos [29] [30] [32] [33] [35] [36]
21Stefan Weinzierl [31]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page