BibTeX records: Kazuhiro Inaba

download as .bib file

@article{DBLP:journals/acta/EngelfrietIM21,
  author    = {Joost Engelfriet and
               Kazuhiro Inaba and
               Sebastian Maneth},
  title     = {Linear-bounded composition of tree-walking tree transducers: linear
               size increase and complexity},
  journal   = {Acta Informatica},
  volume    = {58},
  number    = {1-2},
  pages     = {95--152},
  year      = {2021},
  url       = {https://doi.org/10.1007/s00236-019-00360-8},
  doi       = {10.1007/s00236-019-00360-8},
  timestamp = {Wed, 19 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acta/EngelfrietIM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@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},
  eprinttype = {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},
  eprinttype = {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 = {Tue, 29 Dec 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, 29 Dec 2020 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@TOOLS 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 = {Tue, 29 Dec 2020 00:00:00 +0100},
  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 = {Tue, 29 Dec 2020 00:00:00 +0100},
  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, 29 Dec 2020 00:00:00 +0100},
  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, 29 Dec 2020 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 = {Wed, 17 Feb 2021 00:00:00 +0100},
  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, 22 Jun 2021 17:10:56 +0200},
  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},
  eprinttype = {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

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.