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

Russell J. Bradford 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaif Al-Kuwari, James H. Davenport, Russell J. Bradford: Cryptographic Hash Functions: Recent Design Trends and Security Notions. IACR Cryptology ePrint Archive 2011: 565 (2011)
2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, James H. Davenport, Christopher J. Sangwin: A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. Calculemus/MKM 2009: 75-89
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut: Testing elementary function identities using CAD. Appl. Algebra Eng. Commun. Comput. 18(6): 513-543 (2007)
2005
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Beaumont, Nalina Phisanbut, Russell J. Bradford: Practical Simplification of Elementary Functions Using CAD. Algorithmic Algebra and Logic 2005: 35-39
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut: Adherence is better than adjacency: computing the Riemann index using CAD. ISSAC 2005: 37-44
2004
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut: A poly-algorithmic approach to simplifying elementary functions. ISSAC 2004: 27-34
2003
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames C. Beaumont, Russell J. Bradford, James H. Davenport: Better simplification of elementary functions through power series. ISSAC 2003: 30-36
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, James H. Davenport: Towards better simplification of elementary functions. ISSAC 2002: 16-22
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt: Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. 36(3): 303-318 (2002)
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Power, Russell J. Bradford: A Library for Parallel Modular Arithmetic. Euro-Par 1999: 1476-1483
1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian A. Padget, Russell J. Bradford: A pi-calculus Model of a Spanish Fish Market - Preliminary Report. AMET 1998: 166-188
1994
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael C. Fairhurst, N. Higson, C. Clar, Russell J. Bradford, W. Clark, E. Pringle: Automatic Image Processing in Developmental Testing of Visual-Motor Integration. ICCHP 1994: 329-335
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, David De Roure: EuLisp in Education. Lisp and Symbolic Computation 6(1-2): 99-118 (1993)
1992
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford: Algebraic Simplification of Multiple-Valued Functions. DISCO 1992: 13-21
1991
6Electronic 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)
1990
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford: A Parallelization of the Buchberger Algorithm. ISSAC 1990: 296
1989
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford: Some Results on the Defect. ISSAC 1989: 129-135
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, James H. Davenport: Effective Tests for Cyclotonic Polynomials. ISSAC 1988: 244-251
1987
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford: Hermite normal forms for integer matrices. EUROCAL 1987: 315-316
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. A. Abbott, Russell J. Bradford, James H. Davenport: Factorisation of Polynominals: Old Ideas and Recent Results. Trends in Computer Algebra 1987: 81-91

Coauthor Index

1J. A. Abbott [1]
2Saif Al-Kuwari [20]
3James C. Beaumont [14] [15] [16] [17] [18]
4C. Clar [9]
5W. Clark [9]
6Robert M. Corless [12]
7James H. Davenport (James Harold Davenport) [1] [3] [12] [13] [14] [15] [16] [18] [19] [20]
8Michael C. Fairhurst [9]
9John Fitch [6]
10N. Higson [9]
11David J. Jeffrey [12]
12Julian A. Padget [6] [10]
13Nalina Phisanbut [15] [16] [17] [18]
14David Power [11]
15E. Pringle [9]
16David De Roure [8]
17Christopher J. Sangwin [19]
18Stephen M. Watt [12]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 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