Concepedia

Kazuyuki Asada

KA

Statistics

Publications

5

Citations

67

H-Index

5

Active since

2010

Affiliations

The University of Tokyo(Current)

University of Oxford

Kazuyuki Asada is an author at The University of Tokyo specializing in computer science, theory of computation, and computing.

Publications per year

2010–2018

5

Publications

5

Species, Profunctors and Taylor Expansion Weighted by SMCC

Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong · 2018 · 16 citations

Computing, Computer Science, Mathematics +13

Structural recursion for querying ordered graphs

Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu et al. · 2013 · 15 citations · Full text

Computing, Computer Science, Algebra +14

Generalised species of rigid resource terms

Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong · 2017 · 14 citations

Natural Sciences, Computer Science, Mathematics +8

Arrows are strong monads

Kazuyuki Asada · 2010 · 12 citations

Computing, Computer Science, Mathematics +12

Verifying relational properties of functional programs by first-order refinement

Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi · Science of Computer Programming · 2016 · 10 citations

Computing, Computer Science, Computer Systems +15

1–5 of 5