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

John Fitch Vis

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

*2009
32EEJohn Fitch: CAMAL 40 Years on - Is Small Still Beautiful?. Calculemus/MKM 2009: 32-44
31EEGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547
30EETom Crick, Martin Brain, Marina De Vos, John Fitch: Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559
2008
29EEGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174
2006
28EEMartin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
2004
27EEJohn Fitch, Julian A. Padget: Ride a Cock-Horse .... WEDELMUSIC 2004: 136-143
1996
26EEArthur Norman, John Fitch: Interfacing REDUCE to Java. DISCO 1996: 271-276
25EEArthur Norman, John Fitch: Memory Tracing of Algebraic Calculations. ISSAC 1996: 113-119
1994
24EEDaniel 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
22EEJohn 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
19EEJohn Fitch: A Delivery System for REDUCE. ISSAC 1990: 76-81
1989
18EEJohn 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)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)