N. Kobayashi

发表

Naoki Kobayashi, N. Kobayashi, 2008, FLOPS.
N. Kobayashi, Takeshi Tsukada, Yusuke Matsushita, 2020 .
Atsushi Igarashi, N. Kobayashi, 2002, TOPL.
B. Pierce, D. Turner, N. Kobayashi, 1996, POPL '96.
N. Kobayashi, 1999 .
Naoki Kobayashi, Yasuhiko Minamide, N. Kobayashi, 2001 .
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno, 2011, PLDI '11.
Naoki Kobayashi, Taro Sekiyama, Issei Sato, 2021, SAS.
Naoki Kobayashi, N. Kobayashi, 2013, JACM.
Futoshi Iwama, Naoki Kobayashi, N. Kobayashi, 2002, ASIA-PEPM '02.
Ugo Dal Lago, Charles Grellois, Naoki Kobayashi, 2018, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Naoki Kobayashi, Takeshi Tsukada, Kazuhiro Inaba, 2014, FoSSaCS.
Akinori Yonezawa, Naoki Kobayashi, Akihito Nagata, 2004, APLAS.
Hans Hüttel, N. Kobayashi, Hans Hüttel, 1994, Inf. Comput..
Naoki Kobayashi, N. Kobayashi, 2002, Inf. Comput..
Naoki Kobayashi, Takeshi Tsukada, Kazuyuki Asada, 2017, FoSSaCS.
Naoki Kobayashi, Kazuyuki Asada, N. Kobayashi, 2018, FSTTCS.
Naoki Kobayashi, Kazuyuki Asada, N. Kobayashi, 2017, ICALP.
Atsushi Igarashi, Naoki Kobayashi, Atsushi Igarashi, 2013, ESOP.
Naoki Kobayashi, Christopher H. Broadbent, N. Kobayashi, 2013, CSL.
Satoshi Matsuoka, Gul Agha, Naoki Kobayashi, 2014, Lecture Notes in Computer Science.
Akinori Yonezawa, Naoki Kobayashi, Motoki Nakade, 1995, SAS.
Naoki Kobayashi, N. Kobayashi, 2014, Concurrent Objects and Beyond.
Naoki Kobayashi, N. Kobayashi, 2002, 10th Anniversary Colloquium of UNU/IIST.
Takeshi Tsukada, Naoki Kobayashi, Hideto Ueno, 2021, PEPM@POPL.
N. Kobayashi, Takeshi Tsukada, Yusuke Matsushita, 2020, ESOP.
Naoki Kobayashi, Hiroshi Unno, N. Kobayashi, 2009, PPDP '09.
Naoki Kobayashi, Hiroshi Unno, N. Kobayashi, 2008, FLOPS.
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Naoki Kobayashi, Eijiro Sumii, N. Kobayashi, 2002 .
Naoki Kobayashi, Keita Shirane, N. Kobayashi, 2002, Asian Symposium on Programming Languages and Systems.
Atsushi Igarashi, Naoki Kobayashi, Atsushi Igarashi, 2000, Inf. Comput..
Naoki Kobayashi, Keita Shirane, N. Kobayashi, 2003 .
Shin Saito, Naoki Kobayashi, Eijiro Sumii, 2000, CONCUR.
Benjamin C. Pierce, Naoki Kobayashi, David N. Turner, 1999, TOPL.
Naoki Kobayashi, N. Kobayashi, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Naoki Kobayashi, N. Kobayashi, 2021, HCVS@ETAPS.
Naoki Kobayashi, Takeshi Tsukada, Youkichi Hosoi, 2019, APLAS.
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe, 2019, PEPM@POPL.
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe, 2017, ESOP.
Naoki Kobayashi, Ryosuke Sato, Takeshi Tsukada, 2016, ICFP.
N. Kobayashi, Takeshi Tsukada, Youkichi Hosoi, 2019 .
Akinori Yonezawa, Naoki Kobayashi, A. Yonezawa, 1994, Theory and Practice of Parallel Programming.
Naoki Kobayashi, Shingo Eguchi, Takeshi Tsukada, 2018, APLAS.
Naoki Kobayashi, N. Kobayashi, 2006, CONCUR.
Naoki Kobayashi, Reynald Affeldt, N. Kobayashi, 2008, LFM@IJCAR.
Davide Sangiorgi, Naoki Kobayashi, D. Sangiorgi, 2008, TOPL.
Naoki Kobayashi, Hitoshi Ohsaki, N. Kobayashi, 2008, RTA.
Cosimo Laneve, Naoki Kobayashi, C. Laneve, 2014, Inf. Comput..
Naoki Kobayashi, Reynald Affeldt, N. Kobayashi, 2002, ISSS.
Akinori Yonezawa, Naoki Kobayashi, Haruo Hosoya, 1996, Euro-Par, Vol. I.
Naoki Kobayashi, Ryosuke Sato, Takumi Shimoda, 2021, Sensors Applications Symposium.
Naoki Kobayashi, Ryosuke Sato, Adrien Champion, 2018, Journal of Automated Reasoning.
Atsushi Igarashi, Naoki Kobayashi, Atsushi Igarashi, 1997, SAS.
Naoki Kobayashi, N. Kobayashi, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Akinori Yonezawa, Naoki Kobayashi, Reynald Affeldt, 2005 .
Naoki Kobayashi, Ryosuke Sato, Tachio Terauchi, 2016, POPL.
Shigeki Hagihara, Etsuya Shibayama, Shin-ya Nishizaki, 2002, ISSS.
Akinori Yonezawa, Naoki Kobayashi, Toshihiro Shimizu, 1999, Theor. Comput. Sci..
Akinori Yonezawa, Naoki Kobayashi, A. Yonezawa, 1994, OOPSLA '94.
Akinori Yonezawa, Naoki Kobayashi, A. Yonezawa, 1993, ILPS.
Akinori Yonezawa, Naoki Kobayashi, A. Yonezawa, 1992, Formal Aspects of Computing.
Akinori Yonezawa, Naoki Kobayashi, A. Yonezawa, 1993 .