BibTeX records: Robert A. Hearn

download as .bib file

@article{DBLP:journals/corr/abs-2302-12950,
  author       = {Robert A. Hearn and
                  William Kretschmer and
                  Tomas Rokicki and
                  Benjamin Streeter and
                  Eric Vergo},
  title        = {Two-Disk Compound Symmetry Groups},
  journal      = {CoRR},
  volume       = {abs/2302.12950},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.12950},
  doi          = {10.48550/ARXIV.2302.12950},
  eprinttype    = {arXiv},
  eprint       = {2302.12950},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-12950.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/DemaineHHL22,
  author       = {Erik D. Demaine and
                  Robert A. Hearn and
                  Dylan H. Hendrickson and
                  Jayson Lynch},
  editor       = {J{\'{e}}r{\^{o}}me Durand{-}Lose and
                  Gy{\"{o}}rgy Vaszil},
  title        = {PSPACE-Completeness of Reversible Deterministic Systems},
  booktitle    = {Machines, Computations, and Universality - 9th International Conference,
                  {MCU} 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13419},
  pages        = {91--108},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13502-6\_7},
  doi          = {10.1007/978-3-031-13502-6\_7},
  timestamp    = {Tue, 09 Aug 2022 17:12:09 +0200},
  biburl       = {https://dblp.org/rec/conf/mcu/DemaineHHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07229,
  author       = {Erik D. Demaine and
                  Robert A. Hearn and
                  Dylan H. Hendrickson and
                  Jayson Lynch},
  title        = {PSPACE-Completeness of Reversible Deterministic Systems},
  journal      = {CoRR},
  volume       = {abs/2207.07229},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.07229},
  doi          = {10.48550/ARXIV.2207.07229},
  eprinttype    = {arXiv},
  eprint       = {2207.07229},
  timestamp    = {Tue, 19 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-07229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/GreenblattHHHIK21,
  author       = {Aster Greenblatt and
                  Oscar I. Hernandez and
                  Robert A. Hearn and
                  Yichao Hou and
                  Hiro Ito and
                  Minwoo Kang and
                  Aaron Williams and
                  Andrew Winslow},
  editor       = {Meng He and
                  Don Sheehy},
  title        = {Turning Around and Around: Motion Planning through Thick and Thin
                  Turnstiles},
  booktitle    = {Proceedings of the 33rd Canadian Conference on Computational Geometry,
                  {CCCG} 2021, August 10-12, 2021, Dalhousie University, Halifax, Nova
                  Scotia, Canada},
  pages        = {377--387},
  year         = {2021},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cccg/GreenblattHHHIK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/DemaineHHKU20,
  author       = {Martin L. Demaine and
                  Robert A. Hearn and
                  Junnosuke Hoshido and
                  Jason S. Ku and
                  Ryuhei Uehara},
  title        = {Rectangular Unfoldings of Polycubes},
  journal      = {J. Inf. Process.},
  volume       = {28},
  pages        = {841--845},
  year         = {2020},
  url          = {https://doi.org/10.2197/ipsjjip.28.841},
  doi          = {10.2197/IPSJJIP.28.841},
  timestamp    = {Mon, 03 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jip/DemaineHHKU20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CardinalDEHW20,
  author       = {Jean Cardinal and
                  Erik D. Demaine and
                  David Eppstein and
                  Robert A. Hearn and
                  Andrew Winslow},
  title        = {Reconfiguration of satisfying assignments and subset sums: Easy to
                  find, hard to connect},
  journal      = {Theor. Comput. Sci.},
  volume       = {806},
  pages        = {332--343},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.05.028},
  doi          = {10.1016/J.TCS.2019.05.028},
  timestamp    = {Fri, 24 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CardinalDEHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/ChiuDDEHHKPR20,
  author       = {Man{-}Kwun Chiu and
                  Erik D. Demaine and
                  Yevhenii Diomidov and
                  David Eppstein and
                  Robert A. Hearn and
                  Adam Hesterberg and
                  Matias Korman and
                  Irene Parada and
                  Mikhail Rudoy},
  editor       = {J. Mark Keil and
                  Debajyoti Mondal},
  title        = {New Results in Sona Drawing: Hardness and {TSP} Separation},
  booktitle    = {Proceedings of the 32nd Canadian Conference on Computational Geometry,
                  {CCCG} 2020, August 5-7, 2020, University of Saskatchewan, Saskatoon,
                  Saskatchewan, Canada},
  pages        = {63--72},
  year         = {2020},
  timestamp    = {Mon, 03 May 2021 21:50:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cccg/ChiuDDEHHKPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15784,
  author       = {Man{-}Kwun Chiu and
                  Erik D. Demaine and
                  Yevhenii Diomidov and
                  David Eppstein and
                  Robert A. Hearn and
                  Adam Hesterberg and
                  Matias Korman and
                  Irene Parada and
                  Mikhail Rudoy},
  title        = {New Results in Sona Drawing: Hardness and {TSP} Separation},
  journal      = {CoRR},
  volume       = {abs/2007.15784},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.15784},
  eprinttype    = {arXiv},
  eprint       = {2007.15784},
  timestamp    = {Mon, 03 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-15784.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/BurkeH19,
  author       = {Kyle Burke and
                  Robert A. Hearn},
  title        = {PSPACE-complete two-color planar placement games},
  journal      = {Int. J. Game Theory},
  volume       = {48},
  number       = {2},
  pages        = {393--410},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00182-018-0628-8},
  doi          = {10.1007/S00182-018-0628-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgt/BurkeH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/DemaineHKU19,
  author       = {Martin L. Demaine and
                  Robert A. Hearn and
                  Jason S. Ku and
                  Ryuhei Uehara},
  editor       = {Zachary Friggstad and
                  Jean{-}Lou De Carufel},
  title        = {Rectangular Unfoldings of Polycubes},
  booktitle    = {Proceedings of the 31st Canadian Conference on Computational Geometry,
                  {CCCG} 2019, August 8-10, 2019, University of Alberta, Edmonton, Alberta,
                  Canada},
  pages        = {159--163},
  year         = {2019},
  timestamp    = {Thu, 23 Apr 2020 16:22:06 +0200},
  biburl       = {https://dblp.org/rec/conf/cccg/DemaineHKU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/CardinalDEHW18,
  author       = {Jean Cardinal and
                  Erik D. Demaine and
                  David Eppstein and
                  Robert A. Hearn and
                  Andrew Winslow},
  editor       = {Lusheng Wang and
                  Daming Zhu},
  title        = {Reconfiguration of Satisfying Assignments and Subset Sums: Easy to
                  Find, Hard to Connect},
  booktitle    = {Computing and Combinatorics - 24th International Conference, {COCOON}
                  2018, Qing Dao, China, July 2-4, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10976},
  pages        = {365--377},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94776-1\_31},
  doi          = {10.1007/978-3-319-94776-1\_31},
  timestamp    = {Thu, 20 Aug 2020 16:02:36 +0200},
  biburl       = {https://dblp.org/rec/conf/cocoon/CardinalDEHW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04055,
  author       = {Jean Cardinal and
                  Erik D. Demaine and
                  David Eppstein and
                  Robert A. Hearn and
                  Andrew Winslow},
  title        = {Reconfiguration of Satisfying Assignments and Subset Sums: Easy to
                  Find, Hard to Connect},
  journal      = {CoRR},
  volume       = {abs/1805.04055},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.04055},
  eprinttype    = {arXiv},
  eprint       = {1805.04055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-04055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BurkeDGHHHIKLLS16,
  author       = {Kyle Burke and
                  Erik D. Demaine and
                  Harrison Gregg and
                  Robert A. Hearn and
                  Adam Hesterberg and
                  Michael Hoffmann and
                  Hiro Ito and
                  Irina Kostitsyna and
                  Jody Leonard and
                  Maarten L{\"{o}}ffler and
                  Aaron Santiago and
                  Christiane Schmidt and
                  Ryuhei Uehara and
                  Yushi Uno and
                  Aaron Williams},
  title        = {Single-Player and Two-Player Buttons {\&} Scissors Games},
  journal      = {CoRR},
  volume       = {abs/1607.01826},
  year         = {2016},
  url          = {http://arxiv.org/abs/1607.01826},
  eprinttype    = {arXiv},
  eprint       = {1607.01826},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BurkeDGHHHIKLLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdcg/BurkeDGHHHIKLLS15,
  author       = {Kyle Burke and
                  Erik D. Demaine and
                  Harrison Gregg and
                  Robert A. Hearn and
                  Adam Hesterberg and
                  Michael Hoffmann and
                  Hiro Ito and
                  Irina Kostitsyna and
                  Jody Leonard and
                  Maarten L{\"{o}}ffler and
                  Aaron Santiago and
                  Christiane Schmidt and
                  Ryuhei Uehara and
                  Yushi Uno and
                  Aaron Williams},
  editor       = {Jin Akiyama and
                  Hiro Ito and
                  Toshinori Sakai and
                  Yushi Uno},
  title        = {Single-Player and Two-Player Buttons {\&} Scissors Games - (Extended
                  Abstract)},
  booktitle    = {Discrete and Computational Geometry and Graphs - 18th Japan Conference,
                  {JCDCGG} 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9943},
  pages        = {60--72},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-48532-4\_6},
  doi          = {10.1007/978-3-319-48532-4\_6},
  timestamp    = {Thu, 18 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jcdcg/BurkeDGHHHIKLLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/AloupisHIU12,
  author       = {Greg Aloupis and
                  Robert A. Hearn and
                  Hirokazu Iwasawa and
                  Ryuhei Uehara},
  title        = {Covering Points with Disjoint Unit Disks},
  booktitle    = {Proceedings of the 24th Canadian Conference on Computational Geometry,
                  {CCCG} 2012, Charlottetown, Prince Edward Island, Canada, August 8-10,
                  2012},
  pages        = {41--46},
  year         = {2012},
  url          = {http://2012.cccg.ca/papers/paper13.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cccg/AloupisHIU12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023750,
  author       = {Robert A. Hearn and
                  Erik D. Demaine},
  title        = {Games, puzzles and computation},
  publisher    = {A {K} Peters},
  year         = {2009},
  isbn         = {978-1-56881-322-6},
  timestamp    = {Wed, 09 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0023750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/HearnG08,
  author       = {Robert A. Hearn and
                  Richard H. Granger},
  title        = {Learning Hierarchical Representations and Behaviors},
  booktitle    = {Naturally-Inspired Artificial Intelligence, Papers from the 2008 {AAAI}
                  Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-08-06}},
  pages        = {65--66},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-06-011.php},
  timestamp    = {Wed, 04 Sep 2013 21:28:12 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaifs/HearnG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/DemaineH08,
  author       = {Erik D. Demaine and
                  Robert A. Hearn},
  title        = {Constraint Logic: {A} Uniform Framework for Modeling Computation as
                  Games},
  booktitle    = {Proceedings of the 23rd Annual {IEEE} Conference on Computational
                  Complexity, {CCC} 2008, 23-26 June 2008, College Park, Maryland, {USA}},
  pages        = {149--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CCC.2008.35},
  doi          = {10.1109/CCC.2008.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/DemaineH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scholarpedia/GrangerH07,
  author       = {Richard H. Granger and
                  Robert A. Hearn},
  title        = {Models of thalamocortical system},
  journal      = {Scholarpedia},
  volume       = {2},
  number       = {11},
  pages        = {1796},
  year         = {2007},
  url          = {https://doi.org/10.4249/scholarpedia.1796},
  doi          = {10.4249/SCHOLARPEDIA.1796},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scholarpedia/GrangerH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Hearn06,
  author       = {Robert A. Hearn},
  title        = {Games, puzzles, and computation},
  school       = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
  year         = {2006},
  url          = {https://hdl.handle.net/1721.1/37913},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ndltd/Hearn06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HearnD05,
  author       = {Robert A. Hearn and
                  Erik D. Demaine},
  title        = {PSPACE-completeness of sliding-block puzzles and other problems through
                  the nondeterministic constraint logic model of computation},
  journal      = {Theor. Comput. Sci.},
  volume       = {343},
  number       = {1-2},
  pages        = {72--96},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.05.008},
  doi          = {10.1016/J.TCS.2005.05.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HearnD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0502013,
  author       = {Robert A. Hearn},
  title        = {Amazons is PSPACE-complete},
  journal      = {CoRR},
  volume       = {abs/cs/0502013},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0502013},
  eprinttype    = {arXiv},
  eprint       = {cs/0502013},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0502013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/HearnDF03,
  author       = {Robert A. Hearn and
                  Erik D. Demaine and
                  Greg N. Frederickson},
  title        = {Hinged Dissection of Polygons is Hard},
  booktitle    = {Proceedings of the 15th Canadian Conference on Computational Geometry,
                  CCCG'03, Halifax, Canada, August 11-13, 2003},
  pages        = {98--102},
  year         = {2003},
  url          = {http://www.cccg.ca/proceedings/2003/45.pdf},
  timestamp    = {Wed, 12 May 2021 14:19:37 +0200},
  biburl       = {https://dblp.org/rec/conf/cccg/HearnDF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/DemaineHH02,
  author       = {Erik D. Demaine and
                  Robert A. Hearn and
                  Michael Hoffmann},
  title        = {Push-2-f is pspace-complete},
  booktitle    = {Proceedings of the 14th Canadian Conference on Computational Geometry,
                  University of Lethbridge, Alberta, Canada, August 12-14, 2002},
  pages        = {31--35},
  year         = {2002},
  url          = {http://www.cs.uleth.ca/\%7Ewismath/cccg/papers/31.ps},
  timestamp    = {Wed, 12 May 2021 14:19:37 +0200},
  biburl       = {https://dblp.org/rec/conf/cccg/DemaineHH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HearnD02,
  author       = {Robert A. Hearn and
                  Erik D. Demaine},
  editor       = {Peter Widmayer and
                  Francisco Triguero Ruiz and
                  Rafael Morales Bueno and
                  Matthew Hennessy and
                  Stephan J. Eidenbenz and
                  Ricardo Conejo},
  title        = {The Nondeterministic Constraint Logic Model of Computation: Reductions
                  and Applications},
  booktitle    = {Automata, Languages and Programming, 29th International Colloquium,
                  {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2380},
  pages        = {401--413},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45465-9\_35},
  doi          = {10.1007/3-540-45465-9\_35},
  timestamp    = {Wed, 11 Sep 2019 13:15:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HearnD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0205005,
  author       = {Robert A. Hearn and
                  Erik D. Demaine},
  title        = {PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through
                  the Nondeterministic Constraint Logic Model of Computation},
  journal      = {CoRR},
  volume       = {cs.CC/0205005},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0205005},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0205005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}