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}
}
@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}
}
@article{DBLP:journals/corr/Inaba15,
  author    = {Kazuhiro Inaba},
  title     = {Quick Brown Fox in Formal Languages},
  journal   = {CoRR},
  volume    = {abs/1512.08168},
  year      = {2015}
}
@inproceedings{DBLP:conf/fossacs/0001IT14,
  author    = {Naoki Kobayashi and
               Kazuhiro Inaba and
               Takeshi Tsukada},
  title     = {Unsafe Order-2 Tree Languages Are Context-Sensitive},
  booktitle = {FoSSaCS},
  series    = {Lecture Notes in Computer Science},
  volume    = {8412},
  pages     = {149--163},
  publisher = {Springer},
  year      = {2014}
}
@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 = {{ICML}},
  series    = {{JMLR} Workshop and Conference Proceedings},
  volume    = {32},
  pages     = {351--359},
  publisher = {JMLR.org},
  year      = {2014}
}
@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}
}
@inproceedings{DBLP:conf/pepm/MatsudaIN12,
  author    = {Kazutaka Matsuda and
               Kazuhiro Inaba and
               Keisuke Nakano},
  title     = {Polynomial-time inverse computation for accumulative functions with
               multiple data traversals},
  booktitle = {{PEPM}},
  pages     = {5--14},
  publisher = {{ACM}},
  year      = {2012}
}
@inproceedings{DBLP:conf/icmt/SasanoHHIKN11,
  author    = {Isao Sasano and
               Zhenjiang Hu and
               Soichiro Hidaka and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Keisuke Nakano},
  title     = {Toward Bidirectionalization of {ATL} with GRoundTram},
  booktitle = {ICMT@TOOLS},
  series    = {Lecture Notes in Computer Science},
  volume    = {6707},
  pages     = {138--151},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/kbse/HidakaHIKN11,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Keisuke Nakano},
  title     = {GRoundTram: An integrated framework for developing well-behaved bidirectional
               model transformations},
  booktitle = {{ASE}},
  pages     = {480--483},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
@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},
  title     = {Marker-Directed Optimization of UnCAL Graph Transformations},
  booktitle = {{LOPSTR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7225},
  pages     = {123--138},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/ppdp/InabaHHKN11,
  author    = {Kazuhiro Inaba and
               Soichiro Hidaka and
               Zhenjiang Hu and
               Hiroyuki Kato and
               Keisuke Nakano},
  title     = {Graph-transformation verification using monadic second-order logic},
  booktitle = {{PPDP}},
  pages     = {17--28},
  publisher = {{ACM}},
  year      = {2011}
}
@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}
}
@inproceedings{DBLP:conf/icfp/HidakaHIKMN10,
  author    = {Soichiro Hidaka and
               Zhenjiang Hu and
               Kazuhiro Inaba and
               Hiroyuki Kato and
               Kazutaka Matsuda and
               Keisuke Nakano},
  title     = {Bidirectionalizing graph transformations},
  booktitle = {{ICFP}},
  pages     = {205--216},
  publisher = {{ACM}},
  year      = {2010}
}
@inproceedings{DBLP:conf/wia/InabaH09,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {Compact Representation for Answer Sets of n-ary Regular Queries},
  booktitle = {{CIAA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5642},
  pages     = {94--104},
  publisher = {Springer},
  year      = {2009}
}
@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}
}
@inproceedings{DBLP:conf/fsttcs/InabaM08,
  author    = {Kazuhiro Inaba and
               Sebastian Maneth},
  title     = {The Complexity of Tree Transducer Output Languages},
  booktitle = {{FSTTCS}},
  series    = {LIPIcs},
  volume    = {2},
  pages     = {244--255},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2008}
}
@inproceedings{DBLP:conf/planX/InabaH08,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {Multi-Return Macro Tree Transducers},
  booktitle = {{PLAN-X}},
  year      = {2008}
}
@inproceedings{DBLP:conf/wia/InabaHM08,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya and
               Sebastian Maneth},
  title     = {Multi-Return Macro Tree Transducers},
  booktitle = {{CIAA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5148},
  pages     = {102--111},
  publisher = {Springer},
  year      = {2008}
}
@inproceedings{DBLP:conf/planX/InabaH07,
  author    = {Kazuhiro Inaba and
               Haruo Hosoya},
  title     = {{XML} Transformation Language Based on Monadic Second Order Logic},
  booktitle = {{PLAN-X}},
  pages     = {49--60},
  year      = {2007}
}
@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}},
  pages     = {91--92},
  year      = {2007}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics