


Остановите войну!
for scientists:
BibTeX records: Kazuhiro Inaba
@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} }

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.