Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hisao Tamaki
@inproceedings{DBLP:conf/iwpec/Tamaki23,
author = {Hisao Tamaki},
editor = {Neeldhara Misra and
Magnus Wahlstr{\"{o}}m},
title = {A Contraction-Recursive Algorithm for Treewidth},
booktitle = {18th International Symposium on Parameterized and Exact Computation,
{IPEC} 2023, September 6-8, 2023, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {285},
pages = {34:1--34:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.IPEC.2023.34},
doi = {10.4230/LIPICS.IPEC.2023.34},
timestamp = {Wed, 13 Dec 2023 14:08:59 +0100},
biburl = {https://dblp.org/rec/conf/iwpec/Tamaki23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-01318,
author = {Hisao Tamaki},
title = {A contraction-recursive algorithm for treewidth},
journal = {CoRR},
volume = {abs/2307.01318},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.01318},
doi = {10.48550/ARXIV.2307.01318},
eprinttype = {arXiv},
eprint = {2307.01318},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-01318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/Tamaki22,
author = {Hisao Tamaki},
editor = {Christian Schulz and
Bora U{\c{c}}ar},
title = {Heuristic Computation of Exact Treewidth},
booktitle = {20th International Symposium on Experimental Algorithms, {SEA} 2022,
July 25-27, 2022, Heidelberg, Germany},
series = {LIPIcs},
volume = {233},
pages = {17:1--17:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SEA.2022.17},
doi = {10.4230/LIPICS.SEA.2022.17},
timestamp = {Mon, 11 Jul 2022 14:59:46 +0200},
biburl = {https://dblp.org/rec/conf/wea/Tamaki22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07793,
author = {Hisao Tamaki},
title = {Heuristic computation of exact treewidth},
journal = {CoRR},
volume = {abs/2202.07793},
year = {2022},
url = {https://arxiv.org/abs/2202.07793},
eprinttype = {arXiv},
eprint = {2202.07793},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07551,
author = {Hisao Tamaki},
title = {A heuristic for listing almost-clique minimal separators of a graph},
journal = {CoRR},
volume = {abs/2108.07551},
year = {2021},
url = {https://arxiv.org/abs/2108.07551},
eprinttype = {arXiv},
eprint = {2108.07551},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Tamaki20,
author = {Hisao Tamaki},
editor = {Fedor V. Fomin and
Stefan Kratsch and
Erik Jan van Leeuwen},
title = {Experimental Analysis of Treewidth},
booktitle = {Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12160},
pages = {214--221},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-42071-0\_15},
doi = {10.1007/978-3-030-42071-0\_15},
timestamp = {Tue, 21 Apr 2020 18:45:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Tamaki20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/Tamaki19,
author = {Hisao Tamaki},
title = {Positive-instance driven dynamic programming for treewidth},
journal = {J. Comb. Optim.},
volume = {37},
number = {4},
pages = {1283--1311},
year = {2019},
url = {https://doi.org/10.1007/s10878-018-0353-z},
doi = {10.1007/S10878-018-0353-Z},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/Tamaki19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sea2/Tamaki19,
author = {Hisao Tamaki},
editor = {Ilias S. Kotsireas and
Panos M. Pardalos and
Konstantinos E. Parsopoulos and
Dimitris Souravlias and
Arsenis Tsokas},
title = {Computing Treewidth via Exact and Heuristic Lists of Minimal Separators},
booktitle = {Analysis of Experimental Algorithms - Special Event, SEA{\({^2}\)}
2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11544},
pages = {219--236},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34029-2\_15},
doi = {10.1007/978-3-030-34029-2\_15},
timestamp = {Tue, 12 May 2020 10:56:04 +0200},
biburl = {https://dblp.org/rec/conf/sea2/Tamaki19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-07647,
author = {Hisao Tamaki},
title = {A heuristic use of dynamic programming to upperbound treewidth},
journal = {CoRR},
volume = {abs/1909.07647},
year = {2019},
url = {http://arxiv.org/abs/1909.07647},
eprinttype = {arXiv},
eprint = {1909.07647},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/JansenST19,
author = {Bart M. P. Jansen and
Christian Schulz and
Hisao Tamaki},
title = {Parameterized Graph Algorithms {\&} Data Reduction: Theory Meets
Practice {(NII} Shonan Meeting 144)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/144/},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/shonan-reports/JansenST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/Tamaki17,
author = {Hisao Tamaki},
editor = {Kirk Pruhs and
Christian Sohler},
title = {Positive-Instance Driven Dynamic Programming for Treewidth},
booktitle = {25th Annual European Symposium on Algorithms, {ESA} 2017, September
4-6, 2017, Vienna, Austria},
series = {LIPIcs},
volume = {87},
pages = {68:1--68:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ESA.2017.68},
doi = {10.4230/LIPICS.ESA.2017.68},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/esa/Tamaki17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/KobayashiOT17,
author = {Yasuaki Kobayashi and
Hiromu Ohtsuka and
Hisao Tamaki},
editor = {Daniel Lokshtanov and
Naomi Nishimura},
title = {An Improved Fixed-Parameter Algorithm for One-Page Crossing Minimization},
booktitle = {12th International Symposium on Parameterized and Exact Computation,
{IPEC} 2017, September 6-8, 2017, Vienna, Austria},
series = {LIPIcs},
volume = {89},
pages = {25:1--25:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.IPEC.2017.25},
doi = {10.4230/LIPICS.IPEC.2017.25},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/KobayashiOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tamaki17,
author = {Hisao Tamaki},
title = {Positive-instance driven dynamic programming for treewidth},
journal = {CoRR},
volume = {abs/1704.05286},
year = {2017},
url = {http://arxiv.org/abs/1704.05286},
eprinttype = {arXiv},
eprint = {1704.05286},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tamaki17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KitsunaiKKTT16,
author = {Kenta Kitsunai and
Yasuaki Kobayashi and
Keita Komuro and
Hisao Tamaki and
Toshihiro Tano},
title = {Computing Directed Pathwidth in O(1.89\({}^{\mbox{n}}\)) Time},
journal = {Algorithmica},
volume = {75},
number = {1},
pages = {138--157},
year = {2016},
url = {https://doi.org/10.1007/s00453-015-0015-9},
doi = {10.1007/S00453-015-0015-9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KitsunaiKKTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KobayashiT16,
author = {Yasuaki Kobayashi and
Hisao Tamaki},
title = {A faster fixed parameter algorithm for two-layer crossing minimization},
journal = {Inf. Process. Lett.},
volume = {116},
number = {9},
pages = {547--549},
year = {2016},
url = {https://doi.org/10.1016/j.ipl.2016.04.012},
doi = {10.1016/J.IPL.2016.04.012},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KobayashiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/KobayashiT16,
author = {Yasuaki Kobayashi and
Hisao Tamaki},
editor = {Jiong Guo and
Danny Hermelin},
title = {Treedepth Parameterized by Vertex Cover Number},
booktitle = {11th International Symposium on Parameterized and Exact Computation,
{IPEC} 2016, August 24-26, 2016, Aarhus, Denmark},
series = {LIPIcs},
volume = {63},
pages = {18:1--18:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.IPEC.2016.18},
doi = {10.4230/LIPICS.IPEC.2016.18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/KobayashiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tamaki16,
author = {Hisao Tamaki},
title = {Finalizing tentative matches from truncated preference lists},
journal = {CoRR},
volume = {abs/1605.04381},
year = {2016},
url = {http://arxiv.org/abs/1605.04381},
eprinttype = {arXiv},
eprint = {1605.04381},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tamaki16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KobayashiT15,
author = {Yasuaki Kobayashi and
Hisao Tamaki},
title = {A Fast and Simple Subexponential Fixed Parameter Algorithm for One-Sided
Crossing Minimization},
journal = {Algorithmica},
volume = {72},
number = {3},
pages = {778--790},
year = {2015},
url = {https://doi.org/10.1007/s00453-014-9872-x},
doi = {10.1007/S00453-014-9872-X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KobayashiT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/KitsunaiKT15,
author = {Kenta Kitsunai and
Yasuaki Kobayashi and
Hisao Tamaki},
editor = {Nikhil Bansal and
Irene Finocchi},
title = {On the Pathwidth of Almost Semicomplete Digraphs},
booktitle = {Algorithms - {ESA} 2015 - 23rd Annual European Symposium, Patras,
Greece, September 14-16, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9294},
pages = {816--827},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48350-3\_68},
doi = {10.1007/978-3-662-48350-3\_68},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/esa/KitsunaiKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KitsunaiKT15,
author = {Kenta Kitsunai and
Yasuaki Kobayashi and
Hisao Tamaki},
title = {On the pathwidth of almost semicomplete digraphs},
journal = {CoRR},
volume = {abs/1507.01934},
year = {2015},
url = {http://arxiv.org/abs/1507.01934},
eprinttype = {arXiv},
eprint = {1507.01934},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KitsunaiKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KobayashiT15,
author = {Yasuaki Kobayashi and
Hisao Tamaki},
title = {A faster fixed parameter algorithm for two-layer crossing minimization},
journal = {CoRR},
volume = {abs/1512.05876},
year = {2015},
url = {http://arxiv.org/abs/1512.05876},
eprinttype = {arXiv},
eprint = {1512.05876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KobayashiT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KobayashiMNT14,
author = {Yasuaki Kobayashi and
Hirokazu Maruta and
Yusuke Nakae and
Hisao Tamaki},
title = {A linear edge kernel for two-layer crossing minimization},
journal = {Theor. Comput. Sci.},
volume = {554},
pages = {74--81},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.06.009},
doi = {10.1016/J.TCS.2014.06.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KobayashiMNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/KobayashiKT14,
author = {Yasuaki Kobayashi and
Keita Komuro and
Hisao Tamaki},
editor = {Joachim Gudmundsson and
Jyrki Katajainen},
title = {Search Space Reduction through Commitments in Pathwidth Computation:
An Experimental Study},
booktitle = {Experimental Algorithms - 13th International Symposium, {SEA} 2014,
Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8504},
pages = {388--399},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07959-2\_33},
doi = {10.1007/978-3-319-07959-2\_33},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wea/KobayashiKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ItoMOTU13,
author = {Takehiro Ito and
Yuichiro Miyamoto and
Hirotaka Ono and
Hisao Tamaki and
Ryuhei Uehara},
title = {Route-Enabling Graph Orientation Problems},
journal = {Algorithmica},
volume = {65},
number = {2},
pages = {317--338},
year = {2013},
url = {https://doi.org/10.1007/s00453-011-9589-z},
doi = {10.1007/S00453-011-9589-Z},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithmica/ItoMOTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/KobayashiMNT13,
author = {Yasuaki Kobayashi and
Hirokazu Maruta and
Yusuke Nakae and
Hisao Tamaki},
editor = {Ding{-}Zhu Du and
Guochuan Zhang},
title = {A Linear Edge Kernel for Two-Layer Crossing Minimization},
booktitle = {Computing and Combinatorics, 19th International Conference, {COCOON}
2013, Hangzhou, China, June 21-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7936},
pages = {458--468},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38768-5\_41},
doi = {10.1007/978-3-642-38768-5\_41},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/KobayashiMNT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/GuT12,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
title = {Improved Bounds on the Planar Branchwidth with Respect to the Largest
Grid Minor Size},
journal = {Algorithmica},
volume = {64},
number = {3},
pages = {416--453},
year = {2012},
url = {https://doi.org/10.1007/s00453-012-9627-5},
doi = {10.1007/S00453-012-9627-5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/GuT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/FujiiT12,
author = {Soichiro Fujii and
Hisao Tamaki},
editor = {Markus Helfert and
Maria Jo{\~{a}}o Martins and
Jos{\'{e}} Cordeiro},
title = {Tracesheets - Spreadsheets of Program Executions as a Common Ground
between Learners and Instructors},
booktitle = {{CSEDU} 2012 - Proceedings of the 4th International Conference on
Computer Supported Education, Volume 1, Porto, Portugal, 16-18 April,
2012},
pages = {158--163},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 29 May 2012 08:23:28 +0200},
biburl = {https://dblp.org/rec/conf/csedu/FujiiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/KobayashiT12,
author = {Yasuaki Kobayashi and
Hisao Tamaki},
editor = {Leah Epstein and
Paolo Ferragina},
title = {A Fast and Simple Subexponential Fixed Parameter Algorithm for One-Sided
Crossing Minimization},
booktitle = {Algorithms - {ESA} 2012 - 20th Annual European Symposium, Ljubljana,
Slovenia, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7501},
pages = {683--694},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33090-2\_59},
doi = {10.1007/978-3-642-33090-2\_59},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/KobayashiT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/KitsunaiKKTT12,
author = {Kenta Kitsunai and
Yasuaki Kobayashi and
Keita Komuro and
Hisao Tamaki and
Toshihiro Tano},
editor = {Dimitrios M. Thilikos and
Gerhard J. Woeginger},
title = {Computing Directed Pathwidth in {O(1.89} n {)} Time},
booktitle = {Parameterized and Exact Computation - 7th International Symposium,
{IPEC} 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7535},
pages = {182--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33293-7\_18},
doi = {10.1007/978-3-642-33293-7\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpec/KitsunaiKKTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuT11,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
title = {Constant-factor approximations of branch-decomposition and largest
grid minor of planar graphs in O(n\({}^{\mbox{1+{\unicode{1013}}}}\))
time},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {32},
pages = {4100--4109},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.07.017},
doi = {10.1016/J.TCS.2010.07.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GuT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/Tamaki11,
author = {Hisao Tamaki},
editor = {Petr Kolman and
Jan Kratochv{\'{\i}}l},
title = {A Polynomial Time Algorithm for Bounded Directed Pathwidth},
booktitle = {Graph-Theoretic Concepts in Computer Science - 37th International
Workshop, {WG} 2011, Tepl{\'{a}} Monastery, Czech Republic, June
21-24, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6986},
pages = {331--342},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25870-1\_30},
doi = {10.1007/978-3-642-25870-1\_30},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/Tamaki11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/FujiiOT10,
author = {Souichirou Fujii and
Kazunori Ohkubo and
Hisao Tamaki},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Boris Shishkov and
Alexander Verbraeck and
Markus Helfert},
title = {{MAX/C} on Sakai - {A} Web-based C-Programming Course},
booktitle = {{CSEDU} 2010 - Proceedings of the Second International Conference
on Computer Supported Education, Valencia, Spain, April 7-10, 2010
- Volume 1},
pages = {196--201},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Tue, 04 Jan 2011 15:45:29 +0100},
biburl = {https://dblp.org/rec/conf/csedu/FujiiOT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KobayashiMT10,
author = {Yasuaki Kobayashi and
Yuichiro Miyamoto and
Hisao Tamaki},
editor = {Otfried Cheong and
Kyung{-}Yong Chwa and
Kunsoo Park},
title = {\emph{k}-cyclic Orientations of Graphs},
booktitle = {Algorithms and Computation - 21st International Symposium, {ISAAC}
2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6507},
pages = {73--84},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17514-5\_7},
doi = {10.1007/978-3-642-17514-5\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KobayashiMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GuT10,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
editor = {Otfried Cheong and
Kyung{-}Yong Chwa and
Kunsoo Park},
title = {Improved Bounds on the Planar Branchwidth with Respect to the Largest
Grid Minor Size},
booktitle = {Algorithms and Computation - 21st International Symposium, {ISAAC}
2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6507},
pages = {85--96},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17514-5\_8},
doi = {10.1007/978-3-642-17514-5\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/GuT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ItoMOTU09,
author = {Takehiro Ito and
Yuichiro Miyamoto and
Hirotaka Ono and
Hisao Tamaki and
Ryuhei Uehara},
editor = {Yingfei Dong and
Ding{-}Zhu Du and
Oscar H. Ibarra},
title = {Route-Enabling Graph Orientation Problems},
booktitle = {Algorithms and Computation, 20th International Symposium, {ISAAC}
2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5878},
pages = {403--412},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10631-6\_42},
doi = {10.1007/978-3-642-10631-6\_42},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaac/ItoMOTU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GuT09,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
editor = {Yingfei Dong and
Ding{-}Zhu Du and
Oscar H. Ibarra},
title = {Constant-Factor Approximations of Branch-Decomposition and Largest
Grid Minor of Planar Graphs in \emph{O}(\emph{n}\({}^{\mbox{1 + {\(\epsilon\)}}}\))
Time},
booktitle = {Algorithms and Computation, 20th International Symposium, {ISAAC}
2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5878},
pages = {984--993},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10631-6\_99},
doi = {10.1007/978-3-642-10631-6\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/GuT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/GuT08,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
title = {Optimal branch-decomposition of planar graphs in \emph{O}(\emph{n}\({}^{\mbox{3}}\))
Time},
journal = {{ACM} Trans. Algorithms},
volume = {4},
number = {3},
pages = {30:1--30:13},
year = {2008},
url = {https://doi.org/10.1145/1367064.1367070},
doi = {10.1145/1367064.1367070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/talg/GuT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alenex/BianGMTY08,
author = {Zhengbing Bian and
Qian{-}Ping Gu and
Marjan Marzban and
Hisao Tamaki and
Yumi Yoshitake},
editor = {J. Ian Munro and
Dorothea Wagner},
title = {Empirical Study on Branchwidth and Branch Decomposition of Planar
Graphs},
booktitle = {Proceedings of the Tenth Workshop on Algorithm Engineering and Experiments,
{ALENEX} 2008, San Francisco, California, USA, January 19, 2008},
pages = {152--165},
publisher = {{SIAM}},
year = {2008},
url = {https://doi.org/10.1137/1.9781611972887.15},
doi = {10.1137/1.9781611972887.15},
timestamp = {Fri, 19 May 2017 01:26:03 +0200},
biburl = {https://dblp.org/rec/conf/alenex/BianGMTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvd/AsanoKTT07,
author = {Tetsuo Asano and
Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
title = {Voronoi Diagram with Respect to Criteria on Vision Information},
booktitle = {Proceedings of the 4th International Symposium on Voronoi Diagrams
in Science and Engineering, {ISVD} 2007, Pontypridd, Wales, UK, July
9-12, 2007},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISVD.2007.44},
doi = {10.1109/ISVD.2007.44},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isvd/AsanoKTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BastMST06,
author = {Hannah Bast and
Kurt Mehlhorn and
Guido Sch{\"{a}}fer and
Hisao Tamaki},
title = {Matching Algorithms Are Fast in Sparse Random Graphs},
journal = {Theory Comput. Syst.},
volume = {39},
number = {1},
pages = {3--14},
year = {2006},
url = {https://doi.org/10.1007/s00224-005-1254-y},
doi = {10.1007/S00224-005-1254-Y},
timestamp = {Mon, 14 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BastMST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvd/AsanoTKT06,
author = {Tetsuo Asano and
Hisao Tamaki and
Naoki Katoh and
Takeshi Tokuyama},
title = {Angular Voronoi Diagram with Applications},
booktitle = {3rd International Symposium on Voronoi Diagrams in Science and Engineering,
{ISVD} 2006, Banff, Alberta, Canada, July 2-5, 2006},
pages = {18--24},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISVD.2006.9},
doi = {10.1109/ISVD.2006.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isvd/AsanoTKT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/DietzfelbingerT05,
author = {Martin Dietzfelbinger and
Hisao Tamaki},
title = {On the probability of rendezvous in graphs},
journal = {Random Struct. Algorithms},
volume = {26},
number = {3},
pages = {266--288},
year = {2005},
url = {https://doi.org/10.1002/rsa.20032},
doi = {10.1002/RSA.20032},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsa/DietzfelbingerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GuT05,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Optimal Branch-Decomposition of Planar Graphs in \emph{O}(\emph{n}\({}^{\mbox{3}}\))
Time},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {373--384},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_31},
doi = {10.1007/11523468\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GuT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AsanoKTT04,
author = {Tetsuo Asano and
Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
title = {The structure and number of global roundings of a graph},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {3},
pages = {425--437},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.02.044},
doi = {10.1016/J.TCS.2004.02.044},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AsanoKTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BastMST04,
author = {Hannah Bast and
Kurt Mehlhorn and
Guido Sch{\"{a}}fer and
Hisao Tamaki},
editor = {Volker Diekert and
Michel Habib},
title = {Matching Algorithms Are Fast in Sparse Random Graphs},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2996},
pages = {81--92},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24749-4\_8},
doi = {10.1007/978-3-540-24749-4\_8},
timestamp = {Mon, 14 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BastMST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/AsanoKTT04,
author = {Tetsuo Asano and
Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Torben Hagerup and
Jyrki Katajainen},
title = {On Geometric Structure of Global Roundings for Graphs and Range Spaces},
booktitle = {Algorithm Theory - {SWAT} 2004, 9th Scandinavian Workshop on Algorithm
Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3111},
pages = {455--467},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27810-8\_39},
doi = {10.1007/978-3-540-27810-8\_39},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swat/AsanoKTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/AsanoBCGST03,
author = {Tetsuo Asano and
Mark de Berg and
Otfried Cheong and
Leonidas J. Guibas and
Jack Snoeyink and
Hisao Tamaki},
title = {Spanning Trees Crossing Few Barriers},
journal = {Discret. Comput. Geom.},
volume = {30},
number = {4},
pages = {591--606},
year = {2003},
url = {https://doi.org/10.1007/s00454-003-2853-5},
doi = {10.1007/S00454-003-2853-5},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/AsanoBCGST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/AsanoKTT03,
author = {Tetsuo Asano and
Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Tandy J. Warnow and
Binhai Zhu},
title = {The Structure and Number of Global Roundings of a Graph},
booktitle = {Computing and Combinatorics, 9th Annual International Conference,
{COCOON} 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2697},
pages = {130--138},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45071-8\_15},
doi = {10.1007/3-540-45071-8\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/AsanoKTT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/Tamaki03,
author = {Hisao Tamaki},
editor = {Giuseppe Di Battista and
Uri Zwick},
title = {A Linear Time Heuristic for the Branch-Decomposition of Planar Graphs},
booktitle = {Algorithms - {ESA} 2003, 11th Annual European Symposium, Budapest,
Hungary, September 16-19, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2832},
pages = {765--775},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39658-1\_68},
doi = {10.1007/978-3-540-39658-1\_68},
timestamp = {Sun, 02 Jun 2019 21:14:37 +0200},
biburl = {https://dblp.org/rec/conf/esa/Tamaki03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcga/KatohTT02,
author = {Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
title = {Parametric Polymatroid Optimization and Its Geometric Applications},
journal = {Int. J. Comput. Geom. Appl.},
volume = {12},
number = {5},
pages = {429--444},
year = {2002},
url = {https://doi.org/10.1142/S0218195902000967},
doi = {10.1142/S0218195902000967},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcga/KatohTT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IwamaMTT01,
author = {Kazuo Iwama and
Eiji Miyano and
Satoshi Tajima and
Hisao Tamaki},
title = {Efficient randomized routing algorithms on the two-dimensional mesh
of buses},
journal = {Theor. Comput. Sci.},
volume = {261},
number = {2},
pages = {227--239},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00141-9},
doi = {10.1016/S0304-3975(00)00141-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/IwamaMTT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/GuT00,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
title = {Multicolor routing in the undirected hypercube},
journal = {Discret. Appl. Math.},
volume = {100},
number = {3},
pages = {169--181},
year = {2000},
url = {https://doi.org/10.1016/S0166-218X(99)00189-4},
doi = {10.1016/S0166-218X(99)00189-4},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/GuT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/AsahiroITT00,
author = {Yuichi Asahiro and
Kazuo Iwama and
Hisao Tamaki and
Takeshi Tokuyama},
title = {Greedily Finding a Dense Subgraph},
journal = {J. Algorithms},
volume = {34},
number = {2},
pages = {203--221},
year = {2000},
url = {https://doi.org/10.1006/jagm.1999.1062},
doi = {10.1006/JAGM.1999.1062},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/AsahiroITT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PapadimitriouRTV00,
author = {Christos H. Papadimitriou and
Prabhakar Raghavan and
Hisao Tamaki and
Santosh S. Vempala},
title = {Latent Semantic Indexing: {A} Probabilistic Analysis},
journal = {J. Comput. Syst. Sci.},
volume = {61},
number = {2},
pages = {217--235},
year = {2000},
url = {https://doi.org/10.1006/jcss.2000.1711},
doi = {10.1006/JCSS.2000.1711},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PapadimitriouRTV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/AsanoBCGST99,
author = {Tetsuo Asano and
Mark de Berg and
Otfried Cheong and
Leonidas J. Guibas and
Jack Snoeyink and
Hisao Tamaki},
editor = {Victor Milenkovic},
title = {Spanning Trees Crossing Few Barriers},
booktitle = {Proceedings of the Fifteenth Annual Symposium on Computational Geometry,
Miami Beach, Florida, USA, June 13-16, 1999},
pages = {41--48},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/304893.304907},
doi = {10.1145/304893.304907},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/AsanoBCGST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KatohTT99,
author = {Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Robert Endre Tarjan and
Tandy J. Warnow},
title = {Parametric Polymatroid Optimization and Its Geometric Applications},
booktitle = {Proceedings of the Tenth Annual {ACM-SIAM} Symposium on Discrete Algorithms,
17-19 January 1999, Baltimore, Maryland, {USA}},
pages = {517--526},
publisher = {{ACM/SIAM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=314500.314873},
timestamp = {Thu, 05 Jul 2018 07:29:57 +0200},
biburl = {https://dblp.org/rec/conf/soda/KatohTT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/TamakiT98,
author = {Hisao Tamaki and
Takeshi Tokuyama},
title = {How to Cut Pseudoparabolas into Segments},
journal = {Discret. Comput. Geom.},
volume = {19},
number = {2},
pages = {265--290},
year = {1998},
url = {https://doi.org/10.1007/PL00009345},
doi = {10.1007/PL00009345},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcg/TamakiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/AkutsuTT98,
author = {Tatsuya Akutsu and
Hisao Tamaki and
Takeshi Tokuyama},
title = {Distribution of Distances and Triangles in a Point Set and Algorithms
for Computing the Largest Common Point Sets},
journal = {Discret. Comput. Geom.},
volume = {20},
number = {3},
pages = {307--331},
year = {1998},
url = {https://doi.org/10.1007/PL00009388},
doi = {10.1007/PL00009388},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcg/AkutsuTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BshoutyGMST98,
author = {Nader H. Bshouty and
Sally A. Goldman and
H. David Mathias and
Subhash Suri and
Hisao Tamaki},
title = {Noise-Tolerant Distribution-Free Learning of General Geometric Concepts},
journal = {J. {ACM}},
volume = {45},
number = {5},
pages = {863--890},
year = {1998},
url = {https://doi.org/10.1145/290179.290184},
doi = {10.1145/290179.290184},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BshoutyGMST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Tamaki98,
author = {Hisao Tamaki},
title = {Efficient Self-Embedding of Butterfly Networks with Random Faults},
journal = {{SIAM} J. Comput.},
volume = {27},
number = {3},
pages = {614--636},
year = {1998},
url = {https://doi.org/10.1137/S0097539794270364},
doi = {10.1137/S0097539794270364},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Tamaki98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/IwamaMTT98,
author = {Kazuo Iwama and
Eiji Miyano and
Satoshi Tajima and
Hisao Tamaki},
editor = {Wen{-}Lian Hsu and
Ming{-}Yang Kao},
title = {Efficient Randomized Routing Algorithms on the Two-Dimensional Mesh
of Buses},
booktitle = {Computing and Combinatorics, 4th Annual International Conference,
{COCOON} '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1449},
pages = {229--240},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68535-9\_27},
doi = {10.1007/3-540-68535-9\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/IwamaMTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/AsanoKTT98,
author = {Tetsuo Asano and
Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Kyung{-}Yong Chwa and
Oscar H. Ibarra},
title = {Convertibility among Grid Filling Curves},
booktitle = {Algorithms and Computation, 9th International Symposium, {ISAAC} '98,
Taejon, Korea, December 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1533},
pages = {307--316},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49381-6\_33},
doi = {10.1007/3-540-49381-6\_33},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/AsanoKTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/PapadimitriouRTV98,
author = {Christos H. Papadimitriou and
Prabhakar Raghavan and
Hisao Tamaki and
Santosh S. Vempala},
editor = {Alberto O. Mendelzon and
Jan Paredaens},
title = {Latent Semantic Indexing: {A} Probabilistic Analysis},
booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 1-3, 1998, Seattle, Washington,
{USA}},
pages = {159--168},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/275487.275505},
doi = {10.1145/275487.275505},
timestamp = {Thu, 24 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/PapadimitriouRTV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/TamakiT98,
author = {Hisao Tamaki and
Takeshi Tokuyama},
editor = {Howard J. Karloff},
title = {Algorithms for the Maxium Subarray Problem Based on Matrix Multiplication},
booktitle = {Proceedings of the Ninth Annual {ACM-SIAM} Symposium on Discrete Algorithms,
25-27 January 1998, San Francisco, California, {USA}},
pages = {446--452},
publisher = {{ACM/SIAM}},
year = {1998},
url = {http://dl.acm.org/citation.cfm?id=314613.314823},
timestamp = {Thu, 05 Jul 2018 07:29:49 +0200},
biburl = {https://dblp.org/rec/conf/soda/TamakiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/GuT97,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
title = {Routing a Permutation in the Hypercube by Two Sets of Edge Disjoint
Paths},
journal = {J. Parallel Distributed Comput.},
volume = {44},
number = {2},
pages = {147--152},
year = {1997},
url = {https://doi.org/10.1006/jpdc.1997.1358},
doi = {10.1006/JPDC.1997.1358},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/GuT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/AkutsuTT97,
author = {Tatsuya Akutsu and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Jean{-}Daniel Boissonnat},
title = {Distribution of Distances and Triangles in a Point Set and Algorithms
for Computing the Largest Common Point Sets},
booktitle = {Proceedings of the Thirteenth Annual Symposium on Computational Geometry,
Nice, France, June 4-6, 1997},
pages = {314--323},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/262839.262989},
doi = {10.1145/262839.262989},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/AkutsuTT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GuT97,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
editor = {Hon Wai Leong and
Hiroshi Imai and
Sanjay Jain},
title = {Multi-Color Routing in the Undirected Hypercube},
booktitle = {Algorithms and Computation, 8th International Symposium, {ISAAC} '97,
Singapore, December 17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1350},
pages = {72--81},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63890-3\_9},
doi = {10.1007/3-540-63890-3\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/GuT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/TamakiT97,
author = {Hisao Tamaki and
Takeshi Tokuyama},
editor = {Hon Wai Leong and
Hiroshi Imai and
Sanjay Jain},
title = {A Characterization of Planar Graphs by Pseudo-Line Arrangements},
booktitle = {Algorithms and Computation, 8th International Symposium, {ISAAC} '97,
Singapore, December 17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1350},
pages = {133--142},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63890-3\_16},
doi = {10.1007/3-540-63890-3\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/TamakiT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AsanoKTT97,
author = {Tetsuo Asano and
Naoki Katoh and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Frank Thomson Leighton and
Peter W. Shor},
title = {Covering Points in the Plane by \emph{k}-Tours: Towards a Polynomial
Time Approximation Scheme for General \emph{k}},
booktitle = {Proceedings of the Twenty-Ninth Annual {ACM} Symposium on the Theory
of Computing, El Paso, Texas, USA, May 4-6, 1997},
pages = {275--283},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/258533.258602},
doi = {10.1145/258533.258602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AsanoKTT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Tamaki96,
author = {Hisao Tamaki},
title = {Construction of the Mesh and the Torus Tolerating a Large Number of
Faults},
journal = {J. Comput. Syst. Sci.},
volume = {53},
number = {3},
pages = {371--379},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0076},
doi = {10.1006/JCSS.1996.0076},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Tamaki96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GuT96,
author = {Qian{-}Ping Gu and
Hisao Tamaki},
title = {Routing a Permutation in the Hypercube by Two Sets of Edge-Disjoint
Paths},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {561--567},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508112},
doi = {10.1109/IPPS.1996.508112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GuT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BshoutyGMST96,
author = {Nader H. Bshouty and
Sally A. Goldman and
H. David Mathias and
Subhash Suri and
Hisao Tamaki},
editor = {Gary L. Miller},
title = {Noise-Tolerant Distribution-Free Learning of General Geometric Concepts},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory
of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996},
pages = {151--160},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/237814.237854},
doi = {10.1145/237814.237854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BshoutyGMST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/AsahiroITT96,
author = {Yuichi Asahiro and
Kazuo Iwama and
Hisao Tamaki and
Takeshi Tokuyama},
editor = {Rolf G. Karlsson and
Andrzej Lingas},
title = {Greedily Finding a Dense Subgraph},
booktitle = {Algorithm Theory - {SWAT} '96, 5th Scandinavian Workshop on Algorithm
Theory, Reykjav{\'{\i}}k, Iceland, July 3-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1097},
pages = {136--148},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61422-2\_127},
doi = {10.1007/3-540-61422-2\_127},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swat/AsahiroITT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/TamakiT95,
author = {Hisao Tamaki and
Takeshi Tokuyama},
editor = {Jack Snoeyink},
title = {How to Cut Pseudo-Parabolas into Segments},
booktitle = {Proceedings of the Eleventh Annual Symposium on Computational Geometry,
Vancouver, B.C., Canada, June 5-12, 1995},
pages = {230--237},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/220279.220304},
doi = {10.1145/220279.220304},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/TamakiT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AgarwalRT95,
author = {Pankaj K. Agarwal and
Prabhakar Raghavan and
Hisao Tamaki},
editor = {Frank Thomson Leighton and
Allan Borodin},
title = {Motion planning for a steering-constrained robot through moderate
obstacles},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Theory
of Computing, 29 May-1 June 1995, Las Vegas, Nevada, {USA}},
pages = {343--352},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225058.225158},
doi = {10.1145/225058.225158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AgarwalRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/SpragueT94,
author = {Alan P. Sprague and
Hisao Tamaki},
title = {Routings for Involutions of a Hypercube},
journal = {Discret. Appl. Math.},
volume = {48},
number = {2},
pages = {175--186},
year = {1994},
url = {https://doi.org/10.1016/0166-218X(92)00126-7},
doi = {10.1016/0166-218X(92)00126-7},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/SpragueT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/PapadimitriouRST94,
author = {Christos H. Papadimitriou and
Prabhakar Raghavan and
Madhu Sudan and
Hisao Tamaki},
title = {Motion Planning on a Graph (Extended Abstract)},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {511--520},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365740},
doi = {10.1109/SFCS.1994.365740},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/PapadimitriouRST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/IwanoRT94,
author = {Kazuo Iwano and
Prabhakar Raghavan and
Hisao Tamaki},
editor = {Ding{-}Zhu Du and
Xiang{-}Sun Zhang},
title = {The Traveling Cameraman Problem, with Applications to Automatic Optical
Inspection},
booktitle = {Algorithms and Computation, 5th International Symposium, {ISAAC} '94,
Beijing, P. R. China, August 25-27, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {834},
pages = {29--37},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58325-4\_163},
doi = {10.1007/3-540-58325-4\_163},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/IwanoRT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Tamaki94,
author = {Hisao Tamaki},
editor = {Lawrence Snyder and
Charles E. Leiserson},
title = {Construction of the Mesh and the Torus Tolerating a Large Number of
Faults},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '94, Cape May, New Jersey, USA, June 27-29,
1994},
pages = {268--277},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/181014.181407},
doi = {10.1145/181014.181407},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/Tamaki94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KarlinNT94,
author = {Anna R. Karlin and
Greg Nelson and
Hisao Tamaki},
editor = {Frank Thomson Leighton and
Michael T. Goodrich},
title = {On the fault tolerance of the butterfly},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Theory of
Computing, 23-25 May 1994, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
pages = {125--133},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/195058.195117},
doi = {10.1145/195058.195117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KarlinNT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Tamaki93,
author = {Hisao Tamaki},
title = {Structural robustness of the butterfly and related networks against
random faults},
school = {University of Toronto, Canada},
year = {1993},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991105843907106196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Tamaki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Bar-NoyRST92,
author = {Amotz Bar{-}Noy and
Prabhakar Raghavan and
Baruch Schieber and
Hisao Tamaki},
editor = {Jim Anderson and
Sam Toueg},
title = {Fast Deflection Routing for Packets and Worms (Extended Summary)},
booktitle = {Proceedings of the Twelth Annual {ACM} Symposium on Principles of
Distributed Computing, Ithaca, New York, USA, August 15-18, 1993},
pages = {75--86},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/164051.164062},
doi = {10.1145/164051.164062},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Bar-NoyRST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Tamaki92,
author = {Hisao Tamaki},
title = {Efficient Self-Embedding of Butterfly Networks with Random Faults},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {533--541},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267798},
doi = {10.1109/SFCS.1992.267798},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Tamaki92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Tamaki92,
author = {Hisao Tamaki},
editor = {Lawrence Snyder},
title = {Robust Bounded-Degree Networks with Small Diameters},
booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '92, San Diego, CA, USA, June 29 - July
1, 1992},
pages = {247--256},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/140901.141866},
doi = {10.1145/140901.141866},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/Tamaki92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/SatoT89,
author = {Taisuke Sato and
Hisao Tamaki},
title = {First Order Compiler: {A} Deterministic Logic Program Synthesis Algorithm},
journal = {J. Symb. Comput.},
volume = {8},
number = {6},
pages = {605--627},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80064-1},
doi = {10.1016/S0747-7171(89)80064-1},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/SatoT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/SatoT89,
author = {Taisuke Sato and
Hisao Tamaki},
title = {Existential Continuation},
journal = {New Gener. Comput.},
volume = {6},
number = {4},
pages = {421--438},
year = {1989},
url = {https://doi.org/10.1007/BF03037449},
doi = {10.1007/BF03037449},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/SatoT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tamaki87,
author = {Hisao Tamaki},
editor = {Jean{-}Louis Lassez},
title = {Stream-Based Compilation of Ground {I/O} {PROLOG} into Committed-Choice
Languages},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {376--393},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Tamaki87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TamakiS86,
author = {Hisao Tamaki and
Taisuke Sato},
editor = {Ehud Shapiro},
title = {{OLD} Resolution with Tabulation},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {84--98},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_66},
doi = {10.1007/3-540-16492-8\_66},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TamakiS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/Tamaki85,
author = {Hisao Tamaki},
title = {A Distributed Unification Scheme for Systolic Logic Programs},
booktitle = {International Conference on Parallel Processing, ICPP'85, University
Park, PA, USA, August 1985},
pages = {552--559},
publisher = {{IEEE} Computer Society Press},
year = {1985},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/Tamaki85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SatoT84,
author = {Taisuke Sato and
Hisao Tamaki},
title = {Enumeration of Success Patterns in Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {34},
pages = {227--240},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90119-1},
doi = {10.1016/0304-3975(84)90119-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SatoT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/SatoT84,
author = {Taisuke Sato and
Hisao Tamaki},
title = {Transformational Logic Program Synthesis},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {195--201},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/SatoT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TamakiS84,
author = {Hisao Tamaki and
Taisuke Sato},
editor = {Sten{-}{\AA}ke T{\"{a}}rnlund},
title = {Unfold/Fold Transformation of Logic Programs},
booktitle = {Proceedings of the Second International Logic Programming Conference,
Uppsala University, Uppsala, Sweden, July 2-6, 1984},
pages = {127--138},
publisher = {Uppsala University},
year = {1984},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TamakiS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Tamaki84,
author = {Hisao Tamaki},
title = {Semantics of a Logic Programming Language with a Reducibility Predicate},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {259--264},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Tamaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/TamakiS83,
author = {Hisao Tamaki and
Taisuke Sato},
title = {Program Transformation Through Meta-shifting},
journal = {New Gener. Comput.},
volume = {1},
number = {1},
pages = {93--98},
year = {1983},
url = {https://doi.org/10.1007/BF03037026},
doi = {10.1007/BF03037026},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/TamakiS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SatoT83,
author = {Taisuke Sato and
Hisao Tamaki},
editor = {Josep D{\'{\i}}az},
title = {Enumeration of Success Patterns in Logic Programs},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {640--652},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036944},
doi = {10.1007/BFB0036944},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SatoT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-30 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
