Russell Bradford

Dr

  • 1 WEST 3.59

1985 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Research interests include computer algebra; cryptography; design and implementation of object-oriented languages; simulation and emulation of networks; the mechanisation of various abstract nonsenses. Outside interests include karate, going to festivals and being generally distracted.

Fingerprint Dive into the research topics where Russell Bradford is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

Identifying the parametric occurrence of multiple steady states for some biological networks

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 1 May 2020, In : Journal of Symbolic Computation. 98, p. 84-119 36 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Cylindrical algebraic decomposition with equational constraints

England, M., Bradford, R. & Davenport, J. H., 26 Jul 2019, In : Journal of Symbolic Computation. 100, p. 38-71 34 p.

Research output: Contribution to journalArticle

Open Access
1 Citation (Scopus)

Quantifier Elimination for Reasoning in Economics

Mulligan, C. B., Bradford, R., Davenport, J., England, M. & Tonks, Z., 26 Apr 2018

Research output: Other contribution

Open Access

A case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 16 Citations (Scopus)

    A C++ Programming Model for Heterogeneous System Architecture

    Potter, R., Bradford, R., Murray, A. & Dolinsky, U., 6 Oct 2016, High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers. Taufer, M., Mohr, B. & Kunkel, J. M. (eds.). Springer International Publishing, p. 433-450 17 p. (Lecture Notes in Computer Science; vol. 9945).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Datasets

    Data for 'Efficient characterisation of large deviations using population dynamics'

    Brewer, T. (Creator), Jack, R. (Creator), Clark, S. (Supervisor) & Bradford, R. (Supervisor), University of Bath, 8 May 2018

    Dataset

    Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

    England, M. (Creator), Bradford, R. (Creator), Davenport, J. (Creator), McCallum, S. (Creator), Wilson, D. (Creator), University of Bath, 2015

    Dataset

    Thesis

    Advances in Cylindrical Algebraic Decomposition

    Author: Wilson, D., 24 Dec 2014

    Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Attribute based authentication schemes

    Author: Khader, D., 23 Apr 2009

    Supervisor: Bradford, R. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Efficient Simulation of Rare Events in one-dimensional systems using a parallelised cloning algorithm

    Author: Brewer, T., 1 May 2019

    Supervisor: Clark, S. (Supervisor), Jack, R. (Supervisor) & Bradford, R. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Integrated-Key Cryptographic Hash Functions

    Author: Al-Kuwari, S., 1 Sep 2011

    Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Practical simplification of elementary functions using CAD

    Author: Phisanbut, N., 1 Aug 2011

    Supervisor: Davenport, J. (Supervisor) & Bradford, R. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File