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 | 86 | 2000 |

Cryptographic hash functions: Recent design trends and security notions S Al-Kuwari, JH Davenport, RJ Bradford Cryptology ePrint Archive, 2011 | 84 | 2011 |

Truth table invariant cylindrical algebraic decomposition R Bradford, JH Davenport, M England, S McCallum, D Wilson Journal of Symbolic Computation 76, 1-35, 2016 | 62 | 2016 |

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 | 57 | 2002 |

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 | 49 | 2013 |

Towards better simplification of elementary functions R Bradford, JH Davenport Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002 | 45 | 2002 |

Cylindrical algebraic decomposition with equational constraints M England, R Bradford, JH Davenport Journal of Symbolic Computation 100, 38-71, 2020 | 44 | 2020 |

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 | 42 | 2013 |

A π-calculus model of a spanish fish market—preliminary report— J Padget, R Bradford International Workshop on Agent-Mediated Electronic Trading, 166-188, 1998 | 42 | 1998 |

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 | 35 | 2012 |

A parallel discrete event IP network emulator R Bradford, R Simmonds, B Unger Proceedings 8th International Symposium on Modeling, Analysis and Simulation …, 2000 | 34 | 2000 |

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 | 33 | 2015 |

A" piano movers" problem reformulated D Wilson, JH Davenport, M England, R Bradford 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 32 | 2013 |

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 | 32 | 1986 |

Speeding up cylindrical algebraic decomposition by Gröbner bases DJ Wilson, RJ Bradford, JH Davenport International Conference on Intelligent Computer Mathematics, 280-294, 2012 | 30 | 2012 |

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 | 29 | 2014 |

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 | 29 | 2014 |

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 | 28 | 2017 |

Effective tests for cyclotomic polynomials RJ Bradford, JH Davenport Symbolic and Algebraic Computation: International Symposium ISSAC'88 Rome …, 1989 | 28 | 1989 |

The Bath algebraic number package JA Abbott, RJ Bradford, JH Davenport Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986 | 27 | 1986 |