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
852011
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
632016
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
582002
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
492013
Cylindrical algebraic decomposition with equational constraints
M England, R Bradford, JH Davenport
Journal of Symbolic Computation 100, 38-71, 2020
442020
Towards better simplification of elementary functions
R Bradford, JH Davenport
Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002
442002
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
A π-calculus model of a spanish fish market—preliminary report—
J Padget, R Bradford
International Workshop on Agent-Mediated Electronic Trading, 166-188, 1998
411998
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
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
342015
A parallel discrete event IP network emulator
R Bradford, R Simmonds, B Unger
Proceedings 8th International Symposium on Modeling, Analysis and Simulation …, 2000
342000
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
312014
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
312014
Speeding up cylindrical algebraic decomposition by Gröbner bases
DJ Wilson, RJ Bradford, JH Davenport
International Conference on Intelligent Computer Mathematics, 280-294, 2012
302012
Effective tests for cyclotomic polynomials
RJ Bradford, JH Davenport
Symbolic and Algebraic Computation: International Symposium ISSAC'88 Rome …, 1989
301989
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
Efficient characterisation of large deviations using population dynamics
T Brewer, SR Clark, R Bradford, RL Jack
Journal of Statistical Mechanics: Theory and Experiment 2018 (5), 053204, 2018
272018
The system can't perform the operation now. Try again later.
Articles 1–20