Kazuyuki Asada

发表

Yuta Takahashi, Keisuke Nakano, Kazuyuki Asada, 2019, CIAA.

Naoki Kobayashi, Takeshi Tsukada, Kazuyuki Asada, 2019, Log. Methods Comput. Sci..

Naoki Kobayashi, Kazuyuki Asada, N. Kobayashi, 2018, FSTTCS.

Soichiro Hidaka, Hiroyuki Kato, Kazuyuki Asada, 2011 .

Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, 2013, ICFP.

Naoki Kobayashi, Yoshiki Nakamura, Takeshi Tsukada, 2020, FSCD.

Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, 2013, PPDP.

Naoki Kobayashi, Kazuyuki Asada, Sadaaki Kawata, 2015, APLAS.

C.-H. Luke Ong, Takeshi Tsukada, Kazuyuki Asada, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Naoki Kobayashi, Ryosuke Sato, Kazuyuki Asada, 2015, J. Inf. Process..

Kazuyuki Asada, Kazuyuki Asada, 2010, MSFP '10.

Ichiro Hasuo, Kazuyuki Asada, I. Hasuo, 2010, CMCS@ETAPS.

Naoki Kobayashi, Takeshi Tsukada, Kazuyuki Asada, 2017, FoSSaCS.

Naoki Kobayashi, Ryosuke Sato, Kazuyuki Asada, 2017, Sci. Comput. Program..

Naoki Kobayashi, Kazuyuki Asada, N. Kobayashi, 2017, ICALP.

Kazutaka Matsuda, Makoto Hamana, Kazuyuki Asada, 2015, Mathematical Structures in Computer Science.

Naoki Kobayashi, Ryosuke Sato, Kazuyuki Asada, 2015, PEPM.

Keisuke Nakano, Kazuyuki Asada, Yuta Takahashi, 2021, Theor. Comput. Sci..

Ichiro Hasuo, Kazuyuki Asada, Clovis Eberhart, 2021, Electronic Proceedings in Theoretical Computer Science.

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, 2012 .