Travelled to:1 × Germany
1 × Japan
1 × Spain
1 × Switzerland
2 × Denmark
5 × USA
Collaborated with:Z.Hu H.Kato S.Hidaka K.Inaba ∅ K.Matsuda S.Nishimura D.Kinoshita K.Asada I.Sasano M.Onizuka M.Hamana M.Takeichi
Talks about:transform (9) graph (6) bidirection (3) model (3) base (3) function (2) bidirect (2) develop (2) toward (2) round (2)
Person: Keisuke Nakano
DBLP: Nakano:Keisuke
Contributed to:
2013
2013
2013
2012
2011
2011
201120112010
2009
20082007
20012017Wrote 15 papers:
- VLDB-2014-OnizukaKHNH13 #optimisation #pipes and filters #query
- Optimization for iterative queries on MapReduce (MO, HK, SH, KN, ZH), pp. 241–252.
- ICFP-2013-HidakaAHKN #graph #order #query #recursion
- Structural recursion for querying ordered graphs (SH, KA, ZH, HK, KN), pp. 305–318.
- PPDP-2013-AsadaHKHN #branch #calculus #finite #graph #graph transformation #monad
- A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
- 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.
- SAC-2009-HidakaHKN #approach #composition #development #model transformation #towards
- Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.
- BX-2008-Nakano
- Languages Short Talk 4 (KN), p. 4.
- BX-2008-Nakano1 #model transformation
- Typechecking Model Transformation (KN), p. 50.
- ICFP-2007-MatsudaHNHT #automation #bidirectional
- Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.
- LDTA-2001-NakanoN #documentation #specification
- Deriving Event-Based Document Transformers from Tree-Based Specifications (KN, SN), pp. 181–205.
- BX-2017-KinoshitaN #bidirectional #programming
- Bidirectional Certified Programming (DK, KN), pp. 31–38.