BibTeX records: Robert Davis

download as .bib file

@article{DBLP:journals/aam/Davis23,
  author       = {Robert Davis},
  title        = {State polytopes related to two classes of combinatorial neural codes},
  journal      = {Adv. Appl. Math.},
  volume       = {142},
  pages        = {102418},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.aam.2022.102418},
  doi          = {10.1016/J.AAM.2022.102418},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aam/Davis23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dam/ChenDK23,
  author       = {Tianran Chen and
                  Robert Davis and
                  Evgeniia Korchevskaia},
  title        = {Facets and facet subgraphs of symmetric edge polytopes},
  journal      = {Discret. Appl. Math.},
  volume       = {328},
  pages        = {139--153},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.dam.2022.11.015},
  doi          = {10.1016/J.DAM.2022.11.015},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dam/ChenDK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ecoi/DavisPM23,
  author       = {Robert Davis and
                  Palash Panja and
                  John D. McLennan},
  title        = {Integrated workflow for interpretation of satellite imageries using
                  machine learning to assess and monitor algal blooms in Utah Lake,
                  {USA}},
  journal      = {Ecol. Informatics},
  volume       = {75},
  pages        = {102033},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ecoinf.2023.102033},
  doi          = {10.1016/J.ECOINF.2023.102033},
  timestamp    = {Mon, 01 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ecoi/DavisPM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/natmi/ImrieDS23,
  author       = {Fergus Imrie and
                  Robert Davis and
                  Mihaela van der Schaar},
  title        = {Multiple stakeholders drive diverse interpretability requirements
                  for machine learning in healthcare},
  journal      = {Nat. Mac. Intell.},
  volume       = {5},
  number       = {8},
  pages        = {824--829},
  year         = {2023},
  url          = {https://doi.org/10.1038/s42256-023-00698-2},
  doi          = {10.1038/S42256-023-00698-2},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/natmi/ImrieDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nips/QianDS23,
  author       = {Zhaozhi Qian and
                  Robert Davis and
                  Mihaela van der Schaar},
  editor       = {Alice Oh and
                  Tristan Naumann and
                  Amir Globerson and
                  Kate Saenko and
                  Moritz Hardt and
                  Sergey Levine},
  title        = {Synthcity: a benchmark framework for diverse use cases of tabular
                  synthetic data},
  booktitle    = {Advances in Neural Information Processing Systems 36: Annual Conference
                  on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
                  LA, USA, December 10 - 16, 2023},
  year         = {2023},
  url          = {http://papers.nips.cc/paper\_files/paper/2023/hash/09723c9f291f6056fd1885081859c186-Abstract-Datasets\_and\_Benchmarks.html},
  timestamp    = {Fri, 01 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/QianDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/combinatorics/DavisC22,
  author       = {Robert Davis and
                  Tianran Chen},
  title        = {Computing Volumes of Adjacency Polytopes via Draconian Sequences},
  journal      = {Electron. J. Comb.},
  volume       = {29},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.37236/9768},
  doi          = {10.37236/9768},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/DavisC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aam/BraunDS18,
  author       = {Benjamin Braun and
                  Robert Davis and
                  Liam Solus},
  title        = {Detecting the integer decomposition property and Ehrhart unimodality
                  in reflexive simplices},
  journal      = {Adv. Appl. Math.},
  volume       = {100},
  pages        = {122--142},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.aam.2018.06.003},
  doi          = {10.1016/J.AAM.2018.06.003},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aam/BraunDS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dm/DavisNPT18,
  author       = {Robert Davis and
                  Sarah A. Nelson and
                  T. Kyle Petersen and
                  Bridget Eileen Tenner},
  title        = {The pinnacle set of a permutation},
  journal      = {Discret. Math.},
  volume       = {341},
  number       = {11},
  pages        = {3249--3270},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.disc.2018.08.011},
  doi          = {10.1016/J.DISC.2018.08.011},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/DavisNPT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ejc/DavisS18,
  author       = {Robert Davis and
                  Bruce E. Sagan},
  title        = {Pattern-avoiding polytopes},
  journal      = {Eur. J. Comb.},
  volume       = {74},
  pages        = {48--84},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ejc.2018.07.006},
  doi          = {10.1016/J.EJC.2018.07.006},
  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejc/DavisS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siaga/ChenDM18,
  author       = {Tianran Chen and
                  Robert Davis and
                  Dhagash Mehta},
  title        = {Counting Equilibria of the Kuramoto Model Using Birationally Invariant
                  Intersection Index},
  journal      = {{SIAM} J. Appl. Algebra Geom.},
  volume       = {2},
  number       = {4},
  pages        = {489--507},
  year         = {2018},
  url          = {https://doi.org/10.1137/17M1145665},
  doi          = {10.1137/17M1145665},
  timestamp    = {Tue, 06 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siaga/ChenDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jintseq/Davis17,
  author       = {Robert Davis},
  title        = {Width-k Generalizations of Classical Permutation Statistics},
  journal      = {J. Integer Seq.},
  volume       = {20},
  number       = {6},
  pages        = {17.6.3},
  year         = {2017},
  url          = {https://cs.uwaterloo.ca/journals/JIS/VOL20/Davis/davis6.html},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jintseq/Davis17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/chb/ThomasAD16,
  author       = {Aaron O. Thomas and
                  Pavlo D. Antonenko and
                  Robert Davis},
  title        = {Understanding metacomprehension accuracy within video annotation systems},
  journal      = {Comput. Hum. Behav.},
  volume       = {58},
  pages        = {269--277},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.chb.2016.01.014},
  doi          = {10.1016/J.CHB.2016.01.014},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/ThomasAD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/chb/RitzhauptPD15,
  author       = {Albert D. Ritzhaupt and
                  Raymond Pastore and
                  Robert Davis},
  title        = {Effects of captions and time-compressed video on learner performance
                  and satisfaction},
  journal      = {Comput. Hum. Behav.},
  volume       = {45},
  pages        = {222--227},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.chb.2014.12.020},
  doi          = {10.1016/J.CHB.2014.12.020},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/RitzhauptPD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/combinatorics/Davis15,
  author       = {Robert Davis},
  title        = {Ehrhart Series of Polytopes Related to Symmetric Doubly-Stochastic
                  Matrices},
  journal      = {Electron. J. Comb.},
  volume       = {22},
  number       = {2},
  pages        = {2},
  year         = {2015},
  url          = {https://doi.org/10.37236/4692},
  doi          = {10.37236/4692},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/Davis15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/int/BraunDDHNT13,
  author       = {Benjamin Braun and
                  Robert Davis and
                  Jessica Doering and
                  Ashley Harrison and
                  Jenna Noll and
                  Clifford Taylor},
  title        = {Compositions Constrained by Graph Laplacian Minors},
  journal      = {Integers},
  volume       = {13},
  pages        = {A41},
  year         = {2013},
  url          = {http://math.colgate.edu/\%7Eintegers/n41/n41.Abstract.html},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/int/BraunDDHNT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/intr/DavisLG13,
  author       = {Robert Davis and
                  Bodo Lang and
                  Neil Gautam},
  title        = {Modeling utilitarian-hedonic dual mediation {(UHDM)} in the purchase
                  and use of games},
  journal      = {Internet Res.},
  volume       = {23},
  number       = {2},
  pages        = {229--256},
  year         = {2013},
  url          = {https://doi.org/10.1108/10662241311313330},
  doi          = {10.1108/10662241311313330},
  timestamp    = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/intr/DavisLG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipres/LuntDHLWD13,
  author       = {Barry M. Lunt and
                  Robert Davis and
                  Douglas Hansen and
                  Matthew R. Linford and
                  Hao Wang and
                  John Dredge},
  editor       = {Jos{\'{e}} Borbinha and
                  Michael Nelson and
                  Steve Knight},
  title        = {Permanent digital data storage: {A} materials approach},
  booktitle    = {Proceedings of the 10th International Conference on Digital Preservation,
                  iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013},
  year         = {2013},
  url          = {https://hdl.handle.net/11353/10.378053},
  timestamp    = {Wed, 04 May 2022 13:02:20 +0200},
  biburl       = {https://dblp.org/rec/conf/ipres/LuntDHLWD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/entcom/DavisL12,
  author       = {Robert Davis and
                  Bodo Lang},
  title        = {Modeling game usage, purchase behavior and ease of use},
  journal      = {Entertain. Comput.},
  volume       = {3},
  number       = {2},
  pages        = {27--36},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcom.2011.11.001},
  doi          = {10.1016/J.ENTCOM.2011.11.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcom/DavisL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ecrts/2012,
  editor       = {Robert Davis},
  title        = {24th Euromicro Conference on Real-Time Systems, {ECRTS} 2012, Pisa,
                  Italy, July 11-13, 2012},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6257104/proceeding},
  isbn         = {978-1-4673-2032-0},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecrts/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijmc/Davis10,
  author       = {Robert Davis},
  title        = {Conceptualising fun in mobile commerce environments},
  journal      = {Int. J. Mob. Commun.},
  volume       = {8},
  number       = {1},
  pages        = {21--40},
  year         = {2010},
  url          = {https://doi.org/10.1504/IJMC.2010.030518},
  doi          = {10.1504/IJMC.2010.030518},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmc/Davis10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijhpcn/BentowDHMKLTPSDB08,
  author       = {Brian Bentow and
                  Jonathan Dodge and
                  Aaron Homer and
                  Christopher D. Moore and
                  Robert M. Keller and
                  Craig A. Lee and
                  Mark Thomas and
                  Matthew Presley and
                  Jorge Seidel and
                  Robert Davis and
                  Joseph Betser},
  title        = {Grid-enabling a vibroacoustic analysis toolkit},
  journal      = {Int. J. High Perform. Comput. Netw.},
  volume       = {5},
  number       = {3},
  pages        = {168--178},
  year         = {2008},
  url          = {https://doi.org/10.1504/IJHPCN.2008.020861},
  doi          = {10.1504/IJHPCN.2008.020861},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijhpcn/BentowDHMKLTPSDB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/noms/BentowDHMKPDSLB06,
  author       = {Brian Bentow and
                  Jonathan Dodge and
                  Aaron Homer and
                  Christopher D. Moore and
                  Robert M. Keller and
                  Matthew Presley and
                  Robert Davis and
                  Jorge Seidel and
                  Craig A. Lee and
                  Joseph Betser},
  editor       = {Joseph L. Hellerstein and
                  Burkhard Stiller},
  title        = {System Management for Grid-Enabling a Vibroacoustic Analysis Application},
  booktitle    = {Management of Integrated End-to-End Communications and Services, 10th
                  {IEEE/IFIP} Network Operations and Management Symposium, {NOMS} 2006,
                  Vancouver, Canada, April 3-7, 2006. Proceedings},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/NOMS.2006.1687615},
  doi          = {10.1109/NOMS.2006.1687615},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/BentowDHMKPDSLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/DavisY05,
  author       = {Robert Davis and
                  David Yung},
  title        = {Understanding the interactivity between television and mobile commerce},
  journal      = {Commun. {ACM}},
  volume       = {48},
  number       = {7},
  pages        = {103--105},
  year         = {2005},
  url          = {https://doi.org/10.1145/1070838.1070869},
  doi          = {10.1145/1070838.1070869},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/DavisY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/AustinDFJJLP05,
  author       = {Jim Austin and
                  Robert Davis and
                  Martyn Fletcher and
                  Thomas W. Jackson and
                  Mark Jessop and
                  Bojian Liang and
                  Andy Pasley},
  title        = {{DAME:} Searching Large Data Sets Within a Grid-Enabled Engineering
                  Application},
  journal      = {Proc. {IEEE}},
  volume       = {93},
  number       = {3},
  pages        = {496--509},
  year         = {2005},
  url          = {https://doi.org/10.1109/JPROC.2004.842746},
  doi          = {10.1109/JPROC.2004.842746},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/AustinDFJJLP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/grid/BentowDHMKPDSLB05,
  author       = {Brian Bentow and
                  Jonathan Dodge and
                  Aaron Homer and
                  Christopher D. Moore and
                  Robert M. Keller and
                  Matthew Presley and
                  Robert Davis and
                  Jorge Seidel and
                  Craig A. Lee and
                  Joseph Betser},
  title        = {Grid-enabling a vibroacoustic analysis application},
  booktitle    = {6th {IEEE/ACM} International Conference on Grid Computing {(GRID}
                  2005), November 13-14, 2005, Seattle, Washington, USA, Proceedings},
  pages        = {33--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/GRID.2005.1542721},
  doi          = {10.1109/GRID.2005.1542721},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/grid/BentowDHMKPDSLB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/psychnology/LessiterFDD03,
  author       = {Jane Lessiter and
                  Jonathan Freeman and
                  Robert Davis and
                  Andrew Dumbreck},
  title        = {Helping Viewers Press the Right Buttons: Generating Intuitive Labels
                  for Digital Terrestrial {TV} remote controls},
  journal      = {PsychNology J.},
  volume       = {1},
  number       = {4},
  pages        = {355--377},
  year         = {2003},
  url          = {http://www.psychnology.org/File/PSYCHNOLOGY\_JOURNAL\_1\_4\_LESSITER.pdf},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/psychnology/LessiterFDD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computer/BradshawSCDFHJR01,
  author       = {Jeffrey M. Bradshaw and
                  Niranjan Suri and
                  Alberto J. Ca{\~{n}}as and
                  Robert Davis and
                  Kenneth M. Ford and
                  Robert R. Hoffman and
                  Renia Jeffers and
                  Thomas Reichherzer},
  title        = {Terraforming Cyberspace},
  journal      = {Computer},
  volume       = {34},
  number       = {7},
  pages        = {48--56},
  year         = {2001},
  url          = {https://doi.org/10.1109/2.933503},
  doi          = {10.1109/2.933503},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/BradshawSCDFHJR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/McKellarD00,
  author       = {Steven McKellar and
                  Robert Davis},
  title        = {Redundancy removal in multicast protocols},
  journal      = {Inf. Process. Lett.},
  volume       = {73},
  number       = {5-6},
  pages        = {169--173},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00021-1},
  doi          = {10.1016/S0020-0190(00)00021-1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/McKellarD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tbe/JamesDMTTWKBCITS00,
  author       = {Conrad D. James and
                  Robert Davis and
                  M. Meyer and
                  A. Turner and
                  S. Turner and
                  G. Withers and
                  Lance C. Kam and
                  Gary Banker and
                  Harold G. Craighead and
                  Michael S. Isaacson and
                  James N. Turner and
                  William Shain},
  title        = {Aligned microcontact printing of micrometer-scale poly-L-Lysine structures
                  for controlled growth of cultured neurons on planar microelectrode
                  arrays},
  journal      = {{IEEE} Trans. Biomed. Eng.},
  volume       = {47},
  number       = {1},
  pages        = {17--21},
  year         = {2000},
  url          = {https://doi.org/10.1109/10.817614},
  doi          = {10.1109/10.817614},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tbe/JamesDMTTWKBCITS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jitech/DavisBB99,
  author       = {Robert Davis and
                  Margo Buchanan{-}Oliver and
                  Roderick Brodie},
  title        = {Relationship marketing in electronic commerce environments},
  journal      = {J. Inf. Technol.},
  volume       = {14},
  number       = {4},
  pages        = {319--331},
  year         = {1999},
  url          = {https://doi.org/10.1080/026839699344449},
  doi          = {10.1080/026839699344449},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jitech/DavisBB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pami/DavisP99,
  author       = {Robert Davis and
                  Armand Prieditis},
  title        = {Designing Optimal Sequential Experiments for a Bayesian Classifier},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {21},
  number       = {3},
  pages        = {193--201},
  year         = {1999},
  url          = {https://doi.org/10.1109/34.754585},
  doi          = {10.1109/34.754585},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/DavisP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/agis/LiWD95,
  author       = {Xiaowen Li and
                  Curtis E. Woodcock and
                  Robert Davis},
  title        = {A Hybrid Geometric Optical and Radiative Transfer Approach for Modeling
                  Pyranometer Measurements Under a Jack Pine Forest},
  journal      = {Ann. {GIS}},
  volume       = {1},
  number       = {1},
  pages        = {34--40},
  year         = {1995},
  url          = {https://doi.org/10.1080/10824009509480469},
  doi          = {10.1080/10824009509480469},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/agis/LiWD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/PrieditisD95,
  author       = {Armand Prieditis and
                  Robert Davis},
  title        = {Quantitatively Relating Abstractness to the Accuracy of Admissible
                  Heuristics},
  journal      = {Artif. Intell.},
  volume       = {74},
  number       = {1},
  pages        = {165--175},
  year         = {1995},
  url          = {https://doi.org/10.1016/0004-3702(94)00084-E},
  doi          = {10.1016/0004-3702(94)00084-E},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/PrieditisD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/DavisP93,
  author       = {Robert Davis and
                  Armand Prieditis},
  title        = {The Expected Length of a Shortest Path},
  journal      = {Inf. Process. Lett.},
  volume       = {46},
  number       = {3},
  pages        = {135--141},
  year         = {1993},
  url          = {https://doi.org/10.1016/0020-0190(93)90059-I},
  doi          = {10.1016/0020-0190(93)90059-I},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/DavisP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mst/Davis70,
  author       = {Robert Davis},
  title        = {Universal Coalgebra and Categories of Transition Systems},
  journal      = {Math. Syst. Theory},
  volume       = {4},
  number       = {1},
  pages        = {91--95},
  year         = {1970},
  url          = {https://doi.org/10.1007/BF01705889},
  doi          = {10.1007/BF01705889},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Davis70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.