"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",,,2014,Sept.
"Atsushi Igarashi,Naoki Kobayashi","A Generic Type System for the Pi-Calculus",,"Theoretical Computer Science",,,,,2003,
"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,
"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,
"Naoki Kobayashi","Concurrent Linear Logic Programming",,,,,,,1996,