Kazuhiro Inaba

	2012
13		Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano: Polynomial-time inverse computation for accumulative functions with multiple data traversals. PEPM 2012: 5-14
	2011
12		Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE 2011: 480-483
11		Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram. ICMT 2011: 138-151
10		Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Graph-transformation verification using monadic second-order logic. PPDP 2011: 17-28
	2010
9		Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano: Bidirectionalizing graph transformations. ICFP 2010: 205-216
8		Kazuhiro Inaba, Haruo Hosoya: Compact representation for answer sets of n-ary regular queries. Theor. Comput. Sci. 411(38-39): 3481-3492 (2010)
	2009
7		Kazuhiro Inaba, Haruo Hosoya: Compact Representation for Answer Sets of n-ary Regular Queries. CIAA 2009: 94-104
6		Kazuhiro Inaba, Sebastian Maneth: The Complexity of Translation Membership for Macro Tree Transducers CoRR abs/0910.2315: (2009)
	2008
5		Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth: Multi-Return Macro Tree Transducers. CIAA 2008: 102-111
4		Kazuhiro Inaba, Sebastian Maneth: The Complexity of Tree Transducer Output Languages. FSTTCS 2008: 244-255
3		Kazuhiro Inaba, Haruo Hosoya: Multi-Return Macro Tree Transducers. PLAN-X 2008
	2007
2		Kazuhiro Inaba, Haruo Hosoya: XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 49-60
1		Kazuhiro Inaba, Haruo Hosoya: MTran: An XML Transformation Language Based on Monadic Second Order Logic. PLAN-X 2007: 91-92

Coauthor Index

1	Soichiro Hidaka	[9] [10] [11] [12]
2	Haruo Hosoya	[1] [2] [3] [5] [7] [8]
3	Zhenjiang Hu	[9] [10] [11] [12]
4	Hiroyuki Kato	[9] [10] [11] [12]
5	Sebastian Maneth	[4] [5] [6]
6	Kazutaka Matsuda	[9] [13]
7	Keisuke Nakano	[9] [10] [11] [12] [13]
8	Isao Sasano	[11]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page