Kazuyuki Asada
发表
Yuta Takahashi,
Keisuke Nakano,
Kazuyuki Asada,
2019,
CIAA.
Koji Koyama,
Koji Dozaki,
Kazuyuki Asada,
2009
.
Naoki Kobayashi,
Takeshi Tsukada,
Kazuyuki Asada,
2019,
Log. Methods Comput. Sci..
Naoki Kobayashi,
Kazuyuki Asada,
N. Kobayashi,
2018,
FSTTCS.
Kazutaka Matsuda,
Kazuyuki Asada,
2017,
PEPM.
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.
Kazuyuki Asada,
2008,
APLAS.
Naoki Kobayashi,
Kazuyuki Asada,
Sadaaki Kawata,
2015,
APLAS.
Kazutaka Matsuda,
Kazuyuki Asada,
2015
.
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,
Kazuyuki Asada,
2016,
ICALP.
C.-H. Luke Ong,
Takeshi Tsukada,
Kazuyuki Asada,
2018,
LICS.
Naoki Kobayashi,
Takeshi Tsukada,
Kazuyuki Asada,
2017,
FoSSaCS.
Naoki Kobayashi,
Ryosuke Sato,
Kazuyuki Asada,
2017,
Sci. Comput. Program..
Naoki Kobayashi,
Kazuyuki Asada,
2020,
FSCD.
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
.