Papers
Papers on the same line of research are colored by the same color.
See also my DBLP entry.
- Unpublished Draft
- [PDF]
K. Inaba,
It's a Small Inverse
- 2012
- (15)
Polynomial-Time Inverse Computation for Accumulative Functions
with Multiple Data Traversals
K. Matsuda, K. Inaba, and K. Nakano
[PDF]
In proceedings of PEPM 2012
(ACM)
- 2011
- (15)
GRoundTram: An Integrated Framework for Developing Well-Behaved
Bidirectional Model Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, and K. Nakano
[PDF]
Short paper.
In proceedings of ASE 2011
- (14)
Marker-Directed Optimization of UnCAL Graph Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Nakano, and Isao Sasano
[PDF]
[bib]
In proceedings of LOPSTR 2011
@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
Isao 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 = {},
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}
}
Google Maps API 徹底活用ガイド
Boost C++ Libraries プログラミング