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

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 (3), 303-318, 2002 | 54 | 2002 |

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

Optimising problem formulation for cylindrical algebraic decomposition R Bradford, JH Davenport, M England, D Wilson International Conference on Intelligent Computer Mathematics, 19-34, 2013 | 40 | 2013 |

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

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

A π-calculus model of a spanish fish market—preliminary report— J Padget, R Bradford International Workshop on Agent-Mediated Electronic Trading, 166-188, 1998 | 39 | 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 |

Cryptographic hash functions: recent design trends and security notions. S Al-Kuwari, JH Davenport, RJ Bradford IACR Cryptol. ePrint Arch. 2011, 565, 2011 | 33 | 2011 |

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

A parallel discrete event IP network emulator R Bradford, R Simmonds, B Unger Proceedings 8th International Symposium on Modeling, Analysis and Simulation …, 2000 | 29 | 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 | 28 | 2015 |

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

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

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

Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting M England, D Wilson, R Bradford, JH Davenport International Congress on Mathematical Software, 458-465, 2014 | 24 | 2014 |

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

Cylindrical algebraic sub-decompositions DJ Wilson, RJ Bradford, JH Davenport, M England Mathematics in Computer Science 8 (2), 263-288, 2014 | 22 | 2014 |

Reasoning about the elementary functions of complex analysis RM Corless, JH Davenport, DJ Jeffrey, G Litt, SM Watt International Conference on Artificial Intelligence and Symbolic Computation …, 2000 | 22 | 2000 |