Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jeffrey Bosboom
@article{DBLP:journals/corr/abs-2203-17167, author = {Jeffrey Bosboom and Josh Brunner and Michael J. Coulombe and Erik D. Demaine and Dylan H. Hendrickson and Jayson Lynch and Elle Najt}, title = {The Legend of Zelda: The Complexity of Mechanics}, journal = {CoRR}, volume = {abs/2203.17167}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.17167}, doi = {10.48550/ARXIV.2203.17167}, eprinttype = {arXiv}, eprint = {2203.17167}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-17167.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/AdlerBDDLL21, author = {Aviv Adler and Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Quanquan C. Liu and Jayson Lynch}, editor = {Martin Farach{-}Colton and Giuseppe Prencipe and Ryuhei Uehara}, title = {Tatamibari Is NP-Complete}, booktitle = {10th International Conference on Fun with Algorithms, {FUN} 2021, May 30 to June 1, 2021, Favignana Island, Sicily, Italy}, series = {LIPIcs}, volume = {157}, pages = {1:1--1:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.FUN.2021.1}, doi = {10.4230/LIPICS.FUN.2021.1}, timestamp = {Mon, 21 Dec 2020 13:23:22 +0100}, biburl = {https://dblp.org/rec/conf/fun/AdlerBDDLL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/AniBDDHL21, author = {Joshua Ani and Jeffrey Bosboom and Erik D. Demaine and Yevhenii Diomidov and Dylan H. Hendrickson and Jayson Lynch}, editor = {Martin Farach{-}Colton and Giuseppe Prencipe and Ryuhei Uehara}, title = {Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets}, booktitle = {10th International Conference on Fun with Algorithms, {FUN} 2021, May 30 to June 1, 2021, Favignana Island, Sicily, Italy}, series = {LIPIcs}, volume = {157}, pages = {3:1--3:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.FUN.2021.3}, doi = {10.4230/LIPICS.FUN.2021.3}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fun/AniBDDHL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/gc/BosboomDDHKK20, author = {Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Adam Hesterberg and Roderick Kimball and Justin Kopinsky}, title = {Path Puzzles: Discrete Tomography with a Path Constraint is Hard}, journal = {Graphs Comb.}, volume = {36}, number = {2}, pages = {251--267}, year = {2020}, url = {https://doi.org/10.1007/s00373-019-02092-5}, doi = {10.1007/S00373-019-02092-5}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/gc/BosboomDDHKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jip/BosboomCCCCDDFH20, author = {Jeffrey Bosboom and Charlotte Chen and Lily Chung and Spencer Compton and Michael J. Coulombe and Erik D. Demaine and Martin L. Demaine and Ivan Tadeu Ferreira Antunes Filho and Dylan H. Hendrickson and Adam Hesterberg and Calvin Hsu and William Hu and Oliver Korten and Zhezheng Luo and Lillian Zhang}, title = {Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players}, journal = {J. Inf. Process.}, volume = {28}, pages = {987--1007}, year = {2020}, url = {https://doi.org/10.2197/ipsjjip.28.987}, doi = {10.2197/IPSJJIP.28.987}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jip/BosboomCCCCDDFH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AbelBCDHHKLRT20, author = {Zachary Abel and Jeffrey Bosboom and Michael J. Coulombe and Erik D. Demaine and Linus Hamilton and Adam Hesterberg and Justin Kopinsky and Jayson Lynch and Mikhail Rudoy and Clemens Thielen}, title = {Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible}, journal = {Theor. Comput. Sci.}, volume = {839}, pages = {41--102}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2020.05.031}, doi = {10.1016/J.TCS.2020.05.031}, timestamp = {Fri, 04 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AbelBCDHHKLRT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaac/AlcockABBCDEHHH20, author = {Leo Alcock and Sualeh Asif and Jeffrey Bosboom and Josh Brunner and Charlotte Chen and Erik D. Demaine and Rogers Epstein and Adam Hesterberg and Lior Hirschfeld and William Hu and Jayson Lynch and Sarah Scheffler and Lillian Zhang}, editor = {Yixin Cao and Siu{-}Wing Cheng and Minming Li}, title = {Arithmetic Expression Construction}, booktitle = {31st International Symposium on Algorithms and Computation, {ISAAC} 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference)}, series = {LIPIcs}, volume = {181}, pages = {12:1--12:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.ISAAC.2020.12}, doi = {10.4230/LIPICS.ISAAC.2020.12}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isaac/AlcockABBCDEHHH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-03887, author = {Jeffrey Bosboom and Charlotte Chen and Lily Chung and Spencer Compton and Michael J. Coulombe and Erik D. Demaine and Martin L. Demaine and Ivan Tadeu Ferreira Antunes Filho and Dylan H. Hendrickson and Adam Hesterberg and Calvin Hsu and William Hu and Oliver Korten and Zhezheng Luo and Lillian Zhang}, title = {Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players}, journal = {CoRR}, volume = {abs/2002.03887}, year = {2020}, url = {https://arxiv.org/abs/2002.03887}, eprinttype = {arXiv}, eprint = {2002.03887}, timestamp = {Fri, 04 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-03887.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-08331, author = {Aviv Adler and Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Quanquan C. Liu and Jayson Lynch}, title = {Tatamibari is NP-complete}, journal = {CoRR}, volume = {abs/2003.08331}, year = {2020}, url = {https://arxiv.org/abs/2003.08331}, eprinttype = {arXiv}, eprint = {2003.08331}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-08331.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-01256, author = {Joshua Ani and Jeffrey Bosboom and Erik D. Demaine and Yevhenii Diomidov and Dylan H. Hendrickson and Jayson Lynch}, title = {Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets}, journal = {CoRR}, volume = {abs/2006.01256}, year = {2020}, url = {https://arxiv.org/abs/2006.01256}, eprinttype = {arXiv}, eprint = {2006.01256}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-01256.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-11767, author = {Leo Alcock and Sualeh Asif and Jeffrey Bosboom and Josh Brunner and Charlotte Chen and Erik D. Demaine and Rogers Epstein and Adam Hesterberg and Lior Hirschfeld and William Hu and Jayson Lynch and Sarah Scheffler and Lillian Zhang}, title = {Arithmetic Expression Construction}, journal = {CoRR}, volume = {abs/2011.11767}, year = {2020}, url = {https://arxiv.org/abs/2011.11767}, eprinttype = {arXiv}, eprint = {2011.11767}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-11767.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/RajaduraiBWA18, author = {Sumanaruban Rajadurai and Jeffrey Bosboom and Weng{-}Fai Wong and Saman P. Amarasinghe}, editor = {Xipeng Shen and James Tuck and Ricardo Bianchini and Vivek Sarkar}, title = {Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs}, booktitle = {Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, {ASPLOS} 2018, Williamsburg, VA, USA, March 24-28, 2018}, pages = {98--112}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3173162.3173170}, doi = {10.1145/3173162.3173170}, timestamp = {Tue, 23 Jan 2024 20:31:22 +0100}, biburl = {https://dblp.org/rec/conf/asplos/RajaduraiBWA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/AbelBDHHKLR18, author = {Zachary Abel and Jeffrey Bosboom and Erik D. Demaine and Linus Hamilton and Adam Hesterberg and Justin Kopinsky and Jayson Lynch and Mikhail Rudoy}, editor = {Hiro Ito and Stefano Leonardi and Linda Pagli and Giuseppe Prencipe}, title = {Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible}, booktitle = {9th International Conference on Fun with Algorithms, {FUN} 2018, June 13-15, 2018, La Maddalena, Italy}, series = {LIPIcs}, volume = {100}, pages = {3:1--3:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.FUN.2018.3}, doi = {10.4230/LIPICS.FUN.2018.3}, timestamp = {Tue, 27 Dec 2022 09:06:31 +0100}, biburl = {https://dblp.org/rec/conf/fun/AbelBDHHKLR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/BosboomDR18, author = {Jeffrey Bosboom and Erik D. Demaine and Mikhail Rudoy}, editor = {Hiro Ito and Stefano Leonardi and Linda Pagli and Giuseppe Prencipe}, title = {Computational Complexity of Generalized Push Fight}, booktitle = {9th International Conference on Fun with Algorithms, {FUN} 2018, June 13-15, 2018, La Maddalena, Italy}, series = {LIPIcs}, volume = {100}, pages = {11:1--11:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.FUN.2018.11}, doi = {10.4230/LIPICS.FUN.2018.11}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fun/BosboomDR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-01176, author = {Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Adam Hesterberg and Roderick Kimball and Justin Kopinsky}, title = {Path Puzzles: Discrete Tomography with a Path Constraint is Hard}, journal = {CoRR}, volume = {abs/1803.01176}, year = {2018}, url = {http://arxiv.org/abs/1803.01176}, eprinttype = {arXiv}, eprint = {1803.01176}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01176.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-03708, author = {Jeffrey Bosboom and Erik D. Demaine and Mikhail Rudoy}, title = {Computational Complexity of Generalized Push Fight}, journal = {CoRR}, volume = {abs/1803.03708}, year = {2018}, url = {http://arxiv.org/abs/1803.03708}, eprinttype = {arXiv}, eprint = {1803.03708}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-03708.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-10193, author = {Zachary Abel and Jeffrey Bosboom and Erik D. Demaine and Linus Hamilton and Adam Hesterberg and Justin Kopinsky and Jayson Lynch and Mikhail Rudoy}, title = {Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible}, journal = {CoRR}, volume = {abs/1804.10193}, year = {2018}, url = {http://arxiv.org/abs/1804.10193}, eprinttype = {arXiv}, eprint = {1804.10193}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-10193.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1806-05657, author = {Jeffrey Bosboom and Spencer Congero and Erik D. Demaine and Martin L. Demaine and Jayson Lynch}, title = {Losing at Checkers is Hard}, journal = {CoRR}, volume = {abs/1806.05657}, year = {2018}, url = {http://arxiv.org/abs/1806.05657}, eprinttype = {arXiv}, eprint = {1806.05657}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1806-05657.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jip/BosboomDDHMY17, author = {Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Adam Hesterberg and Pasin Manurangsi and Anak Yodpinyanee}, title = {Even 1 {\texttimes} \emph{n} Edge-Matching and Jigsaw Puzzles are Really Hard}, journal = {J. Inf. Process.}, volume = {25}, pages = {682--694}, year = {2017}, url = {https://doi.org/10.2197/ipsjjip.25.682}, doi = {10.2197/IPSJJIP.25.682}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jip/BosboomDDHMY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BosboomDDHMY17, author = {Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Adam Hesterberg and Pasin Manurangsi and Anak Yodpinyanee}, title = {Even 1{\texttimes}n Edge-Matching and Jigsaw Puzzles are Really Hard}, journal = {CoRR}, volume = {abs/1701.00146}, year = {2017}, url = {http://arxiv.org/abs/1701.00146}, eprinttype = {arXiv}, eprint = {1701.00146}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BosboomDDHMY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-05121, author = {Jeffrey Bosboom and Michael Hoffmann}, title = {Netrunner Mate-in-1 or -2 is Weakly NP-Hard}, journal = {CoRR}, volume = {abs/1710.05121}, year = {2017}, url = {http://arxiv.org/abs/1710.05121}, eprinttype = {arXiv}, eprint = {1710.05121}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-05121.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jcdcg/BosboomDDLMRY15, author = {Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Jayson Lynch and Pasin Manurangsi and Mikhail Rudoy and Anak Yodpinyanee}, editor = {Jin Akiyama and Hiro Ito and Toshinori Sakai and Yushi Uno}, title = {Dissection with the Fewest Pieces is Hard, Even to Approximate}, 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 = {37--48}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-48532-4\_4}, doi = {10.1007/978-3-319-48532-4\_4}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/jcdcg/BosboomDDLMRY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jcdcg/BosboomDHLW15, author = {Jeffrey Bosboom and Erik D. Demaine and Adam Hesterberg and Jayson Lynch and Erik Waingarten}, editor = {Jin Akiyama and Hiro Ito and Toshinori Sakai and Yushi Uno}, title = {Mario Kart Is Hard}, 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 = {49--59}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-48532-4\_5}, doi = {10.1007/978-3-319-48532-4\_5}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jcdcg/BosboomDHLW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/MendisBWKRPZA15, author = {Charith Mendis and Jeffrey Bosboom and Kevin Wu and Shoaib Kamil and Jonathan Ragan{-}Kelley and Sylvain Paris and Qin Zhao and Saman P. Amarasinghe}, editor = {David Grove and Stephen M. Blackburn}, title = {Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide {DSL} code}, booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015}, pages = {391--402}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2737924.2737974}, doi = {10.1145/2737924.2737974}, timestamp = {Thu, 24 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/MendisBWKRPZA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BosboomDDLMRY15, author = {Jeffrey Bosboom and Erik D. Demaine and Martin L. Demaine and Jayson Lynch and Pasin Manurangsi and Mikhail Rudoy and Anak Yodpinyanee}, title = {Dissection with the Fewest Pieces is Hard, Even to Approximate}, journal = {CoRR}, volume = {abs/1512.06706}, year = {2015}, url = {http://arxiv.org/abs/1512.06706}, eprinttype = {arXiv}, eprint = {1512.06706}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BosboomDDLMRY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEpact/AnselKVRBOA14, author = {Jason Ansel and Shoaib Kamil and Kalyan Veeramachaneni and Jonathan Ragan{-}Kelley and Jeffrey Bosboom and Una{-}May O'Reilly and Saman P. Amarasinghe}, editor = {Jos{\'{e}} Nelson Amaral and Josep Torrellas}, title = {OpenTuner: an extensible framework for program autotuning}, booktitle = {International Conference on Parallel Architectures and Compilation, {PACT} '14, Edmonton, AB, Canada, August 24-27, 2014}, pages = {303--316}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2628071.2628092}, doi = {10.1145/2628071.2628092}, timestamp = {Thu, 24 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEpact/AnselKVRBOA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/BosboomRWA14, author = {Jeffrey Bosboom and Sumanaruban Rajadurai and Weng{-}Fai Wong and Saman P. Amarasinghe}, editor = {Andrew P. Black and Todd D. Millstein}, title = {StreamJIT: a commensal compiler for high-performance stream programming}, booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014}, pages = {177--195}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660193.2660236}, doi = {10.1145/2660193.2660236}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/BosboomRWA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.