論文

• Atsushi Igarashi, Naoki Kobayashi. A Generic Type System for the Pi-Calculus, Theoretical Computer Science, 2003.
• Futoshi Iwama, Naoki Kobayashi. A New Type System for JVM Lock Primitives, Proceedings of ACM SIGPLAN ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM'02), pp. 152-168, 2002.
• Naoki Kobayashi. Type-Based Useless-Variable Elimination, Higher-Order Symbolic Computation, Vol. 14, No. 2, 2001.
• A. Igarashi, N. Kobayashi. A Generic Type System for the Pi-Calculus, Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 128-141, 2001.
• N. Kobayashi, T. Shimizu, A. Yonezawa. Distributed Concurrent Linear Logic Programming, Theoretical Computer Science, Vol. 227, No. 2, pp. 185-220, 2000.
• N. Kobayashi, B. C. Pierce, D. N. Turner. Linearity and the Pi-Calculus, ACM Transactions on Programming Languages and Systems, Vol. 21, No. 5, pp. 914-947, 1999.
• Naoki Kobayashi. A Partially Deadlock-Free Typed Process Calculus, ACM Transactions on Programming Languages and Systems, Vol. 20, No. 2, pp. 436-482, 1998.

著書

• Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Etsuya Shibayama, Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa. Concurrent Objects and Beyond, Lecture notes in computer science, LNCS, Springer-Verlag, Vol. 8665, Sept. 2014.

国際会議発表 (査読有り)

• ETSUYA SHIBAYAMA, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe. AnZenMail: A Secure and Certified E-mail System, Lecture Notes in Computer Science (Software Security: Theories and Systems), Vol. 2609, pp. 201-216, 2003.

学位論文

• Concurrent Linear Logic Programming,  本文,  Doctor of Science,  The University of Tokyo,  1996/--/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]