Russell J. Bradford
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
10
Active years
1986–2017
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ISSAC | A Case Study on the Parametric Occurrence of Multiple Steady States. | Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber |
| 2015 | ISSAC | Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. | Matthew England, Russell J. Bradford, James H. Davenport |
| 2014 | CASC | Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. | Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson |
| 2014 | DAFX | Streaming Spectral Processing with Consumer-Level Graphics Processing Units. | Victor Lazzarini, John ffitch, Joseph Timoney, Russell J. Bradford |
| 2014 | SYNASC | Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. | David J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport |
| 2013 | ISSAC | Cylindrical algebraic decompositions for boolean combinations. | Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson |
| 2013 | SYNASC | A "Piano Movers" Problem Reformulated. | David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford |
| 2012 | AISC | Speeding Up Cylindrical Algebraic Decomposition by Grbner Bases. | David J. Wilson, Russell J. Bradford, James H. Davenport |
| 2012 | SYNASC | Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. | James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson |
| 2005 | ISSAC | Adherence is better than adjacency: computing the Riemann index using CAD. | James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2004 | ISSAC | A poly-algorithmic approach to simplifying elementary functions. | James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut |
| 2003 | ISSAC | Better simplification of elementary functions through power series. | James C. Beaumont, Russell J. Bradford, James H. Davenport |
| 2002 | ISSAC | Towards better simplification of elementary functions. | Russell J. Bradford, James H. Davenport |
| 2002 | SIGMETRICS | Web server benchmarking using parallel WAN emulation. | Rob Simmonds, Carey L. Williamson, Russell J. Bradford, Martin F. Arlitt, Brian W. Unger |
| 2001 | MASCOTS | Packet Reading for Network Emulation. | Russell J. Bradford, Rob Simmonds, Brian W. Unger |
| 2000 | MASCOTS | A Parallel Discrete Event IP Network Emulator. | Russell J. Bradford, Rob Simmonds, Brian W. Unger |
| 2000 | PADS | Applying parallel discrete event simulation to network emulation. | Rob Simmonds, Russell J. Bradford, Brian W. Unger |
| 1999 | EuroPar | A Library for Parallel Modular Arithmetic. | David Power, Russell J. Bradford |
| 1994 | ICCHP | Automatic Image Processing in Developmental Testing of Visual-Motor Integration. | Michael C. Fairhurst, N. Higson, C. Clar, Russell J. Bradford, W. Clark, E. Pringle |
| 1990 | ISSAC | A Parallelization of the Buchberger Algorithm. | Russell J. Bradford |
| 1989 | ISSAC | Some Results on the Defect. | Russell J. Bradford |
| 1988 | ISSAC | Effective Tests for Cyclotonic Polynomials. | Russell J. Bradford, James H. Davenport |
| 1986 | ISSAC | The Bath algebraic number package. | John A. Abbott, Russell J. Bradford, James H. Davenport |
| 1986 | ISSAC | Enlarging the REDUCE domain of computation. | Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrfer |