×

zbMATH — the first resource for mathematics

Kobayashi, Naoki

Compute Distance To:
Author ID: kobayashi.naoki Recent zbMATH articles by "Kobayashi, Naoki"
Published as: Kobayashi, Naoki; Kobayashi, N.
Documents Indexed: 100 Publications since 1978, including 6 Books

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 280 times in 153 Documents Cited by Year
A type system for lock-free processes. Zbl 1093.68065
Kobayashi, Naoki
17
2002
A generic type system for the pi-calculus. Zbl 1070.68105
Igarashi, Atsushi; Kobayashi, Naoki
17
2004
A new type system for deadlock-free processes. Zbl 1151.68537
Kobayashi, Naoki
17
2006
Types and higher-order recursion schemes for verification of higher-order programs. Zbl 1315.68099
Kobayashi, Naoki
15
2009
A generic type system for the \(\pi\)-calculus. Zbl 1323.68410
Igarashi, Atsushi; Kobayashi, Naoki
14
2001
Two Bessel bridges conditioned never to collide, double Dirichlet series, and Jacobi theta function. Zbl 1171.82010
Katori, Makoto; Izumi, Minami; Kobayashi, Naoki
14
2008
Type-based information flow analysis for the \(\pi\)-calculus. Zbl 1081.68061
Kobayashi, Naoki
12
2005
Model checking higher-order programs. Zbl 1281.68157
Kobayashi, Naoki
12
2013
Resource usage analysis. Zbl 1323.68377
Igarashi, Atsushi; Kobayashi, Naoki
11
2002
Saturation-based model checking of higher-order recursion schemes. Zbl 1356.68141
Broadbent, Christopher; Kobayashi, Naoki
10
2013
Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. Zbl 1046.68620
Igarashi, Atsushi; Kobayashi, Naoki
9
2000
An implicitly-typed deadlock-free process calculus. Zbl 0999.68532
Kobayashi, Naoki; Saito, Shin; Sumii, Eijiro
8
2000
Decoupling of linear time-varying systems with time delays in the control variables or state variables. Zbl 0386.93033
Iwai, Z.; Seborg, D. E.; Fisher, D. G.; Kobayashi, N.
7
1978
Type systems for concurrent programs. Zbl 1274.68076
Kobayashi, Naoki
7
2003
Higher-order multi-parameter tree transducers and recursion schemes for program verification. Zbl 1312.68136
Kobayashi, Naoki; Tabuchi, Naoshi; Unno, Hiroshi
7
2010
Logical bisimulations and functional languages. Zbl 1141.68377
Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro
6
2007
A generalized deadlock-free process calculus. Zbl 0917.68065
Sumii, E.; Kobayashi, N.
5
1998
A hybrid approach to online and offline partial evaluation. Zbl 0994.68037
Sumii, Eijiro; Kobayashi, Naoki
5
2001
A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes. Zbl 1326.68187
Kobayashi, Naoki
4
2011
Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1237.68124
Kobayashi, Naoki; Ong, C.-H. Luke
4
2011
A Coq library for verification of concurrent programs. Zbl 1278.68152
Affeldt, Reynald; Kobayashi, Naoki
4
2007
Resource usage analysis for the \(\pi\)-calculus. Zbl 1176.68135
Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian
4
2006
Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. Zbl 06720983
Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi
3
2017
A ZDD-based efficient higher-order model checking algorithm. Zbl 1453.68103
Terao, Taku; Kobayashi, Naoki
3
2014
Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness. Zbl 0998.68085
Kobayashi, Naoki
3
2000
Asynchronous communication model based on linear logic. Zbl 0835.68016
Kobayashi, Naoki; Yonezawa, Akinori
3
1995
Automating relatively complete verification of higher-order functional programs. Zbl 1301.68182
Unno, Hiroshi; Terauchi, Tachio; Kobayashi, Naoki
3
2013
Undecidability of 2-label BPP equivalences and behavioral type systems for the \(\pi \)-calculus. Zbl 1171.68573
Kobayashi, Naoki; Suto, Takashi
3
2007
Type-based verification of correspondence assertions for communication protocols. Zbl 1137.68436
Kikuchi, Daisuke; Kobayashi, Naoki
3
2007
A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474
Kobayashi, Naoki; Sangiorgi, Davide
3
2008
Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1248.68334
Kobayashi, Naoki; Ong, C.-H. Luke
3
2009
Functional programs as compressed data. Zbl 1360.68332
Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya
2
2012
Pumping by typing. Zbl 1366.68120
Kobayashi, Naoki
2
2013
Model-checking higher-order programs with recursive types. Zbl 1381.68170
Kobayashi, Naoki; Igarashi, Atsushi
2
2013
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs. Zbl 1381.68035
Kuwahara, Takuya; Sato, Ryosuke; Unno, Hiroshi; Kobayashi, Naoki
2
2015
Resource usage analysis for the \(\pi \)-calculus. Zbl 1126.68057
Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian
2
2006
Higher-order model checking in direct style. Zbl 06667498
Terao, Taku; Tsukada, Takeshi; Kobayashi, Naoki
2
2016
Unsafe order-2 tree languages are context-sensitive. Zbl 1405.68167
Kobayashi, Naoki; Inaba, Kazuhiro; Tsukada, Takeshi
2
2014
Automatic termination verification for higher-order functional programs. Zbl 1347.68231
Kuwahara, Takuya; Terauchi, Tachio; Unno, Hiroshi; Kobayashi, Naoki
2
2014
Distributed concurrent linear logic programming. Zbl 0954.68033
Kobayashi, Naoki; Shimizu, Toshihiro; Yonezawa, Akinori
2
1999
Practical alternating parity tree automata model checking of higher-order recursion schemes. Zbl 1426.68171
Fujima, Koichi; Ito, Sohei; Kobayashi, Naoki
2
2013
Deadlock analysis of unbounded process networks. Zbl 1417.68128
Giachino, Elena; Kobayashi, Naoki; Laneve, Cosimo
2
2014
Region-based memory management for a dynamically-typed language. Zbl 1116.68375
Nagata, Akihito; Kobayashi, Naoki; Yonezawa, Akinori
1
2004
Compact bit encoding schemes for simply-typed lambda-terms. Zbl 1361.68051
Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi
1
2016
Automatically disproving fair termination of higher-order functional programs. Zbl 1361.68153
Watanabe, Keiichi; Sato, Ryosuke; Tsukada, Takeshi; Kobayashi, Naoki
1
2016
On word and frontier languages of unsafe higher-order grammars. Zbl 1388.68157
Asada, Kazuyuki; Kobayashi, Naoki
1
2016
Dynamic scaling of the growing rough surfaces. Zbl 1060.92015
Kobayashi, Naoki; Moriyama, Osamu; Kitsunezaki, So; Yamazaki, Yoshihiro; Matsushita, Mitsugu
1
2004
Partial order reduction for verification of spatial properties of pi-calculus processes. Zbl 1272.68217
Affeldt, Reynald; Kobayashi, Naoki
1
2005
Type-based analysis of deadlock for a concurrent calculus with interrupts. Zbl 1187.68143
Suenaga, Kohei; Kobayashi, Naoki
1
2007
Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. Zbl 1429.68120
Kobayashi, Naoki
1
2019
Temporal verification of higher-order functional programs. Zbl 1347.68233
Murase, Akihiro; Terauchi, Tachio; Kobayashi, Naoki; Sato, Ryosuke; Unno, Hiroshi
1
2016
Automata-based abstraction for automated verification of higher-order tree-processing programs. Zbl 1329.68065
Matsumoto, Yuma; Kobayashi, Naoki; Unno, Hiroshi
1
2015
Complexity of model-checking call-by-value programs. Zbl 1405.68189
Tsukada, Takeshi; Kobayashi, Naoki
1
2014
Distributed and concurrent objects based on linear logic. Zbl 0928.68005
Kobayashi, Naoki; Yonezawa, Akinori
1
1999
Formalization and verification of a mail server in Coq. Zbl 1033.68502
Affeldt, Reynald; Kobayashi, Naoki
1
2003
Exact flow analysis by higher-order model checking. Zbl 1354.68050
Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki
1
2012
An intersection type system for deterministic pushdown automata. Zbl 1362.68157
Tsukada, Takeshi; Kobayashi, Naoki
1
2012
Useless-code elimination and program slicing for the pi-calculus. Zbl 1254.68080
Kobayashi, Naoki
1
2003
Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8–10, 2006. Proceedings. Zbl 1133.68007
Kobayashi, Naoki (ed.)
1
2006
Type-based automated verification of authenticity in cryptographic protocols. Zbl 1234.94077
Kikuchi, Daisuke; Kobayashi, Naoki
1
2009
Type-based automated verification of authenticity in asymmetric cryptographic protocols. Zbl 1348.68129
Dahl, Morten; Kobayashi, Naoki; Sun, Yunde; Hüttel, Hans
1
2011
Untyped recursion schemes and infinite intersection types. Zbl 1284.68139
Tsukada, Takeshi; Kobayashi, Naoki
1
2010
Undecidable equivalences for basic parallel processes. Zbl 1167.68041
Hüttel, Hans; Kobayashi, Naoki; Suto, Takashi
1
2009
Pairwise reachability analysis for higher order concurrent programs by higher-order model checking. Zbl 1417.68107
Yasukata, Kazuhide; Kobayashi, Naoki; Matsuda, Kazutaka
1
2014
Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. Zbl 1429.68120
Kobayashi, Naoki
1
2019
Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. Zbl 06720983
Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi
3
2017
Higher-order model checking in direct style. Zbl 06667498
Terao, Taku; Tsukada, Takeshi; Kobayashi, Naoki
2
2016
Compact bit encoding schemes for simply-typed lambda-terms. Zbl 1361.68051
Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi
1
2016
Automatically disproving fair termination of higher-order functional programs. Zbl 1361.68153
Watanabe, Keiichi; Sato, Ryosuke; Tsukada, Takeshi; Kobayashi, Naoki
1
2016
On word and frontier languages of unsafe higher-order grammars. Zbl 1388.68157
Asada, Kazuyuki; Kobayashi, Naoki
1
2016
Temporal verification of higher-order functional programs. Zbl 1347.68233
Murase, Akihiro; Terauchi, Tachio; Kobayashi, Naoki; Sato, Ryosuke; Unno, Hiroshi
1
2016
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs. Zbl 1381.68035
Kuwahara, Takuya; Sato, Ryosuke; Unno, Hiroshi; Kobayashi, Naoki
2
2015
Automata-based abstraction for automated verification of higher-order tree-processing programs. Zbl 1329.68065
Matsumoto, Yuma; Kobayashi, Naoki; Unno, Hiroshi
1
2015
A ZDD-based efficient higher-order model checking algorithm. Zbl 1453.68103
Terao, Taku; Kobayashi, Naoki
3
2014
Unsafe order-2 tree languages are context-sensitive. Zbl 1405.68167
Kobayashi, Naoki; Inaba, Kazuhiro; Tsukada, Takeshi
2
2014
Automatic termination verification for higher-order functional programs. Zbl 1347.68231
Kuwahara, Takuya; Terauchi, Tachio; Unno, Hiroshi; Kobayashi, Naoki
2
2014
Deadlock analysis of unbounded process networks. Zbl 1417.68128
Giachino, Elena; Kobayashi, Naoki; Laneve, Cosimo
2
2014
Complexity of model-checking call-by-value programs. Zbl 1405.68189
Tsukada, Takeshi; Kobayashi, Naoki
1
2014
Pairwise reachability analysis for higher order concurrent programs by higher-order model checking. Zbl 1417.68107
Yasukata, Kazuhide; Kobayashi, Naoki; Matsuda, Kazutaka
1
2014
Model checking higher-order programs. Zbl 1281.68157
Kobayashi, Naoki
12
2013
Saturation-based model checking of higher-order recursion schemes. Zbl 1356.68141
Broadbent, Christopher; Kobayashi, Naoki
10
2013
Automating relatively complete verification of higher-order functional programs. Zbl 1301.68182
Unno, Hiroshi; Terauchi, Tachio; Kobayashi, Naoki
3
2013
Pumping by typing. Zbl 1366.68120
Kobayashi, Naoki
2
2013
Model-checking higher-order programs with recursive types. Zbl 1381.68170
Kobayashi, Naoki; Igarashi, Atsushi
2
2013
Practical alternating parity tree automata model checking of higher-order recursion schemes. Zbl 1426.68171
Fujima, Koichi; Ito, Sohei; Kobayashi, Naoki
2
2013
Functional programs as compressed data. Zbl 1360.68332
Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya
2
2012
Exact flow analysis by higher-order model checking. Zbl 1354.68050
Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki
1
2012
An intersection type system for deterministic pushdown automata. Zbl 1362.68157
Tsukada, Takeshi; Kobayashi, Naoki
1
2012
A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes. Zbl 1326.68187
Kobayashi, Naoki
4
2011
Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1237.68124
Kobayashi, Naoki; Ong, C.-H. Luke
4
2011
Type-based automated verification of authenticity in asymmetric cryptographic protocols. Zbl 1348.68129
Dahl, Morten; Kobayashi, Naoki; Sun, Yunde; Hüttel, Hans
1
2011
Higher-order multi-parameter tree transducers and recursion schemes for program verification. Zbl 1312.68136
Kobayashi, Naoki; Tabuchi, Naoshi; Unno, Hiroshi
7
2010
Untyped recursion schemes and infinite intersection types. Zbl 1284.68139
Tsukada, Takeshi; Kobayashi, Naoki
1
2010
Types and higher-order recursion schemes for verification of higher-order programs. Zbl 1315.68099
Kobayashi, Naoki
15
2009
Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1248.68334
Kobayashi, Naoki; Ong, C.-H. Luke
3
2009
Type-based automated verification of authenticity in cryptographic protocols. Zbl 1234.94077
Kikuchi, Daisuke; Kobayashi, Naoki
1
2009
Undecidable equivalences for basic parallel processes. Zbl 1167.68041
Hüttel, Hans; Kobayashi, Naoki; Suto, Takashi
1
2009
Two Bessel bridges conditioned never to collide, double Dirichlet series, and Jacobi theta function. Zbl 1171.82010
Katori, Makoto; Izumi, Minami; Kobayashi, Naoki
14
2008
A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474
Kobayashi, Naoki; Sangiorgi, Davide
3
2008
Logical bisimulations and functional languages. Zbl 1141.68377
Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro
6
2007
A Coq library for verification of concurrent programs. Zbl 1278.68152
Affeldt, Reynald; Kobayashi, Naoki
4
2007
Undecidability of 2-label BPP equivalences and behavioral type systems for the \(\pi \)-calculus. Zbl 1171.68573
Kobayashi, Naoki; Suto, Takashi
3
2007
Type-based verification of correspondence assertions for communication protocols. Zbl 1137.68436
Kikuchi, Daisuke; Kobayashi, Naoki
3
2007
Type-based analysis of deadlock for a concurrent calculus with interrupts. Zbl 1187.68143
Suenaga, Kohei; Kobayashi, Naoki
1
2007
A new type system for deadlock-free processes. Zbl 1151.68537
Kobayashi, Naoki
17
2006
Resource usage analysis for the \(\pi\)-calculus. Zbl 1176.68135
Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian
4
2006
Resource usage analysis for the \(\pi \)-calculus. Zbl 1126.68057
Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian
2
2006
Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8–10, 2006. Proceedings. Zbl 1133.68007
Kobayashi, Naoki
1
2006
Type-based information flow analysis for the \(\pi\)-calculus. Zbl 1081.68061
Kobayashi, Naoki
12
2005
Partial order reduction for verification of spatial properties of pi-calculus processes. Zbl 1272.68217
Affeldt, Reynald; Kobayashi, Naoki
1
2005
A generic type system for the pi-calculus. Zbl 1070.68105
Igarashi, Atsushi; Kobayashi, Naoki
17
2004
Region-based memory management for a dynamically-typed language. Zbl 1116.68375
Nagata, Akihito; Kobayashi, Naoki; Yonezawa, Akinori
1
2004
Dynamic scaling of the growing rough surfaces. Zbl 1060.92015
Kobayashi, Naoki; Moriyama, Osamu; Kitsunezaki, So; Yamazaki, Yoshihiro; Matsushita, Mitsugu
1
2004
Type systems for concurrent programs. Zbl 1274.68076
Kobayashi, Naoki
7
2003
Formalization and verification of a mail server in Coq. Zbl 1033.68502
Affeldt, Reynald; Kobayashi, Naoki
1
2003
Useless-code elimination and program slicing for the pi-calculus. Zbl 1254.68080
Kobayashi, Naoki
1
2003
A type system for lock-free processes. Zbl 1093.68065
Kobayashi, Naoki
17
2002
Resource usage analysis. Zbl 1323.68377
Igarashi, Atsushi; Kobayashi, Naoki
11
2002
A generic type system for the \(\pi\)-calculus. Zbl 1323.68410
Igarashi, Atsushi; Kobayashi, Naoki
14
2001
A hybrid approach to online and offline partial evaluation. Zbl 0994.68037
Sumii, Eijiro; Kobayashi, Naoki
5
2001
Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. Zbl 1046.68620
Igarashi, Atsushi; Kobayashi, Naoki
9
2000
An implicitly-typed deadlock-free process calculus. Zbl 0999.68532
Kobayashi, Naoki; Saito, Shin; Sumii, Eijiro
8
2000
Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness. Zbl 0998.68085
Kobayashi, Naoki
3
2000
Distributed concurrent linear logic programming. Zbl 0954.68033
Kobayashi, Naoki; Shimizu, Toshihiro; Yonezawa, Akinori
2
1999
Distributed and concurrent objects based on linear logic. Zbl 0928.68005
Kobayashi, Naoki; Yonezawa, Akinori
1
1999
A generalized deadlock-free process calculus. Zbl 0917.68065
Sumii, E.; Kobayashi, N.
5
1998
Asynchronous communication model based on linear logic. Zbl 0835.68016
Kobayashi, Naoki; Yonezawa, Akinori
3
1995
Decoupling of linear time-varying systems with time delays in the control variables or state variables. Zbl 0386.93033
Iwai, Z.; Seborg, D. E.; Fisher, D. G.; Kobayashi, N.
7
1978
all top 5

Cited by 244 Authors

18 Kobayashi, Naoki
6 Dezani-Ciancaglini, Mariangiola
6 Sangiorgi, Davide
6 Schehr, Grégory
5 Hüttel, Hans
5 Majumdar, Satya N.
5 Tsukada, Takeshi
5 Yoshida, Nobuko
4 Hennessy, Matthew C. B.
4 Kuijlaars, Arno B. J.
4 Parys, Paweł
4 Walukiewicz, Igor
3 Acciai, Lucia
3 Bartoletti, Massimo
3 Boreale, Michele
3 Castellani, Ilaria
3 Delvaux, Steven
3 Forrester, Peter J.
3 Gay, Simon J.
3 Gordon, Andrew D.
3 Jeffrey, Alan S. A.
3 Laneve, Cosimo
3 Padovani, Luca
3 Salvati, Sylvain
3 Tuosto, Emilio
3 Vieira, Hugo Torres
2 Asada, Kazuyuki
2 Barbanera, Franco
2 Bidinger, Philippe
2 Bugliesi, Michele
2 Caires, Luís
2 Carette, Jacques
2 Compagnoni, Adriana B.
2 Comtet, Alain
2 Dal Lago, Ugo
2 Ferrari, Gian Luigi
2 Genet, Thomas
2 Giachino, Elena
2 Hague, Matthew
2 Hermenegildo, Manuel V.
2 Hirschkoff, Daniel
2 Hovland, Dag
2 Inaba, Kazuhiro
2 Kamide, Norihiro
2 Kiselyov, Oleg
2 Klemen, M.
2 König, Barbara
2 Koutavas, Vasileios
2 Lanese, Ivan
2 Liqat, Umer
2 López-García, Pedro
2 Martínez-Finkelshtein, Andrei
2 Matsuda, Kazutaka
2 Meyer, Roland
2 Muskalla, Sebastian
2 Pantović, Jovanka
2 Pérez, Jorge A.
2 Pun, Ka I.
2 Quaglia, Paola
2 Ravara, António
2 Sato, Ryosuke
2 Shan, Chung-chieh
2 Sin’ya, Ryoma
2 Steffen, Martin
2 Stolz, Volker
2 Thiemann, Peter J.
2 Toninho, Bernardo
2 Vasconcelos, Vasco Thudichum
2 Wielonsky, Franck
2 Zhang, Lun
2 Zunino, Roberto
1 Abramsky, Samson
1 Affeldt, Reynald
1 Afshari, Bahareh
1 Atkey, Robert
1 Balzer, Stephanie
1 Berger, Martin J.
1 Bezem, Marc
1 Bhattacharyya, Anirban
1 Bocchi, Laura
1 Bonachela, Juan A.
1 Bozzano, Marco
1 Bradfield, Julian Charles
1 Bravetti, Mario
1 Brázdil, Tomáš
1 Bresolin, Davide
1 Broadbent, Christopher H.
1 Brogi, Antonio
1 Buchberger, Bruno
1 Capecchi, Sara
1 Castagna, Giuseppe
1 Champion, Adrien
1 Cheney, James
1 Chiba, Tomoya
1 Ciancia, Vincenzo
1 Ciobâcă, Ştefan
1 Colazzo, Dario
1 Crafa, Silvia
1 Cristescu, Ioana Domnina
1 Danvy, Olivier
...and 144 more Authors

Citations by Year