`Travelled to:`

1 × India

1 × Spain

1 × USA

`Collaborated with:`

K.Matsuda S.Hidaka Z.Hu H.Kato K.Nakano R.Sato N.Kobayashi

`Talks about:`

graph (6) transform (3) function (2) order (2) parameter (1) structur (1) reformul (1) properti (1) calculus (1) program (1)

## Person: Kazuyuki Asada

### DBLP: Asada:Kazuyuki

### Contributed to:

### Wrote 4 papers:

- PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification
- Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.
- 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-2017-MatsudaA #functional #graph transformation #reduction
- A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.