Naoki Kobayashi

Cited by

	All	Since 2018
Citations	5630	1460
h-index	41	21
i10-index	86	41

340

170

255

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 19 45 86 85 93 108 95 109 118 149 211 142 176 207 227 205 205 272 253 334 282 268 322 222 304 270 339 241 79

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Hiroshi UnnoUniversity of TsukubaVerified email at cs.tsukuba.ac.jp
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Ryosuke SatoThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
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
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Luke OngProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Naoshi TabuchiTrek Inc.Verified email at trek.co.jp
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
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisVerified email at cs.unibo.it
Charles GrelloisBordeaux INPVerified email at bordeaux-inp.fr
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
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	545	1999
A new type system for deadlock-free processes N Kobayashi CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006	213	2006
A partially deadlock-free typed process calculus N Kobayashi ACM transactions on programming languages and systems (toplas) 20 (2), 436-482, 1998	212	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	192	2009
A generic type system for the pi-calculus A Igarashi, N Kobayashi Theoretical Computer Science 311 (1-3), 121-163, 2004	178	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	170	2009
A generic type system for the pi-calculus A Igarashi, N Kobayashi Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	157	2001
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	155	2011
Type systems for concurrent programs N Kobayashi Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	150	2003
A type system for lock-free processes N Kobayashi Information and Computation 177 (2), 122-159, 2002	149	2002
Resource usage analysis A Igarashi, N Kobayashi Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	146	2002
Type-based information flow analysis for the π-calculus N Kobayashi Acta Informatica 42, 291-347, 2005	139	2005
ACL-A Concurrent Linear Logic Programming Paradigm. N Kobayashi, A Yonezawa ILPS 93, 279-294, 1993	120	1993
Quasi-linear types N Kobayashi Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	115	1999
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	113	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	105	2011
Resource usage analysis A Igarashi, N Kobayashi ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005	98	2005
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	95	2010
Model checking higher-order programs N Kobayashi Journal of the ACM (JACM) 60 (3), 1-62, 2013	93	2013
Model-checking higher-order functions N Kobayashi Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009	86	2009

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