Follow
Naoki Kobayashi
Naoki Kobayashi
Verified email at is.s.u-tokyo.ac.jp - Homepage
Title
Cited by
Cited by
Year
Linearity and the pi-calculus
N Kobayashi, BC Pierce, DN Turner
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999
5541999
A new type system for deadlock-free processes
N Kobayashi
CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006
2172006
A partially deadlock-free typed process calculus
N Kobayashi
ACM transactions on programming languages and systems (toplas) 20 (2), 436-482, 1998
2131998
Types and higher-order recursion schemes for verification of higher-order programs
N Kobayashi
Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2009
1932009
A type system equivalent to the modal mu-calculus model checking of higher-order recursion schemes
N Kobayashi, CHL Ong
2009 24th Annual IEEE Symposium on Logic In Computer Science, 179-188, 2009
1742009
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Theoretical Computer Science 311 (1-3), 121-163, 2004
1742004
Predicate abstraction and CEGAR for higher-order model checking
N Kobayashi, R Sato, H Unno
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
1622011
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
1622001
A type system for lock-free processes
N Kobayashi
Information and Computation 177 (2), 122-159, 2002
1552002
Type systems for concurrent programs
N Kobayashi
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003
1542003
Resource usage analysis
A Igarashi, N Kobayashi
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1492002
Type-based information flow analysis for the π-calculus
N Kobayashi
Acta Informatica 42, 291-347, 2005
1382005
Quasi-linear types
N Kobayashi
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1291999
ACL-A Concurrent Linear Logic Programming Paradigm.
N Kobayashi, A Yonezawa
ILPS 93, 279-294, 1993
1161993
Environmental bisimulations for higher-order languages
D Sangiorgi, N Kobayashi, E Sumii
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-69, 2011
1062011
Model checking higher-order programs
N Kobayashi
Journal of the ACM (JACM) 60 (3), 1-62, 2013
1032013
Environmental bisimulations for higher-order languages
D Sangiorgi, N Kobayashi, E Sumii
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 293-302, 2007
1032007
Higher-order multi-parameter tree transducers and recursion schemes for program verification
N Kobayashi, N Tabuchi, H Unno
ACM Sigplan Notices 45 (1), 495-508, 2010
972010
Resource usage analysis
A Igarashi, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005
932005
Model-checking higher-order functions
N Kobayashi
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
862009
The system can't perform the operation now. Try again later.
Articles 1–20