BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Japan
1 × Korea
1 × Spain
2 × Denmark
2 × Italy
2 × Switzerland
5 × USA
Collaborated with:
H.Kato Z.Hu K.Nakano ∅ K.Inaba K.Matsuda J.R.Wilson-Kanamori K.Asada M.Yoshikawa F.Jouault M.Tisi I.Sasano M.Billes Q.M.Tran M.Onizuka Y.Yu Y.Lin L.Montrieux
Talks about:
transform (11) graph (9) bidirect (6) model (5) develop (3) queri (3) bidirection (2) framework (2) structur (2) approach (2)

Person: Soichiro Hidaka

DBLP DBLP: Hidaka:Soichiro

Facilitated 1 volumes:

ICMT 2012PrCo

Contributed to:

BX 20152015
VLDB 20142013
BX 20132013
ICFP 20132013
PPDP 20132013
ICSE 20122012
ASE 20112011
BX 20112011
ICMT 20112011
LOPSTR 20112011
PPDP 20112011
ICFP 20102010
SAC 20092009
BX 20082008
SAC 20072007
MoDELS 20172017

Wrote 17 papers:

BX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
VLDB-2014-OnizukaKHNH13 #optimisation #pipes and filters #query
Optimization for iterative queries on MapReduce (MO, HK, SH, KN, ZH), pp. 241–252.
BX-2013-Wilson-KanamoriH #bidirectional #collaboration #development #framework
A Bidirectional Collaboration Framework for Bio-Model Development (JRWK, SH), pp. 111–128.
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.
ICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability
Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
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.
BX-2011-Hidaka #bidirectional #graph transformation #recursion
Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
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-Hidaka #modelling
Models Short Talk 7 (SH), p. 21.
BX-2008-Hidaka1 #bidirectional #graph transformation #using
Bidirectional Graph Transformation using UnCAL (SH), p. 43.
SAC-2007-HidakaKY #cost analysis #xquery
A relative cost model for XQuery (SH, HK, MY), pp. 1332–1333.
MoDELS-2017-HidakaJT #model transformation #on the #transformation language
On Additivity in Transformation Languages (SH, FJ, MT), pp. 23–33.
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.