Naoki Kobayashi

Cited by

	All	Since 2020
Citations	6252	1535
h-index	43	21
i10-index	95	39

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 24 42 83 88 102 116 96 111 123 140 197 146 183 211 214 200 219 256 240 333 280 263 337 232 306 276 340 265 287 293 70

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Hiroshi UnnoTohoku UniversityVerified email at acm.org
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Ryosuke SatoTokyo University of Agriculture and TechnologyVerified email at acm.org
Eijiro SumiiTohoku UniversityVerified email at ecei.tohoku.ac.jp
Kohei SUENAGAKyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Kazuyuki AsadaTohoku UniversityVerified email at riec.tohoku.ac.jp
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Naoshi TabuchiTrek Inc.Verified email at trek.co.jp
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Tachio TerauchiProfessor of Computer Science and Engineering, Waseda UniversityVerified email at waseda.jp
Yusuke MatsushitaKyoto UniversityVerified email at fos.kuis.kyoto-u.ac.jp
Ayumi ShinoharaProfessor of GSIS, Tohoku UniversityVerified email at ecei.tohoku.ac.jp
Kazutaka MatsudaTohoku UniversityVerified email at ecei.tohoku.ac.jp
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Shin SaitoIBM Research - TokyoVerified email at jp.ibm.com
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it

Naoki Kobayashi

The University of Tokyo

Verified email at is.s.u-tokyo.ac.jp - Homepage

Computer Science


Title Sort by citations Sort by year Sort by 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	567	1999
A new type system for deadlock-free processes N Kobayashi CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006	236	2006
A partially deadlock-free typed process calculus N Kobayashi ACM transactions on programming languages and systems (toplas) 20 (2), 436-482, 1998	221	1998
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	200	2009
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	184	2009
A generic type system for the pi-calculus A Igarashi, N Kobayashi Theoretical Computer Science 311 (1-3), 121-163, 2004	183	2004
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	180	2011
A type system for lock-free processes N Kobayashi Information and Computation 177 (2), 122-159, 2002	169	2002
A generic type system for the pi-calculus A Igarashi, N Kobayashi Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	169	2001
Type systems for concurrent programs N Kobayashi Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	162	2003
Resource usage analysis A Igarashi, N Kobayashi Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	154	2002
Type-based information flow analysis for the π-calculus N Kobayashi Acta Informatica 42, 291-347, 2005	151	2005
Quasi-linear types N Kobayashi Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	128	1999
RustHorn: CHC-based verification for Rust programs Y Matsushita, T Tsukada, N Kobayashi ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-54, 2021	125	2021
ACL-A Concurrent Linear Logic Programming Paradigm. N Kobayashi, A Yonezawa ILPS 93, 279-294, 1993	116	1993
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	112	2007
Model checking higher-order programs N Kobayashi Journal of the ACM (JACM) 60 (3), 1-62, 2013	109	2013
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	109	2011
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	104	2010
Resource usage analysis A Igarashi, N Kobayashi ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005	96	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors