BibTeX records: Kazuhiro Inaba

download as .bib file

@article{DBLP:journals/corr/abs-1904-09203,
  author    = {Joost Engelfriet and
               Kazuhiro Inaba and
               Sebastian Maneth},
  title     = {Linear Bounded Composition of Tree-Walking Tree Transducers: Linear
               Size Increase and Complexity},
  journal   = {CoRR},
  volume    = {abs/1904.09203},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.09203},
  archivePrefix = {arXiv},
  eprint    = {1904.09203},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1904-09203.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Inaba15,
  author    = {Kazuhiro Inaba},
  title     = {Quick Brown Fox in Formal Languages},
  journal   = {CoRR},
  volume    = {abs/1512.08168},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.08168},
  archivePrefix = {arXiv},
  eprint    = {1512.08168},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Inaba15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/0001IT14,
  author    = {Naoki Kobayashi and
               Kazuhiro Inaba and
               Takeshi Tsukada},
  editor    = {Anca Muscholl},
  title     = {Unsafe Order-2 Tree Languages Are Context-Sensitive},
  booktitle = {Foundations of Software Science and Computation Structures - 17th
               International Conference, {FOSSACS} 2014, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
               Grenoble, France, April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8412},
  pages     = {149--163},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54830-7\_10},
  doi       = {10.1007/978-3-642-54830-7\_10},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/0001IT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SomaKIK14,
  author    = {Tasuku Soma and
               Naonori Kakimura and
               Kazuhiro Inaba and
               Ken{-}ichi Kawarabayashi},
  title     = {Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm},
  booktitle = {Proceedings of the 31th International Conference on Machine Learning,
               {ICML} 2014, Beijing, China, 21-26 June 2014},
  series    = {{JMLR} Workshop and Conference Proceedings},
  volume    = {32},
  pages     = {351--359},
  publisher = {JMLR.org},
  year      = {2014},
  url       = {http://proceedings.mlr.press/v32/soma14.html},
  timestamp = {Wed, 29 May 2019 08:41:45 +0200},
  biburl    = {https://dblp.org/rec/conf/icml/SomaKIK14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MatsudaIN12,
  author    = {Kazutaka Matsuda and
               Kazuhiro Inaba and
               Keisuke Nakano},
  title     = {Polynomial-time inverse computation for accumulative functions with
               multiple data traversals},
  journal   = {High. Order Symb. Comput.},
  volume    = {25},
  number    = {1},
  pages     = {3--38},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10990-013-9097-8},
  doi       = {10.1007/s10990-013-9097-8},
  timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/lisp/MatsudaIN12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaIN12,
  author    = {Kazutaka Matsuda and
               Kazuhiro Inaba and
               Keisuke Nakano},
  editor    = {Oleg Kiselyov and
               Simon J. Thompson},
  title     = {Polynomial-time inverse computation for accumulative functions with
               multiple data traversals},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
               USA, January 23-24, 2012},
  pages     = {5--14},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2103746.2103752},
  doi       = {10.1145/2103746.2103752},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pepm/MatsudaIN12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/SasanoHHIKN11,
  author    = {Isao Sasano and
               Zhenjiang Hu and
               Soichiro Hidaka and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Keisuke Nakano},
  editor    = {Jordi Cabot and
               Eelco Visser},
  title     = {Toward Bidirectionalization of {ATL} with GRoundTram},
  booktitle = {Theory and Practice of Model Transformations - 4th International Conference,
               {ICMT} 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6707},
  pages     = {138--151},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21732-6\_10},
  doi       = {10.1007/978-3-642-21732-6\_10},
  timestamp = {Sun, 02 Jun 2019 21:26:03 +0200},
  biburl    = {https://dblp.org/rec/conf/icmt/SasanoHHIKN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HidakaHIKN11,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Keisuke Nakano},
  editor    = {Perry Alexander and
               Corina S. Pasareanu and
               John G. Hosking},
  title     = {GRoundTram: An integrated framework for developing well-behaved bidirectional
               model transformations},
  booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {480--483},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100104},
  doi       = {10.1109/ASE.2011.6100104},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/HidakaHIKN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HidakaHIKMNS11,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Kazutaka Matsuda and
               Keisuke Nakano and
               Isao Sasano},
  editor    = {Germ{\'{a}}n Vidal},
  title     = {Marker-Directed Optimization of UnCAL Graph Transformations},
  booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7225},
  pages     = {123--138},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-32211-2\_9},
  doi       = {10.1007/978-3-642-32211-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/lopstr/HidakaHIKMNS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/InabaHHKN11,
  author    = {Kazuhiro Inaba and
               Soichiro Hidaka and
               Zhenjiang Hu and
               Hiroyuki Kato and
               Keisuke Nakano},
  editor    = {Peter Schneider{-}Kamp and
               Michael Hanus},
  title     = {Graph-transformation verification using monadic second-order logic},
  booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 20-22, 2011,
               Odense, Denmark},
  pages     = {17--28},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2003476.2003482},
  doi       = {10.1145/2003476.2003482},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/InabaHHKN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/InabaH10,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {Compact representation for answer sets of n-ary regular queries},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {38-39},
  pages     = {3481--3492},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.tcs.2010.05.026},
  doi       = {10.1016/j.tcs.2010.05.026},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/InabaH10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HidakaHIKMN10,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Kazutaka Matsuda and
               Keisuke Nakano},
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Bidirectionalizing graph transformations},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {205--216},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1863543.1863573},
  doi       = {10.1145/1863543.1863573},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/HidakaHIKMN10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InabaH09,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  editor    = {Sebastian Maneth},
  title     = {Compact Representation for Answer Sets of n-ary Regular Queries},
  booktitle = {Implementation and Application of Automata, 14th International Conference,
               {CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5642},
  pages     = {94--104},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02979-0\_13},
  doi       = {10.1007/978-3-642-02979-0\_13},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wia/InabaH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-2315,
  author    = {Kazuhiro Inaba and
               Sebastian Maneth},
  title     = {The Complexity of Translation Membership for Macro Tree Transducers},
  journal   = {CoRR},
  volume    = {abs/0910.2315},
  year      = {2009},
  url       = {http://arxiv.org/abs/0910.2315},
  archivePrefix = {arXiv},
  eprint    = {0910.2315},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-0910-2315.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/InabaM08,
  author    = {Kazuhiro Inaba and
               Sebastian Maneth},
  editor    = {Ramesh Hariharan and
               Madhavan Mukund and
               V. Vinay},
  title     = {The Complexity of Tree Transducer Output Languages},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
               Bangalore, India},
  series    = {LIPIcs},
  volume    = {2},
  pages     = {244--255},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2008},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1757},
  doi       = {10.4230/LIPIcs.FSTTCS.2008.1757},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/fsttcs/InabaM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/InabaH08,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {Multi-Return Macro Tree Transducers},
  booktitle = {{PLAN-X} 2008, Programming Language Technologies for XML, An {ACM}
               {SIGPLAN} Workshop colocated with {POPL} 2008, San Francisco, California,
               USA, January 9, 2008},
  year      = {2008},
  url       = {http://gemo.futurs.inria.fr/events/PLANX2008/papers/p15.pdf},
  timestamp = {Tue, 16 Apr 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/planX/InabaH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InabaHM08,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya and
               Sebastian Maneth},
  editor    = {Oscar H. Ibarra and
               Bala Ravikumar},
  title     = {Multi-Return Macro Tree Transducers},
  booktitle = {Implementation and Applications of Automata, 13th International Conference,
               {CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5148},
  pages     = {102--111},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70844-5\_11},
  doi       = {10.1007/978-3-540-70844-5\_11},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/wia/InabaHM08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/InabaH07,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {{XML} Transformation Language Based on Monadic Second Order Logic},
  booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
               {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
               20, 2007},
  pages     = {49--60},
  year      = {2007},
  url       = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/planX/InabaH07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/InabaH07a,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {MTran: An {XML} Transformation Language Based on Monadic Second Order
               Logic},
  booktitle = {{PLAN-X} 2007, Programming Language Technologies for XML, An {ACM}
               {SIGPLAN} Workshop colocated with {POPL} 2007, Nice, France, January
               20, 2007},
  pages     = {91--92},
  year      = {2007},
  url       = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/planX/InabaH07a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics