Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Russell J. Bradford
@article{DBLP:journals/cca/BradfordDESU21,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
AmirHosein Sadeghimanesh and
Ali Kemal Uncu},
title = {The {DEWCAD} project: pushing back the doubly exponential wall of
cylindrical algebraic decomposition},
journal = {{ACM} Commun. Comput. Algebra},
volume = {55},
number = {3},
pages = {107--111},
year = {2021},
url = {https://doi.org/10.1145/3511528.3511538},
doi = {10.1145/3511528.3511538},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/BradfordDESU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-08740,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
AmirHosein Sadeghimanesh and
Ali Kemal Uncu},
title = {The {DEWCAD} Project: Pushing Back the Doubly Exponential Wall of
Cylindrical Algebraic Decomposition},
journal = {CoRR},
volume = {abs/2106.08740},
year = {2021},
url = {https://arxiv.org/abs/2106.08740},
eprinttype = {arXiv},
eprint = {2106.08740},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-08740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BradfordDEEGGHK20,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Hassan Errami and
Vladimir P. Gerdt and
Dima Grigoriev and
Charles Tapley Hoyt and
Marek Kosta and
Ovidiu Radulescu and
Thomas Sturm and
Andreas Weber},
title = {Identifying the parametric occurrence of multiple steady states for
some biological networks},
journal = {J. Symb. Comput.},
volume = {98},
pages = {84--119},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.07.008},
doi = {10.1016/J.JSC.2019.07.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/BradfordDEEGGHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/EnglandBD20,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport},
title = {Cylindrical algebraic decomposition with equational constraints},
journal = {J. Symb. Comput.},
volume = {100},
pages = {38--71},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.07.019},
doi = {10.1016/J.JSC.2019.07.019},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/EnglandBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2019,
editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
title = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3326229},
doi = {10.1145/3326229},
isbn = {978-1-4503-6084-5},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03271,
author = {Russell J. Bradford and
Christopher J. Sangwin and
Supreeth P. Shashikumar and
Shamim Nemati},
title = {Does the "Artificial Intelligence Clinician" learn optimal
treatment strategies for sepsis in intensive care?},
journal = {CoRR},
volume = {abs/1902.03271},
year = {2019},
url = {http://arxiv.org/abs/1902.03271},
eprinttype = {arXiv},
eprint = {1902.03271},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04882,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Hassan Errami and
Vladimir P. Gerdt and
Dima Grigoriev and
Charles Tapley Hoyt and
Marek Kosta and
Ovidiu Radulescu and
Thomas Sturm and
Andreas Weber},
title = {Identifying the Parametric Occurrence of Multiple Steady States for
some Biological Networks},
journal = {CoRR},
volume = {abs/1902.04882},
year = {2019},
url = {http://arxiv.org/abs/1902.04882},
eprinttype = {arXiv},
eprint = {1902.04882},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08999,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport},
title = {Cylindrical Algebraic Decomposition with Equational Constraints},
journal = {CoRR},
volume = {abs/1903.08999},
year = {2019},
url = {http://arxiv.org/abs/1903.08999},
eprinttype = {arXiv},
eprint = {1903.08999},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scsquare/MulliganBDET18,
author = {Casey B. Mulligan and
Russell J. Bradford and
James H. Davenport and
Matthew England and
Zak Tonks},
editor = {Anna Maria Bigatti and
Martin Brain},
title = {Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning
in Economics},
booktitle = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
Computation co-located with Federated Logic Conference, SC-Square@FLOC
2018, Oxford, UK, July 11, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2189},
pages = {48},
publisher = {CEUR-WS.org},
year = {2018},
url = {http://ceur-ws.org/Vol-2189/paper2.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/scsquare/MulliganBDET18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10037,
author = {Casey B. Mulligan and
Russell J. Bradford and
James H. Davenport and
Matthew England and
Zak Tonks},
title = {Quantifier Elimination for Reasoning in Economics},
journal = {CoRR},
volume = {abs/1804.10037},
year = {2018},
url = {http://arxiv.org/abs/1804.10037},
eprinttype = {arXiv},
eprint = {1804.10037},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11447,
author = {Casey B. Mulligan and
Russell J. Bradford and
James H. Davenport and
Matthew England and
Zak Tonks},
title = {Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning
in Economics},
journal = {CoRR},
volume = {abs/1806.11447},
year = {2018},
url = {http://arxiv.org/abs/1806.11447},
eprinttype = {arXiv},
eprint = {1806.11447},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-11447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordDEEGGHK17,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Hassan Errami and
Vladimir P. Gerdt and
Dima Grigoriev and
Charles Tapley Hoyt and
Marek Kosta and
Ovidiu Radulescu and
Thomas Sturm and
Andreas Weber},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {A Case Study on the Parametric Occurrence of Multiple Steady States},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {45--52},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087604.3087622},
doi = {10.1145/3087604.3087622},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BradfordDEEGGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BradfordDEEGGHK17,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Hassan Errami and
Vladimir P. Gerdt and
Dima Grigoriev and
Charles Tapley Hoyt and
Marek Kosta and
Ovidiu Radulescu and
Thomas Sturm and
Andreas Weber},
title = {A Case Study on the Parametric Occurrence of Multiple Steady States},
journal = {CoRR},
volume = {abs/1704.08997},
year = {2017},
url = {http://arxiv.org/abs/1704.08997},
eprinttype = {arXiv},
eprint = {1704.08997},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BradfordDEEGGHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BradfordDEMW16,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Scott McCallum and
David J. Wilson},
title = {Truth table invariant cylindrical algebraic decomposition},
journal = {J. Symb. Comput.},
volume = {76},
pages = {1--35},
year = {2016},
url = {https://doi.org/10.1016/j.jsc.2015.11.002},
doi = {10.1016/J.JSC.2015.11.002},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BradfordDEMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/supercomputer/PotterBMD16,
author = {Ralph Potter and
Russell J. Bradford and
Alastair Murray and
Uwe Dolinsky},
editor = {Michela Taufer and
Bernd Mohr and
Julian M. Kunkel},
title = {A {C++} Programming Model for Heterogeneous System Architecture},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {9945},
pages = {433--450},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46079-6\_31},
doi = {10.1007/978-3-319-46079-6\_31},
timestamp = {Wed, 25 Sep 2019 18:17:53 +0200},
biburl = {https://dblp.org/rec/conf/supercomputer/PotterBMD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EnglandBD15,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport},
editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
title = {Improving the Use of Equational Constraints in Cylindrical Algebraic
Decomposition},
booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
pages = {165--172},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755996.2756678},
doi = {10.1145/2755996.2756678},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/EnglandBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwocl/PotterKBM15,
author = {Ralph Potter and
Paul Keir and
Russell J. Bradford and
Alastair Murray},
editor = {Simon McIntosh{-}Smith and
Ben Bergen},
title = {Kernel composition in {SYCL}},
booktitle = {Proceedings of the 3rd International Workshop on OpenCL, {IWOCL} 2015,
Palo Alto, California, USA, May 12-13, 2015},
pages = {11:1--11:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2791321.2791332},
doi = {10.1145/2791321.2791332},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwocl/PotterKBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EnglandBD15,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport},
title = {Improving the use of equational constraints in cylindrical algebraic
decomposition},
journal = {CoRR},
volume = {abs/1501.04466},
year = {2015},
url = {http://arxiv.org/abs/1501.04466},
eprinttype = {arXiv},
eprint = {1501.04466},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EnglandBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/EnglandCBDW14,
author = {Matthew England and
Edgardo S. Cheb{-}Terrab and
Russell J. Bradford and
James H. Davenport and
David J. Wilson},
title = {Branch cuts in maple 17},
journal = {{ACM} Commun. Comput. Algebra},
volume = {48},
number = {1/2},
pages = {24--27},
year = {2014},
url = {https://doi.org/10.1145/2644288.2644293},
doi = {10.1145/2644288.2644293},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/EnglandCBDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/WilsonBDE14,
author = {David J. Wilson and
Russell J. Bradford and
James H. Davenport and
Matthew England},
title = {Cylindrical Algebraic Sub-Decompositions},
journal = {Math. Comput. Sci.},
volume = {8},
number = {2},
pages = {263--288},
year = {2014},
url = {https://doi.org/10.1007/s11786-014-0191-z},
doi = {10.1007/S11786-014-0191-Z},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/WilsonBDE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BradfordCDEMW14,
author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
{CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8660},
pages = {44--58},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10515-4\_4},
doi = {10.1007/978-3-319-10515-4\_4},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/casc/BradfordCDEMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dafx/LazzarinifTB14,
author = {Victor Lazzarini and
John ffitch and
Joseph Timoney and
Russell J. Bradford},
editor = {Sascha Disch and
J{\"{u}}rgen Herre and
Rudolf Rabenstein and
Bernd Edler and
Meinard M{\"{u}}ller and
Stefan Turowski},
title = {Streaming Spectral Processing with Consumer-Level Graphics Processing
Units},
booktitle = {Proceedings of the 17th International Conference on Digital Audio
Effects, DAFx-14, Erlangen, Germany, September 1-5, 2014},
pages = {115--122},
year = {2014},
url = {http://www.dafx14.fau.de/papers/dafx14\_victor\_lazzarini\_streaming\_spectral\_proces.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dafx/LazzarinifTB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/EnglandBDW14,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport and
David J. Wilson},
editor = {Hoon Hong and
Chee Yap},
title = {Choosing a Variable Ordering for Truth-Table Invariant Cylindrical
Algebraic Decomposition by Incremental Triangular Decomposition},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {450--457},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_68},
doi = {10.1007/978-3-662-44199-2\_68},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icms/EnglandBDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/EnglandWBD14,
author = {Matthew England and
David J. Wilson and
Russell J. Bradford and
James H. Davenport},
editor = {Hoon Hong and
Chee Yap},
title = {Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions
by Projecting and Lifting},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {458--465},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_69},
doi = {10.1007/978-3-662-44199-2\_69},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icms/EnglandWBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/EnglandBCDMW14,
author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {Problem Formulation for Truth-Table Invariant Cylindrical Algebraic
Decomposition by Incremental Triangular Decomposition},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {45--60},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_5},
doi = {10.1007/978-3-319-08434-3\_5},
timestamp = {Wed, 16 Mar 2022 23:55:39 +0100},
biburl = {https://dblp.org/rec/conf/mkm/EnglandBCDMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/WilsonEBD14,
author = {David J. Wilson and
Matthew England and
Russell J. Bradford and
James H. Davenport},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Using the Distribution of Cells by Dimension in a Cylindrical Algebraic
Decomposition},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {53--60},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.15},
doi = {10.1109/SYNASC.2014.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/WilsonEBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BradfordDEMW14,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Scott McCallum and
David J. Wilson},
title = {Truth Table Invariant Cylindrical Algebraic Decomposition},
journal = {CoRR},
volume = {abs/1401.0645},
year = {2014},
url = {http://arxiv.org/abs/1401.0645},
eprinttype = {arXiv},
eprint = {1401.0645},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BradfordDEMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WilsonBDE14,
author = {David J. Wilson and
Russell J. Bradford and
James H. Davenport and
Matthew England},
title = {Cylindrical Algebraic Sub-Decompositions},
journal = {CoRR},
volume = {abs/1401.0647},
year = {2014},
url = {http://arxiv.org/abs/1401.0647},
eprinttype = {arXiv},
eprint = {1401.0647},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WilsonBDE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BradfordCDEMW14,
author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
journal = {CoRR},
volume = {abs/1401.6310},
year = {2014},
url = {http://arxiv.org/abs/1401.6310},
eprinttype = {arXiv},
eprint = {1401.6310},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BradfordCDEMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EnglandBCDMW14,
author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
title = {Problem formulation for truth-table invariant cylindrical algebraic
decomposition by incremental triangular decomposition},
journal = {CoRR},
volume = {abs/1404.6371},
year = {2014},
url = {http://arxiv.org/abs/1404.6371},
eprinttype = {arXiv},
eprint = {1404.6371},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EnglandBCDMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EnglandWBD14,
author = {Matthew England and
David J. Wilson and
Russell J. Bradford and
James H. Davenport},
title = {Using the Regular Chains Library to build cylindrical algebraic decompositions
by projecting and lifting},
journal = {CoRR},
volume = {abs/1405.6090},
year = {2014},
url = {http://arxiv.org/abs/1405.6090},
eprinttype = {arXiv},
eprint = {1405.6090},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EnglandWBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EnglandBDW14,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport and
David J. Wilson},
title = {Choosing a variable ordering for truth-table invariant cylindrical
algebraic decomposition by incremental triangular decomposition},
journal = {CoRR},
volume = {abs/1405.6094},
year = {2014},
url = {http://arxiv.org/abs/1405.6094},
eprinttype = {arXiv},
eprint = {1405.6094},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EnglandBDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WilsonEBD14,
author = {David J. Wilson and
Matthew England and
Russell J. Bradford and
James H. Davenport},
title = {Using the distribution of cells by dimension in a cylindrical algebraic
decomposition},
journal = {CoRR},
volume = {abs/1409.1781},
year = {2014},
url = {http://arxiv.org/abs/1409.1781},
eprinttype = {arXiv},
eprint = {1409.1781},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WilsonEBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordDEMW13,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Scott McCallum and
David J. Wilson},
editor = {Manuel Kauers},
title = {Cylindrical algebraic decompositions for boolean combinations},
booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
pages = {125--132},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465506.2465516},
doi = {10.1145/2465506.2465516},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BradfordDEMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BradfordDEW13,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
David J. Wilson},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Optimising Problem Formulation for Cylindrical Algebraic Decomposition},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {19--34},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_2},
doi = {10.1007/978-3-642-39320-4\_2},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/BradfordDEW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/EnglandBDW13,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport and
David J. Wilson},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Understanding Branch Cuts of Expressions},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {136--151},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_9},
doi = {10.1007/978-3-642-39320-4\_9},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/EnglandBDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/WilsonDEB13,
author = {David J. Wilson and
James H. Davenport and
Matthew England and
Russell J. Bradford},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {A "Piano Movers" Problem Reformulated},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {53--60},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.14},
doi = {10.1109/SYNASC.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/WilsonDEB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7222,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
David J. Wilson},
title = {Optimising Problem Formulation for Cylindrical Algebraic Decomposition},
journal = {CoRR},
volume = {abs/1304.7222},
year = {2013},
url = {http://arxiv.org/abs/1304.7222},
eprinttype = {arXiv},
eprint = {1304.7222},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7223,
author = {Matthew England and
Russell J. Bradford and
James H. Davenport and
David J. Wilson},
title = {Understanding Branch Cuts of Expressions},
journal = {CoRR},
volume = {abs/1304.7223},
year = {2013},
url = {http://arxiv.org/abs/1304.7223},
eprinttype = {arXiv},
eprint = {1304.7223},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7603,
author = {Russell J. Bradford and
James H. Davenport and
Matthew England and
Scott McCallum and
David J. Wilson},
title = {Cylindrical Algebraic Decompositions for Boolean Combinations},
journal = {CoRR},
volume = {abs/1304.7603},
year = {2013},
url = {http://arxiv.org/abs/1304.7603},
eprinttype = {arXiv},
eprint = {1304.7603},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EnglandCBDW13,
author = {Matthew England and
Edgardo S. Cheb{-}Terrab and
Russell J. Bradford and
James Harold Davenport and
David J. Wilson},
title = {Branch Cuts in Maple 17},
journal = {CoRR},
volume = {abs/1308.6523},
year = {2013},
url = {http://arxiv.org/abs/1308.6523},
eprinttype = {arXiv},
eprint = {1308.6523},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EnglandCBDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WilsonDEB13,
author = {David J. Wilson and
James H. Davenport and
Matthew England and
Russell J. Bradford},
title = {A "Piano Movers" Problem Reformulated},
journal = {CoRR},
volume = {abs/1309.1588},
year = {2013},
url = {http://arxiv.org/abs/1309.1588},
eprinttype = {arXiv},
eprint = {1309.1588},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WilsonDEB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/WilsonBD12,
author = {David J. Wilson and
Russell J. Bradford and
James H. Davenport},
title = {A repository for {CAD} examples},
journal = {{ACM} Commun. Comput. Algebra},
volume = {46},
number = {3/4},
pages = {67--69},
year = {2012},
url = {https://doi.org/10.1145/2429135.2429137},
doi = {10.1145/2429135.2429137},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/WilsonBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/WilsonBD12,
author = {David J. Wilson and
Russell J. Bradford and
James H. Davenport},
editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
title = {Speeding Up Cylindrical Algebraic Decomposition by Gr{\"{o}}bner
Bases},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
{DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7362},
pages = {280--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31374-5\_19},
doi = {10.1007/978-3-642-31374-5\_19},
timestamp = {Sun, 02 Jun 2019 21:23:46 +0200},
biburl = {https://dblp.org/rec/conf/aisc/WilsonBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DavenportBEW12,
author = {James H. Davenport and
Russell J. Bradford and
Matthew England and
David J. Wilson},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Program Verification in the Presence of Complex Numbers, Functions
with Branch Cuts etc},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {83--88},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.68},
doi = {10.1109/SYNASC.2012.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/DavenportBEW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6285,
author = {David J. Wilson and
Russell J. Bradford and
James H. Davenport},
title = {Speeding up Cylindrical Algebraic Decomposition by Gr{\"{o}}bner
Bases},
journal = {CoRR},
volume = {abs/1205.6285},
year = {2012},
url = {http://arxiv.org/abs/1205.6285},
eprinttype = {arXiv},
eprint = {1205.6285},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-5417,
author = {James H. Davenport and
Russell J. Bradford and
Matthew England and
David J. Wilson},
title = {Program Verification in the presence of complex numbers, functions
with branch cuts etc},
journal = {CoRR},
volume = {abs/1212.5417},
year = {2012},
url = {http://arxiv.org/abs/1212.5417},
eprinttype = {arXiv},
eprint = {1212.5417},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-5417.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/BradfordfD11,
author = {Russell J. Bradford and
John ffitch and
Richard W. Dobson},
title = {Real-time Sliding Phase Vocoder using a Commodity {GPU}},
booktitle = {Proceedings of the 2011 International Computer Music Conference, {ICMC}
2011, Huddersfield, UK, July 31 - August 5, 2011},
publisher = {Michigan Publishing},
year = {2011},
url = {https://hdl.handle.net/2027/spo.bbp2372.2011.118},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/BradfordfD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Al-KuwariDB11,
author = {Saif Al{-}Kuwari and
James H. Davenport and
Russell J. Bradford},
title = {Cryptographic Hash Functions: Recent Design Trends and Security Notions},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {565},
year = {2011},
url = {http://eprint.iacr.org/2011/565},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/Al-KuwariDB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/PhisanbutBD10,
author = {Nalina Phisanbut and
Russell J. Bradford and
James H. Davenport},
title = {Geometry of branch cuts},
journal = {{ACM} Commun. Comput. Algebra},
volume = {44},
number = {3/4},
pages = {132--135},
year = {2010},
url = {https://doi.org/10.1145/1940475.1940500},
doi = {10.1145/1940475.1940500},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/PhisanbutBD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BradfordDS09,
author = {Russell J. Bradford and
James H. Davenport and
Christopher J. Sangwin},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Comparison of Equality in Computer Algebra and Correctness in Mathematical
Pedagogy},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {75--89},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_11},
doi = {10.1007/978-3-642-02614-0\_11},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BradfordDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/DobsonfB08,
author = {Richard W. Dobson and
John ffitch and
Russell J. Bradford},
title = {High-Performance audio Computing - a position Paper},
booktitle = {Proceedings of the 2008 International Computer Music Conference, {ICMC}
2008, Belfast, Ireland, August 24-29, 2008},
publisher = {Michigan Publishing},
year = {2008},
url = {https://hdl.handle.net/2027/spo.bbp2372.2008.093},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/DobsonfB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/BeaumontBDP07,
author = {James C. Beaumont and
Russell J. Bradford and
James H. Davenport and
Nalina Phisanbut},
title = {Testing elementary function identities using {CAD}},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {18},
number = {6},
pages = {513--543},
year = {2007},
url = {https://doi.org/10.1007/s00200-007-0052-y},
doi = {10.1007/S00200-007-0052-Y},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/BeaumontBDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/BradfordDf07,
author = {Russell J. Bradford and
Richard W. Dobson and
John ffitch},
title = {The sliding phase vocoder},
booktitle = {Proceedings of the 2007 International Computer Music Conference, {ICMC}
2007, Copenhagen, Denmark, August 27-31, 2007},
publisher = {Michigan Publishing},
year = {2007},
url = {https://hdl.handle.net/2027/spo.bbp2372.2007.198},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/BradfordDf07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeaumontPB05,
author = {James C. Beaumont and
Nalina Phisanbut and
Russell J. Bradford},
editor = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
title = {Practical Simplification of Elementary Functions Using {CAD}},
booktitle = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
Volker Weispfenning},
pages = {35--39},
publisher = {Books on Demand},
year = {2005},
timestamp = {Tue, 30 Jun 2015 13:53:06 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeaumontPB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/BradfordDf05,
author = {Russell J. Bradford and
Richard W. Dobson and
John ffitch},
title = {Sliding is smoother than jumping},
booktitle = {Proceedings of the 2005 International Computer Music Conference, {ICMC}
2005, Barcelona, Spain, September 4-10, 2005},
publisher = {Michigan Publishing},
year = {2005},
url = {https://hdl.handle.net/2027/spo.bbp2372.2005.086},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmc/BradfordDf05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BeaumontBDP05,
author = {James C. Beaumont and
Russell J. Bradford and
James H. Davenport and
Nalina Phisanbut},
editor = {Manuel Kauers},
title = {Adherence is better than adjacency: computing the Riemann index using
{CAD}},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {37--44},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073892},
doi = {10.1145/1073884.1073892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BeaumontBDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BeaumontBDP04,
author = {James C. Beaumont and
Russell J. Bradford and
James H. Davenport and
Nalina Phisanbut},
editor = {Jaime Gutierrez},
title = {A poly-algorithmic approach to simplifying elementary functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2004, Santander, Spain, July 4-7, 2004, Proceedings},
pages = {27--34},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1005285.1005292},
doi = {10.1145/1005285.1005292},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BeaumontBDP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BeaumontBD03,
author = {James C. Beaumont and
Russell J. Bradford and
James H. Davenport},
editor = {J. Rafael Sendra},
title = {Better simplification of elementary functions through power series},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6,
2003, Proceedings},
pages = {30--36},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/860854.860867},
doi = {10.1145/860854.860867},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BeaumontBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BradfordCDJW02,
author = {Russell J. Bradford and
Robert M. Corless and
James H. Davenport and
David J. Jeffrey and
Stephen M. Watt},
title = {Reasoning about the Elementary Functions of Complex Analysis},
journal = {Ann. Math. Artif. Intell.},
volume = {36},
number = {3},
pages = {303--318},
year = {2002},
url = {https://doi.org/10.1023/A:1016007415899},
doi = {10.1023/A:1016007415899},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BradfordCDJW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordD02,
author = {Russell J. Bradford and
James H. Davenport},
editor = {Teo Mora},
title = {Towards better simplification of elementary functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2002, Lille, France, July 7-10, 2002, Proceedings},
pages = {16--22},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/780506.780509},
doi = {10.1145/780506.780509},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BradfordD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/SimmondsWBAU02,
author = {Rob Simmonds and
Carey L. Williamson and
Russell J. Bradford and
Martin F. Arlitt and
Brian W. Unger},
editor = {Richard R. Muntz and
Margaret Martonosi and
Edmundo de Souza e Silva},
title = {Web server benchmarking using parallel {WAN} emulation},
booktitle = {Proceedings of the International Conference on Measurements and Modeling
of Computer Systems, {SIGMETRICS} 2002, June 15-19, 2002, Marina Del
Rey, California, {USA}},
pages = {286--287},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/511334.511383},
doi = {10.1145/511334.511383},
timestamp = {Fri, 30 Jul 2021 16:13:33 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/SimmondsWBAU02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/BradfordSU01,
author = {Russell J. Bradford and
Rob Simmonds and
Brian W. Unger},
title = {Packet Reading for Network Emulation},
booktitle = {9th International Workshop on Modeling, Analysis, and Simulation of
Computer and Telecommunication Systems {(MASCOTS} 2001), 15-18 August
2001, Cincinnati, OH, {USA}},
pages = {150--157},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/MASCOT.2001.948864},
doi = {10.1109/MASCOT.2001.948864},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/BradfordSU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/BradfordSU00,
author = {Russell J. Bradford and
Rob Simmonds and
Brian W. Unger},
title = {A Parallel Discrete Event {IP} Network Emulator},
booktitle = {{MASCOTS} 2000, Proceedings of the 8th International Symposium on
Modeling, Analysis and Simulation of Computer and Telecommunication
Systems, 29 August - 1 September 2000, San Francisco, California,
{USA}},
pages = {315--322},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/MASCOT.2000.876554},
doi = {10.1109/MASCOT.2000.876554},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/BradfordSU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pads/SimmondsBU00,
author = {Rob Simmonds and
Russell J. Bradford and
Brian W. Unger},
editor = {Lorenzo Donatiello and
Stephen John Turner and
David Bruce},
title = {Applying parallel discrete event simulation to network emulation},
booktitle = {Proceedings of the 14th Workshop on Parallel and Distributed Simulation,
{PADS} 2000, Bologna, Italy, May 28-31, 2000},
pages = {15--22},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/PADS.2000.847140},
doi = {10.1109/PADS.2000.847140},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pads/SimmondsBU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/PowerB99,
author = {David Power and
Russell J. Bradford},
editor = {Patrick Amestoy and
Philippe Berger and
Michel J. Dayd{\'{e}} and
Iain S. Duff and
Val{\'{e}}rie Frayss{\'{e}} and
Luc Giraud and
Daniel Ruiz},
title = {A Library for Parallel Modular Arithmetic},
booktitle = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
Toulouse, France, August 31 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1685},
pages = {1476--1483},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48311-X\_210},
doi = {10.1007/3-540-48311-X\_210},
timestamp = {Tue, 04 Jun 2019 14:36:07 +0200},
biburl = {https://dblp.org/rec/conf/europar/PowerB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amet/PadgetB98,
author = {Julian A. Padget and
Russell J. Bradford},
editor = {Pablo Noriega and
Carles Sierra},
title = {A pi-calculus Model of a Spanish Fish Market - Preliminary Report},
booktitle = {Agent Mediated Electronic Commerce, First International Workshop on
Agent Mediated Electronic Trading, AMET-98, Minneapolis, MN, USA,
May 10th, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1571},
pages = {166--188},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48835-9\_10},
doi = {10.1007/3-540-48835-9\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amet/PadgetB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oos/Bradford96,
author = {Russell J. Bradford},
title = {An implementation of Telos in Common Lisp},
journal = {Object Oriented Syst.},
volume = {3},
pages = {31--49},
year = {1996},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oos/Bradford96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sac/BradfordT96,
author = {Russell J. Bradford and
Alun Thomas},
title = {Markov chain Monte Carlo methods for family trees using a parallel
processor},
journal = {Stat. Comput.},
volume = {6},
number = {1},
pages = {67--75},
year = {1996},
url = {https://doi.org/10.1007/BF00161575},
doi = {10.1007/BF00161575},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sac/BradfordT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/FairhurstHCBCP94,
author = {Michael C. Fairhurst and
N. Higson and
C. Clar and
Russell J. Bradford and
W. Clark and
E. Pringle},
editor = {Wolfgang L. Zagler and
Geoff Bushy and
Roland R. Wagner},
title = {Automatic Image Processing in Developmental Testing of Visual-Motor
Integration},
booktitle = {Computers for Handicapped Persons, 4th International Conference, ICCHP'94,
Vienna, Austria, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {860},
pages = {329--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58476-5\_148},
doi = {10.1007/3-540-58476-5\_148},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icchp/FairhurstHCBCP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BradfordR93,
author = {Russell J. Bradford and
David De Roure},
title = {EuLisp in Education},
journal = {{LISP} Symb. Comput.},
volume = {6},
number = {1-2},
pages = {99--118},
year = {1993},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/BradfordR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/Bradford92,
author = {Russell J. Bradford},
editor = {John P. Fitch},
title = {Algebraic Simplification of Multiple-Valued Functions},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '92, Bath, UK, April 13-15, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {721},
pages = {13--21},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57272-4\_20},
doi = {10.1007/3-540-57272-4\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/Bradford92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/PadgetBF91,
author = {Julian A. Padget and
Russell J. Bradford and
John P. Fitch},
title = {Concurrent Object-Oriented Programming in Lisp},
journal = {Comput. J.},
volume = {34},
number = {4},
pages = {311--319},
year = {1991},
url = {https://doi.org/10.1093/comjnl/34.4.311},
doi = {10.1093/COMJNL/34.4.311},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/PadgetBF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Bradford90,
author = {Russell J. Bradford},
editor = {Shunro Watanabe and
Morio Nagata},
title = {A Parallelization of the Buchberger Algorithm},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
pages = {296},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/96877.96965},
doi = {10.1145/96877.96965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Bradford90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Bradford89,
author = {Russell J. Bradford},
editor = {Gaston H. Gonnet},
title = {Some Results on the Defect},
booktitle = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
17-19, 1989},
pages = {129--135},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74540.74557},
doi = {10.1145/74540.74557},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Bradford89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordD88,
author = {Russell J. Bradford and
James H. Davenport},
editor = {Patrizia M. Gianni},
title = {Effective Tests for Cyclotonic Polynomials},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC'88,
Rome, Italy, July 4-8, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {358},
pages = {244--251},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-51084-2\_22},
doi = {10.1007/3-540-51084-2\_22},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/issac/BradfordD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Bradford87,
author = {Russell J. Bradford},
editor = {James H. Davenport},
title = {Hermite normal forms for integer matrices},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {315--316},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_133},
doi = {10.1007/3-540-51517-8\_133},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Bradford87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/AbbottBD87,
author = {John A. Abbott and
Russell J. Bradford and
James H. Davenport},
editor = {Rainer Jan{\ss}en},
title = {Factorisation of Polynominals: Old Ideas and Recent Results},
booktitle = {Trends in Computer Algebra, International Symposium, Bad Neuenahr,
Germany, May 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {296},
pages = {81--91},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18928-9\_6},
doi = {10.1007/3-540-18928-9\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ibm/AbbottBD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BradfordHPS86,
author = {Russell J. Bradford and
Anthony C. Hearn and
Julian A. Padget and
Eberhard Schr{\"{u}}fer},
editor = {Bruce W. Char},
title = {Enlarging the {REDUCE} domain of computation},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {100--106},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32460},
doi = {10.1145/32439.32460},
timestamp = {Mon, 21 Mar 2022 21:50:23 +0100},
biburl = {https://dblp.org/rec/conf/issac/BradfordHPS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AbbottBD86,
author = {John A. Abbott and
Russell J. Bradford and
James H. Davenport},
editor = {Bruce W. Char},
title = {The Bath algebraic number package},
booktitle = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
{SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
pages = {250--253},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/32439.32490},
doi = {10.1145/32439.32490},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AbbottBD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbbottBD85,
author = {John A. Abbott and
Russell J. Bradford and
James H. Davenport},
title = {A remark on factorisation},
journal = {{SIGSAM} Bull.},
volume = {19},
number = {2},
pages = {31--33},
year = {1985},
url = {https://doi.org/10.1145/1089402.1089408},
doi = {10.1145/1089402.1089408},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/AbbottBD85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
