Follow
Russell Bradford
Russell Bradford
Computer Science, University of Bath
Verified email at cs.bath.ac.uk
Title
Cited by
Cited by
Year
Applying parallel discrete event simulation to network emulation
R Simmonds, R Bradford, B Unger
Proceedings Fourteenth Workshop on Parallel and Distributed Simulation, 15-22, 2000
862000
Cryptographic hash functions: Recent design trends and security notions
S Al-Kuwari, JH Davenport, RJ Bradford
Cryptology ePrint Archive, 2011
792011
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
652016
Reasoning about the elementary functions of complex analysis
R Bradford, RM Corless, JH Davenport, DJ Jeffrey, SM Watt
Annals of Mathematics and Artificial Intelligence 36, 303-318, 2002
592002
Optimising problem formulation for cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, D Wilson
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013
502013
Cylindrical algebraic decomposition with equational constraints
M England, R Bradford, JH Davenport
Journal of Symbolic Computation 100, 38-71, 2020
462020
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002
462002
A π-calculus model of a spanish fish market—preliminary report—
J Padget, R Bradford
International Workshop on Agent-Mediated Electronic Trading, 166-188, 1998
441998
Cylindrical algebraic decompositions for boolean combinations
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013
422013
Program verification in the presence of complex numbers, functions with branch cuts etc
JH Davenport, R Bradford, M England, D Wilson
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
352012
A parallel discrete event IP network emulator
R Bradford, R Simmonds, B Unger
Proceedings 8th International Symposium on Modeling, Analysis and Simulation …, 2000
342000
Improving the use of equational constraints in cylindrical algebraic decomposition
M England, R Bradford, JH Davenport
Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015
332015
A" piano movers" problem reformulated
D Wilson, JH Davenport, M England, R Bradford
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
322013
Enlarging the REDUCE domain of computation
RJ Bradford, AC Hearn, JA Padget, E Schrüfer
Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986
321986
Truth table invariant cylindrical algebraic decomposition by regular chains
R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson
International Workshop on Computer Algebra in Scientific Computing, 44-58, 2014
302014
Truth table invariant cylindrical algebraic decomposition by regular chains
R Bradford, C Chen, JH Davenport, M England, MM Maza, D Wilson
International Workshop on Computer Algebra in Scientific Computing, 44-58, 2014
302014
Effective tests for cyclotomic polynomials
RJ Bradford, JH Davenport
Symbolic and Algebraic Computation: International Symposium ISSAC'88 Rome …, 1989
301989
Identifying the parametric occurrence of multiple steady states for some biological networks
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Journal of Symbolic Computation 98, 84-119, 2020
292020
A case study on the parametric occurrence of multiple steady states
R Bradford, JH Davenport, M England, H Errami, V Gerdt, D Grigoriev, ...
Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017
292017
Speeding up cylindrical algebraic decomposition by Gröbner bases
DJ Wilson, RJ Bradford, JH Davenport
International Conference on Intelligent Computer Mathematics, 280-294, 2012
292012
The system can't perform the operation now. Try again later.
Articles 1–20