Papers
Papers on the same line of research are colored by the same color.
See also my DBLP entry.
- 2010
- (11)
Bidirectionalizing Graph Transformations
S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano
[PDF:draft]
[bib]
[impl]
To appear in proceedings of ICFP 2010
@INPROCEEDINGS{HHIKMN10,
author = {Kazuhiro Inaba and Soichiro Hidaka and Zhenjiang Hu and Hiroyuki Kato
and Kazutaka Matsuda and Keisuke Nakano},
title = {Bidirectionalizing Graph Transformations},
booktitle = {International Conference on Functional Programming (ICFP)},
pages = {},
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. ???,
2010 (in press)
@ARTICLE{InabaHosoya10,
author = {Kazuhiro Inaba and Haruo Hosoya},
title = {Compact Representation for Answer Sets of $n$-ary Regular Queries},
journal = {Theortical Computer Science},
volume = {},
pages = {},
year = {2010}
}
- (Not Refereed)
Sound and Complete Validation of Graph Transformations
K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano
[PDF]
[bib]
[impl]
Technical Report GRACE-TR-2010-04
@TECHREPORT{IHHKN10,
author = {Kazuhiro Inaba and Soichiro Hidaka and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano},
title = {Sound and Complete Validation of Graph Transformations},
institution = {GRACE Center, National Institute of Informatics},
year = {2010},
number = {GRACE-TR-2010-04},
}
- 2009
- (Long version = 10)
Compact Representation for Answer Sets of n-ary Regular Queries
K. Inaba and H. Hosoya
[PDF]
[bib]
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]
PhD. Thesis, 2009
@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]
In proceedings of
PLAN-X 2009.
Available also as
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]
In proceedings of
FSTTCS 2008
[-> long version (unpublished draft)]
@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]
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]
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]
In proceedings of
PLAN-X 2007
[-> long version (unpublished draft)]
@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]
[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 プログラミング