BibTeX records: Thomas W. Kelsey

download as .bib file

@article{DBLP:journals/midm/ShiKS20,
  author       = {Wen Shi and
                  Tom Kelsey and
                  Frank M. Sullivan},
  title        = {Efficient identification of patients eligible for clinical studies
                  using case-based reasoning on Scottish Health Research register {(SHARE)}},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {20},
  number       = {1},
  pages        = {70},
  year         = {2020},
  url          = {https://doi.org/10.1186/s12911-020-1091-6},
  doi          = {10.1186/S12911-020-1091-6},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/midm/ShiKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/SanabriaKDY19,
  author       = {Andrea Rosales Sanabria and
                  Thomas W. Kelsey and
                  Simon Dobson and
                  Juan Ye},
  title        = {Representation learning for minority and subtle activities in a smart
                  home environment},
  journal      = {J. Ambient Intell. Smart Environ.},
  volume       = {11},
  number       = {6},
  pages        = {495--513},
  year         = {2019},
  url          = {https://doi.org/10.3233/AIS-190541},
  doi          = {10.3233/AIS-190541},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jaise/SanabriaKDY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/SanabriaKY19,
  author       = {Andrea Rosales Sanabria and
                  Thomas W. Kelsey and
                  Juan Ye},
  title        = {Representation Learning for Minority and Subtle Activities in a Smart
                  Home Environment},
  booktitle    = {2019 {IEEE} International Conference on Pervasive Computing and Communications,
                  PerCom, Kyoto, Japan, March 11-15, 2019},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/PERCOM.2019.8767417},
  doi          = {10.1109/PERCOM.2019.8767417},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/SanabriaKY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KelseyKJLMNG14,
  author       = {Thomas W. Kelsey and
                  Lars Kotthoff and
                  Christopher Jefferson and
                  Stephen A. Linton and
                  Ian Miguel and
                  Peter Nightingale and
                  Ian P. Gent},
  title        = {Qualitative modelling via constraint programming},
  journal      = {Constraints An Int. J.},
  volume       = {19},
  number       = {2},
  pages        = {163--173},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10601-014-9158-6},
  doi          = {10.1007/S10601-014-9158-6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/KelseyKJLMNG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/KelseyMK14,
  author       = {Tom Kelsey and
                  Martin McCaffery and
                  Lars Kotthoff},
  title        = {Web-Scale Distributed eScience {AI} Search across Disconnected and
                  Heterogeneous Infrastructures},
  booktitle    = {10th {IEEE} International Conference on e-Science, eScience 2014,
                  Sao Paulo, Brazil, October 20-24, 2014},
  pages        = {39--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/eScience.2014.15},
  doi          = {10.1109/ESCIENCE.2014.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eScience/KelseyMK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6613,
  author       = {Thomas W. Kelsey and
                  Sarah K. Dodwell and
                  A. Graham Wilkinson and
                  Tine Greve and
                  Claus Y. Andersen and
                  Richard A. Anderson and
                  W. Hamish B. Wallace},
  title        = {Ovarian volume throughout life: a validated normative model},
  journal      = {CoRR},
  volume       = {abs/1304.6613},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.6613},
  eprinttype    = {arXiv},
  eprint       = {1304.6613},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-6613.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DistlerJKK12,
  author       = {Andreas Distler and
                  Christopher Jefferson and
                  Tom Kelsey and
                  Lars Kotthoff},
  editor       = {Michela Milano},
  title        = {The Semigroups of Order 10},
  booktitle    = {Principles and Practice of Constraint Programming - 18th International
                  Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
                  8-12, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7514},
  pages        = {883--899},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33558-7\_63},
  doi          = {10.1007/978-3-642-33558-7\_63},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DistlerJKK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-3487,
  author       = {Lars Kotthoff and
                  Tom Kelsey and
                  Martin McCaffery},
  title        = {A framework for large-scale distributed {AI} search across disconnected
                  heterogeneous infrastructures},
  journal      = {CoRR},
  volume       = {abs/1209.3487},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.3487},
  eprinttype    = {arXiv},
  eprint       = {1209.3487},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-3487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-3916,
  author       = {Thomas W. Kelsey and
                  Lars Kotthoff and
                  Christopher Jefferson and
                  Stephen A. Linton and
                  Ian Miguel and
                  Peter Nightingale and
                  Ian P. Gent},
  title        = {Qualitative Modelling via Constraint Programming: Past, Present and
                  Future},
  journal      = {CoRR},
  volume       = {abs/1209.3916},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.3916},
  eprinttype    = {arXiv},
  eprint       = {1209.3916},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-3916.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/KelseyK11,
  author       = {Tom Kelsey and
                  Lars Kotthoff},
  editor       = {Mitsuhisa Sato and
                  Satoshi Matsuoka and
                  Peter M. A. Sloot and
                  G. Dick van Albada and
                  Jack J. Dongarra},
  title        = {Exact Closest String as a Constraint Satisfaction Problem},
  booktitle    = {Proceedings of the International Conference on Computational Science,
                  {ICCS} 2011, Nanyang Technological University, Singapore, 1-3 June,
                  2011},
  series       = {Procedia Computer Science},
  volume       = {4},
  pages        = {1062--1071},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.procs.2011.04.113},
  doi          = {10.1016/J.PROCS.2011.04.113},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/procedia/KelseyK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/KelseyW10,
  author       = {Thomas W. Kelsey and
                  W. Hamish B. Wallace},
  title        = {Machine science in biomedicine: Practicalities, pitfalls and potential},
  booktitle    = {2010 {IEEE} International Conference on Bioinformatics and Biomedicine
                  Workshops, {BIBMW} 2010, Hong Kong, December 18, 2010},
  pages        = {399--404},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/BIBMW.2010.5703835},
  doi          = {10.1109/BIBMW.2010.5703835},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/KelseyW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-0089,
  author       = {Tom Kelsey and
                  Lars Kotthoff},
  title        = {The Exact Closest String Problem as a Constraint Satisfaction Problem},
  journal      = {CoRR},
  volume       = {abs/1005.0089},
  year         = {2010},
  url          = {http://arxiv.org/abs/1005.0089},
  eprinttype    = {arXiv},
  eprint       = {1005.0089},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-0089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-3795,
  author       = {Thomas W. Kelsey and
                  W. Hamish B. Wallace},
  title        = {Machine Science in Biomedicine: Practicalities, Pitfalls and Potential},
  journal      = {CoRR},
  volume       = {abs/1008.3795},
  year         = {2010},
  url          = {http://arxiv.org/abs/1008.3795},
  eprinttype    = {arXiv},
  eprint       = {1008.3795},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-3795.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-3798,
  author       = {Thomas W. Kelsey and
                  Benedicta Caserta and
                  Luis Castillo and
                  W. Hamish B. Wallace and
                  Francisco C{\'{o}}ppola Gonz{\'{a}}lvez},
  title        = {Proliferating cell nuclear antigen {(PCNA)} allows the automatic identification
                  of follicles in microscopic images of human ovarian tissue},
  journal      = {CoRR},
  volume       = {abs/1008.3798},
  year         = {2010},
  url          = {http://arxiv.org/abs/1008.3798},
  eprinttype    = {arXiv},
  eprint       = {1008.3798},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-3798.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DistlerK09,
  author       = {Andreas Distler and
                  Tom Kelsey},
  title        = {The monoids of orders eight, nine {\&} ten},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {56},
  number       = {1},
  pages        = {3--21},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10472-009-9140-y},
  doi          = {10.1007/S10472-009-9140-Y},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DistlerK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/XiongKLL09,
  author       = {C. Xiong and
                  Thomas W. Kelsey and
                  Stephen A. Linton and
                  Ulf Leonhardt},
  editor       = {Ruyong Feng and
                  Wen{-}shin Lee and
                  Yosuke Sato},
  title        = {Towards the Calculation of Casimir Forces for Inhomogeneous Planar
                  Media},
  booktitle    = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
                  Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
                  China, October 2012, Contributed Papers and Invited Talks},
  pages        = {171--180},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-662-43799-5\_15},
  doi          = {10.1007/978-3-662-43799-5\_15},
  timestamp    = {Sat, 23 Jun 2018 18:40:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ascm/XiongKLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DistlerK08,
  author       = {Andreas Distler and
                  Tom Kelsey},
  editor       = {Serge Autexier and
                  John A. Campbell and
                  Julio Rubio and
                  Volker Sorge and
                  Masakazu Suzuki and
                  Freek Wiedijk},
  title        = {The Monoids of Order Eight and Nine},
  booktitle    = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
                  2008, 15th Symposium, Calculemus 2008, 7th International Conference,
                  {MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5144},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85110-3\_7},
  doi          = {10.1007/978-3-540-85110-3\_7},
  timestamp    = {Mon, 05 Feb 2024 20:35:32 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/DistlerK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GentJKLMNST07,
  author       = {Ian P. Gent and
                  Christopher Jefferson and
                  Tom Kelsey and
                  In{\^{e}}s Lynce and
                  Ian Miguel and
                  Peter Nightingale and
                  Barbara M. Smith and
                  Armagan Tarim},
  title        = {Search in the patience game 'Black Hole'},
  journal      = {{AI} Commun.},
  volume       = {20},
  number       = {3},
  pages        = {211--226},
  year         = {2007},
  url          = {http://content.iospress.com/articles/ai-communications/aic405},
  timestamp    = {Fri, 15 May 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/GentJKLMNST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLPR07,
  author       = {Ian P. Gent and
                  Tom Kelsey and
                  Stephen A. Linton and
                  J. Pearson and
                  Colva M. Roney{-}Dougal},
  editor       = {Christian Bessiere},
  title        = {Groupoids and Conditional Symmetry},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
                  International Conference, {CP} 2007, Providence, RI, USA, September
                  23-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4741},
  pages        = {823--830},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74970-7\_60},
  doi          = {10.1007/978-3-540-74970-7\_60},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentKLPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GottliebsenKM05,
  author       = {Hanne Gottliebsen and
                  Tom Kelsey and
                  Ursula Martin},
  title        = {Hidden verification for computational mathematics},
  journal      = {J. Symb. Comput.},
  volume       = {39},
  number       = {5},
  pages        = {539--567},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jsc.2004.12.005},
  doi          = {10.1016/J.JSC.2004.12.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/GottliebsenKM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLMMS05,
  author       = {Ian P. Gent and
                  Tom Kelsey and
                  Steve Linton and
                  Iain McDonald and
                  Ian Miguel and
                  Barbara M. Smith},
  editor       = {Peter van Beek},
  title        = {Conditional Symmetry Breaking},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
                  International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_21},
  doi          = {10.1007/11564751\_21},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentKLMMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentKLR05,
  author       = {Ian P. Gent and
                  Tom Kelsey and
                  Steve Linton and
                  Colva M. Roney{-}Dougal},
  editor       = {Peter van Beek},
  title        = {Symmetry and Consistency},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
                  International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {271--285},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_22},
  doi          = {10.1007/11564751\_22},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentKLR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/KelseyLR04,
  author       = {Tom Kelsey and
                  Steve Linton and
                  Colva M. Roney{-}Dougal},
  editor       = {Bruno Buchberger and
                  John A. Campbell},
  title        = {New Developments in Symmetry Breaking in Search Using Computational
                  Group Theory},
  booktitle    = {Artificial Intelligence and Symbolic Computation, 7th International
                  Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3249},
  pages        = {199--210},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30210-0\_17},
  doi          = {10.1007/978-3-540-30210-0\_17},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/KelseyLR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Roney-DougalGKL04,
  author       = {Colva M. Roney{-}Dougal and
                  Ian P. Gent and
                  Tom Kelsey and
                  Steve Linton},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  Lorenza Saitta},
  title        = {Tractable Symmetry Breaking Using Restricted Search Trees},
  booktitle    = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
                  ECAI'2004, including Prestigious Applicants of Intelligent Systems,
                  {PAIS} 2004, Valencia, Spain, August 22-27, 2004},
  pages        = {211--215},
  publisher    = {{IOS} Press},
  year         = {2004},
  timestamp    = {Fri, 11 May 2018 12:42:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Roney-DougalGKL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoultonGHKM04,
  author       = {Richard J. Boulton and
                  Hanne Gottliebsen and
                  Ruth Hardy and
                  Tom Kelsey and
                  Ursula Martin},
  editor       = {Eerke A. Boiten and
                  John Derrick and
                  Graeme Smith},
  title        = {Design Verification for Control Engineering},
  booktitle    = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
                  Canterbury, UK, April 4-7, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2999},
  pages        = {21--35},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24756-2\_2},
  doi          = {10.1007/978-3-540-24756-2\_2},
  timestamp    = {Thu, 07 Apr 2022 08:44:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BoultonGHKM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentHKL03,
  author       = {Ian P. Gent and
                  Warwick Harvey and
                  Tom Kelsey and
                  Steve Linton},
  editor       = {Francesca Rossi},
  title        = {Generic {SBDD} Using Computational Group Theory},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {333--347},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_23},
  doi          = {10.1007/978-3-540-45193-8\_23},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GentHKL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentHK02,
  author       = {Ian P. Gent and
                  Warwick Harvey and
                  Tom Kelsey},
  editor       = {Pascal Van Hentenryck},
  title        = {Groups and Constraints: Symmetry Breaking during Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
                  International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2470},
  pages        = {415--430},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46135-3\_28},
  doi          = {10.1007/3-540-46135-3\_28},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentHK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AdamsDGKMO01,
  author       = {Andrew Adams and
                  Martin Dunstan and
                  Hanne Gottliebsen and
                  Tom Kelsey and
                  Ursula Martin and
                  Sam Owre},
  editor       = {Richard J. Boulton and
                  Paul B. Jackson},
  title        = {Computer Algebra Meets Automated Theorem Proving: Integrating Maple
                  and {PVS}},
  booktitle    = {Theorem Proving in Higher Order Logics, 14th International Conference,
                  TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2152},
  pages        = {27--42},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44755-5\_4},
  doi          = {10.1007/3-540-44755-5\_4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/AdamsDGKMO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DunstanKML99,
  author       = {Martin Dunstan and
                  Tom Kelsey and
                  Ursula Martin and
                  Steve Linton},
  editor       = {Jeannette M. Wing and
                  Jim Woodcock and
                  Jim Davies},
  title        = {Formal Methods for Extensions to {CAS}},
  booktitle    = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
                  of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
                  Volume {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1709},
  pages        = {1758--1777},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48118-4\_43},
  doi          = {10.1007/3-540-48118-4\_43},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/DunstanKML99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DunstanKLM98,
  author       = {Martin Dunstan and
                  Tom Kelsey and
                  Steve Linton and
                  Ursula Martin},
  editor       = {Volker Weispfenning and
                  Barry M. Trager},
  title        = {Lightweight Formal Methods for Computer Algebra Systems},
  booktitle    = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  pages        = {80--87},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/281508.281560},
  doi          = {10.1145/281508.281560},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/DunstanKLM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics