Russell Bradford - Concepedia

Author

Russell Bradford

Also Known As

Bradford, R., Bradford, Russell, Bradford, Russell J., Davenport, James H., R. Bradford, R. J. Bradford, R.J. Bradford, Russell Bradford, Russell J. Bradford, Sierra, Carles

Publications

Citations

H-Index

Concepts

All Affiliations

University of Bath Coventry University University of Calgary Joint Institute for Nuclear Research Macquarie University

About

Russell Bradford is an author at University of Bath specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	18	468
2	Computer Engineering	8	8	208
3	Natural Sciences	1	1	10
4	Social Sciences	1	1	14
5	Biology	1	1	29

Russell Bradford

Publications

635

Citations

H-Index

Page 1

	Year	Citations
Truth table invariant cylindrical algebraic decomposition Russell Bradford, James H. Davenport, Matthew England, Journal of Symbolic Computation Mathematical ProgrammingConstraint SolvingEngineeringReal Algebraic GeometryParameterized Complexity	2015	59
Applying parallel discrete event simulation to network emulation Rob Simmonds, Russell Bradford, Brian Unger Workshop on Parallel and Distributed Simulation Emulation TechniqueEngineeringOptimistic Pdes KernelsComputer ArchitectureNetwork Analysis	2000	50
Cryptographic hash functions: recent design trends and security notions Saif Al‐Kuwari, James H. Davenport, Russell Bradford The University of Bath Online Publications Store (The University of Bath)	2011	46
Cylindrical algebraic decompositions for boolean combinations Russell Bradford, James H. Davenport, Matthew England, Circuit ComplexityMathematical ProgrammingTruth ValuesEngineeringBoolean Function	2013	41
Applying parallel discrete event simulation to network emulation Rob Simmonds, Russell Bradford, Brian Unger Emulation TechniqueEngineeringOptimistic Pdes KernelsComputer ArchitectureNetwork Analysis	2002	38
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc James H. Davenport, Russell Bradford, Matthew England, Program CheckingEngineeringVerificationComputer-aided VerificationComputational Complexity	2012	32
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition Matthew England, Russell Bradford, James H. Davenport	2015	31
A Case Study on the Parametric Occurrence of Multiple Steady States Russell Bradford, James H. Davenport, Matthew England, Mathematical ProgrammingDynamic EquilibriumEngineeringMultiple Steady StatesNetwork Analysis	2017	31
Towards better simplification of elementary functions Russell Bradford, James H. Davenport Mathematical ProgrammingCircuit ComplexityEngineeringComputational ComplexitySymbolic Computation	2002	29
Identifying the parametric occurrence of multiple steady states for some biological networks Russell Bradford, James H. Davenport, Matthew England, Journal of Symbolic Computation BiologyDynamic NetworkNetwork ScienceBiological NetworksEngineering	2019	29

Page 1