Naoki Kobayashi

Cited by

	All	Since 2019
Citations	6071	1679
h-index	43	23
i10-index	93	41

340

170

255

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 24 42 88 89 99 115 95 116 126 142 196 144 185 204 215 203 209 255 245 330 276 258 331 230 299 271 334 250 295 228

Public access

View all

5 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
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
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
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it
Charles GrelloisUniversity of SheffieldVerified email at sheffield.ac.uk
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Kazuhiro InabaGoogleVerified email at google.com

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	560	1999
A new type system for deadlock-free processes N Kobayashi CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006	230	2006
A partially deadlock-free typed process calculus N Kobayashi ACM transactions on programming languages and systems (toplas) 20 (2), 436-482, 1998	222	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	197	2009
A generic type system for the pi-calculus A Igarashi, N Kobayashi Theoretical Computer Science 311 (1-3), 121-163, 2004	182	2004
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	177	2009
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	169	2011
A generic type system for the pi-calculus A Igarashi, N Kobayashi Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	166	2001
A type system for lock-free processes N Kobayashi Information and Computation 177 (2), 122-159, 2002	165	2002
Type systems for concurrent programs N Kobayashi Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	157	2003
Resource usage analysis A Igarashi, N Kobayashi Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	151	2002
Type-based information flow analysis for the π-calculus N Kobayashi Acta Informatica 42, 291-347, 2005	147	2005
Quasi-linear types N Kobayashi Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	128	1999
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	109	2007
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	107	2011
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	106	2021
Model checking higher-order programs N Kobayashi Journal of the ACM (JACM) 60 (3), 1-62, 2013	103	2013
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	98	2010
Resource usage analysis A Igarashi, N Kobayashi ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005	95	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