フォロー
Naoki Kobayashi
Naoki Kobayashi
確認したメール アドレス: is.s.u-tokyo.ac.jp - ホームページ
タイトル
引用先
引用先
Linearity and the pi-calculus
N Kobayashi, BC Pierce, DN Turner
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999
5291999
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Theoretical Computer Science 311 (1-3), 121-163, 2004
3012004
A partially deadlock-free typed process calculus
N Kobayashi
ACM transactions on programming languages and systems (toplas) 20 (2), 436-482, 1998
1991998
A new type system for deadlock-free processes
N Kobayashi
International Conference on Concurrency Theory, 233-247, 2006
1942006
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
1882009
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
1682009
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
1512011
Resource usage analysis
A Igarashi, N Kobayashi
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1422002
Type systems for concurrent programs
N Kobayashi
Formal Methods at the Crossroads. From Panacea to Foundational Support, 439-453, 2003
1392003
A type system for lock-free processes
N Kobayashi
Information and Computation 177 (2), 122-159, 2002
1392002
Type-based information flow analysis for the π-calculus
N Kobayashi
Acta Informatica 42 (4), 291-347, 2005
1352005
ACL-A Concurrent Linear Logic Programming Paradigm.
N Kobayashi, A Yonezawa
ILPS 93, 279-294, 1993
1191993
Quasi-linear types
N Kobayashi
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1141999
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
1072007
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
1052011
Resource usage analysis
A Igarashi, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005
952005
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
912010
Model checking higher-order programs
N Kobayashi
Journal of the ACM (JACM) 60 (3), 1-62, 2013
892013
Model-checking higher-order functions
N Kobayashi
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
862009
Asynchronous communication model based on linear logic
N Kobayashi, A Yonezawa
Formal Aspects of Computing 7 (2), 113-149, 1995
801995
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20