关注
Russell Bradford
Russell Bradford
Computer Science, University of Bath
在 cs.bath.ac.uk 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
802011
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
672016
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
602002
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
522013
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
332013
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
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
312020
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
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
292018
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
系统目前无法执行此操作,请稍后再试。
文章 1–20