BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × China
1 × France
1 × Switzerland
2 × Denmark
4 × USA
Collaborated with:
K.Nakano S.Hidaka Z.Hu H.Kato H.Hosoya K.Matsuda N.Kobayashi T.Tsukada S.Maneth I.Sasano T.Soma N.Kakimura K.Kawarabayashi
Talks about:
transform (4) graph (3) bidirection (2) round (2) order (2) optim (2) tree (2) tram (2) represent (1) framework (1)

Person: Kazuhiro Inaba

DBLP DBLP: Inaba:Kazuhiro

Contributed to:

FoSSaCS 20142014
ICML c1 20142014
PEPM 20122012
ASE 20112011
ICMT 20112011
LOPSTR 20112011
PPDP 20112011
ICFP 20102010
CIAA 20092009
CIAA 20082008

Wrote 10 papers:

FoSSaCS-2014-KobayashiIT #higher-order
Unsafe Order-2 Tree Languages Are Context-Sensitive (NK, KI, TT), pp. 149–163.
ICML-c1-2014-SomaKIK #algorithm #performance
Optimal Budget Allocation: Theoretical Guarantee and Efficient Algorithm (TS, NK, KI, KiK), pp. 351–359.
PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal
Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
ASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
ICMT-2011-SasanoHHIKN #atl #bidirectional #towards
Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.
LOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
PPDP-2011-InabaHHKN #higher-order #logic #monad #using #verification
Graph-transformation verification using monadic second-order logic (KI, SH, ZH, HK, KN), pp. 17–28.
ICFP-2010-HidakaHIKMN #bidirectional #graph transformation
Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.
CIAA-2009-InabaH #query #representation #set
Compact Representation for Answer Sets of n-ary Regular Queries (KI, HH), pp. 94–104.
CIAA-2008-InabaHM #metaprogramming #multi #transducer
Multi-Return Macro Tree Transducers (KI, HH, SM), pp. 102–111.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.