Papers
Papers on the same line of research are colored by the same color.
See also
DBLP
/
GoogleScholar
/
MS-AcademicSearch
/
CSAuthors.
- Unpublished Drafts and Preprints
- [arXiv]
Quick Brown Fox in Formal Languages
K. Inaba
- [PDF]
It's a Small Inverse
K. Inaba
- 2021
- (21)
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity
J. Engelfriet,
K. Inaba, and
S. Maneth
[arxiv]
[bib]
In Acta Informatica, Vol.58, 2021
@ARTICLE{EIM21,
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},
pages = {95--152},
year = {2021}
}
- 2014
- (20)
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm
T. Soma,
N. Kakimura, K. Inaba, and
K. Kawarabayashi
[PDF]
[bib]
In proceedings of ICML 2014
(JMLR vol. 32)
-> long version [PDF]
@INPROCEEDINGS{SKIK14,
author = {Tasuku Soma and Naonori Kakimura and Kazuhiro Inaba and Ken-ichi Kawarabayashi},
title = {Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm},
booktitle = {International Conference on Machine Learning (ICML)},
pages = {351--359},
year = {2014}
}
- (19)
Unsafe Order-2 Tree Languages are Context-Sensitive
N. Kobayashi, K. Inaba, and
T. Tsukada
[PDF]
[bib]
In proceedings of FoSSaCS 2014
(LNCS 8412)
:: BestPaperAward
-> long version [PDF]
@INPROCEEDINGS{KIT14,
author = {Naoki Kobayashi and Kazuhiro Inaba and Takeshi Tsukada},
title = {Unsafe Order-2 Tree Languages are Context-Sensitive},
booktitle = {Foundations of Software Science and Computation Structures (FoSSaCS)},
pages = {149--163},
year = {2014}
}
- 2013
- (18)
Polynomial-Time Inverse Computation for Accumulative Functions
with Multiple Data Traversals
K. Matsuda, K. Inaba, and K. Nakano
[PDF]
[bib]
In Higher-Order and Symbolic Computation, 2013
@ARTICLE{MIN13,
author = {Kazutaka Matsuda and Kazuhiro Inaba and Keisuke Nakano},
title = {Polynomial-Time Inverse Computation for Accumulative Functions
with Multiple Data Traversals},
journal = {Higher-Order and Symbolic Computation},
volume = {},
pages = {},
year = {2013}
}
- (17)
GRoundTram: An Integrated Framework for Developing Well-Behaved
Bidirectional Model Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, and K. Nakano
[PDF]
[bib]
In Progress in Informatics, No.10,
2013
@ARTICLE{HHIKN13,
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},
journal = {Progress in Informatics},
volume = {10},
pages = {131--148},
year = {2013}
}
- 2012
- (16: Long version = 18)
Polynomial-Time Inverse Computation for Accumulative Functions
with Multiple Data Traversals
K. Matsuda, K. Inaba, and K. Nakano
[
PDF]
[bib]
In proceedings of PEPM 2012
(ACM)
:: BestPaperAward
@INPROCEEDINGS{MIN12,
author = {Kazutaka Matsuda and Kazuhiro Inaba and Keisuke Nakano},
title = {Polynomial-Time Inverse Computation for Accumulative Functions
with Multiple Data Traversals},
booktitle = {Partial Evaluation and Semantics-Based Program Manipulation (PEPM)},
pages = {5--14},
year = {2012}
}
- 2011
- (15: Long version = 17)
GRoundTram: An Integrated Framework for Developing Well-Behaved
Bidirectional Model Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, and K. Nakano
[PDF]
[bib]
Short paper.
In proceedings of ASE 2011
(IEEE)
@INPROCEEDINGS{HHIKN11,
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 = {Automated Software Engineering (ASE)},
pages = {480--483},
year = {2011}
}
- (14)
Marker-Directed Optimization of UnCAL Graph Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Nakano, and I. Sasano
[PDF]
[bib]
In proceedings of LOPSTR 2011
(LNCS 7225)
@INPROCEEDINGS{HHIKNS11,
author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato
and Keisuke Nakano and Isao Sasano},
title = {Marker-Directed Optimization of {UnCAL} Graph Transformations},
booktitle = {International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)},
pages = {},
year = {2011}
}
- (13)
Graph-Transformation Verification using Monadic Second-Order Logic
K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano
[ PDF]
[bib]
[slide.pptx]
[slide.pdf]
[impl]
In proceedings of PPDP 2011
(ACM)
@INPROCEEDINGS{IHHKN11,
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 = {International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)},
pages = {17--28},
year = {2011}
}
- (12)
Toward Bidirectionalization of ATL with GRoundTram
I. Sasano, Z. Hu, S. Hidaka, K. Inaba, H. Kato, and K. Nakano
[PDF]
[bib]
In proceedings of ICMT 2011
(LNCS 6707)
@INPROCEEDINGS{SHHIKN11,
author = {Isao Sasano and Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato
and Keisuke Nakano},
title = {Toward bidirectionalization of {ATL} with {GRoundTram}},
booktitle = {International Conference on Model Transformation (ICMT)},
pages = {138--151},
year = {2011}
}
- 2010
- (11)
Bidirectionalizing Graph Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano
[ PDF]
[bib]
[impl]
In proceedings of ICFP 2010
(ACM)
@INPROCEEDINGS{HHIKMN10,
author = {Soichiro Hidaka and Zhenjiang Hu and Kazuhiro Inaba and Hiroyuki Kato
and Kazutaka Matsuda and Keisuke Nakano},
title = {Bidirectionalizing Graph Transformations},
booktitle = {International Conference on Functional Programming (ICFP)},
pages = {205--216},
year = {2010}
}
- (10)
Compact Representation for Answer Sets of n-ary Regular Queries
K. Inaba and H. Hosoya
[PDF]
[bib]
In
Theoretical Computer Science, vol. 411,
2010
@ARTICLE{InabaHosoya10,
author = {Kazuhiro Inaba and Haruo Hosoya},
title = {Compact Representation for Answer Sets of $n$-ary Regular Queries},
journal = {Theortical Computer Science},
volume = {411},
pages = {3481--3492},
year = {2010}
}
- 2009
- (9: Long version = 10)
Compact Representation for Answer Sets of n-ary Regular Queries
K. Inaba and H. Hosoya
[PDF]
[bib]
[slide.pptx]
[slide.pdf]
In proceedings of
CIAA 2009
(LNCS 5642),
@INPROCEEDINGS{InabaHosoya09,
author = {Kazuhiro Inaba and Haruo Hosoya},
title = {Compact Representation for Answer Sets of $n$-ary Regular Queries},
booktitle = {Conference on Implementation and Application of Automata (CIAA)},
pages = {94--104},
year = {2009}
}
- (8)
Complexity and Expressiveness of Models of XML Translations
K. Inaba
[PDF]
[bib]
[slide.ppt (Japanese)]
PhD. Thesis, 2009 : compilation and improvements of the papers (4)-(7)
@PHDTHESIS{Inaba09,
author = {Kazuhiro Inaba},
title = {Complexity and Expressiveness of Models of {XML} Translations},
school = {The University of Tokyo},
year = {2009}
}
- (7)
The Complexity of Translation Membership for Macro Tree Transducers
K. Inaba and S. Maneth
[PDF]
[bib]
[slide.ppt]
[slide.pdf]
In proceedings of
PLAN-X 2009.
Available also at
arXiv:0910.2315v1.
@INPROCEEDINGS{InabaManeth09,
author = {Kazuhiro Inaba and Sebastian Maneth},
title = {The Complexity of Translation Membership for Macro Tree Transducers},
booktitle = {Programming Language Technologies for XML (PLAN-X)},
year = {2009}
}
- 2008
- (6)
The Complexity of Tree Transducer Output Languages
K. Inaba and S. Maneth
[PDF]
[bib]
[slide.ppt]
[slide.pdf]
In proceedings of
FSTTCS 2008
(DROPS-17570),
-> long version [PDF]
[slide.pptx]
[slide.pdf]
@INPROCEEDINGS{InabaManeth08,
author = {Kazuhiro Inaba and Sebastian Maneth},
title = {The Complexity of Tree Transducer Output Languages},
booktitle = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
pages = {244--255},
year = {2008}
}
- (5)
Multi-Return Macro Tree Transducers
K. Inaba, H. Hosoya, and S. Maneth
[PDF]
[bib]
[slide.ppt]
[slide.pdf]
In proceedings of
CIAA 2008
(LNCS 5148),
@INPROCEEDINGS{InabaHosoyaManeth08,
author = {Kazuhiro Inaba and Haruo Hosoya and Sebastian Maneth},
title = {Multi-Return Macro Tree Transducers},
booktitle = {Conference on Implementation and Application of Automata (CIAA)},
pages = {102--111},
year = {2008}
}
- (4)
Multi-Return Macro Tree Transducers
K. Inaba and H. Hosoya
[PDF]
[bib]
[slide.ppt]
[slide.pdf]
In proceedings of
PLAN-X 2008
@INPROCEEDINGS{InabaHosoya08,
author = {Kazuhiro Inaba and Haruo Hosoya},
title = {Multi-Return Macro Tree Transducers},
booktitle = {Programming Language Technologies for XML (PLAN-X)},
year = {2008}
}
- 2007
- (3)
XML Transformation Language Based on Monadic Second Order Logic
K. Inaba and H. Hosoya
[PDF]
[bib]
[impl]
[slide.ppt]
[slied.pdf]
In proceedings of
PLAN-X 2007
-> long version PDF
@INPROCEEDINGS{InabaHosoya07,
author = {Kazuhiro Inaba and Haruo Hosoya},
title = {{XML} Transformation Language Based on Monadic Second Order Logic},
booktitle = {Programming Language Technologies for XML (PLAN-X)},
pages = {49--60},
year = {2007}
}
- 2006
- (2)
XML Transformation Language Based on Monadic Second Order Logic
K. Inaba
[PDF]
[bib]
[slide.ppt (Japanese)]
[impl]
Master Thesis, 2006
@MASTERSTHESIS{Inaba06,
author = {Kazuhiro Inaba},
title = {{XML} Transformation Language Based on Monadic Second Order Logic},
school = {The University of Tokyo},
year = {2006}
}
- 2004
- (1)
Purely Applicative XML Cursor
K. Inaba
[PDF]
[bib]
[impl]
Senior Thesis, 2004
@MISC{Inaba04,
author = {Kazuhiro Inaba},
title = {Purely Applicative {XML} Cursor},
howpublished = {Senior Thesis, The University of Tokyo},
year = {2004}
}
理論計算機科学事典
(5.4 MSO 論理とMSO 変換)
純粋関数型データ構造
(Japanese Translation of "Purely Functional Data Structures" by C. Okasaki)
Google Maps API 徹底活用ガイド
Boost C++ Libraries プログラミング