Edit Profile (opens in new tab) Kobayashi, Naoki Compute Distance To: Compute Author ID: kobayashi.naoki Published as: Kobayashi, Naoki; Kobayashi, N. Documents Indexed: 103 Publications since 1978 7 Contributions as Editor Co-Authors: 83 Co-Authors with 89 Joint Publications 1,402 Co-Co-Authors all top 5 Co-Authors 16 single-authored 16 Tsukada, Takeshi 9 Unno, Hiroshi 8 Sato, Ryosuke 7 Suenaga, Kohei 6 Asada, Kazuyuki 6 Igarashi, Atsushi 6 Yonezawa, Akinori 4 Sumii, Eijiro 3 Affeldt, Reynald 3 Halldórsson, Magnús Mar 3 Speckmann, Bettina 3 Terauchi, Tachio 2 Champion, Adrien 2 Chiba, Tomoya 2 Fujima, Koichi 2 Hüttel, Hans 2 Iwama, Kazuo 2 Iwayama, Naoki 2 Kikuchi, Daisuke 2 Kodama, Koichi 2 Kuwahara, Takuya 2 Laneve, Cosimo 2 Li, Xin 2 Matsuda, Kazutaka 2 Matsushita, Mitsugu 2 Moriyama, Osamu 2 Sangiorgi, Davide 2 Shimizu, Toshihiro 2 Shinohara, Ayumi 2 Sin’ya, Ryoma 2 Suto, Takashi 2 Suzuki, Ryota 2 Tabuchi, Naoshi 2 Terao, Taku 2 Watanabe, Keiichi 2 Wischik, Lucian 2 Yaguchi, Kazuya 2 Yasukata, Kazuhide 1 Blume, Matthias 1 Broadbent, Christopher H. 1 Bruse, Florian 1 Dahl, Morten 1 Dal Lago, Ugo 1 Faisal Al Ameen, Mahmudul 1 Fedyukovich, Grigory 1 Fisher, D. Grant 1 Giachino, Elena 1 Grellois, Charles 1 Gupta, Aarti 1 Hagihara, Shigeki 1 Hayami, Ken 1 Inaba, Kazuhiro 1 Ito, Sohei 1 Iwai, Zenta 1 Iwama, Futoshi 1 Izumi, Minami 1 Kaneko, Yûta 1 Katori, Makoto 1 Katsura, Hiroyuki 1 Kawata, Sadaaki 1 Kitsunezaki, So 1 Kohyama, K. 1 Lozes, Etienne 1 Matsumoto, Yuma 1 Matsushita, Yusuke 1 Mitani, Yo 1 Murase, Akihiro 1 Nagata, Akihito 1 Nishizaki, Shin-ya 1 Ohsaki, Hitoshi 1 Pierce, Benjamin C. 1 Saito, Shin 1 Sakayori, Ken 1 Sato, Issei 1 Seborg, Dale E. 1 Sekiyama, Taro 1 Shibayama, Etsuya 1 Shimoda, Takumi 1 Siqi, Ren 1 Sun, Yunde 1 Takeda, Kotaro 1 Taura, Kenjiro 1 Tobita, Yoshihiro 1 Toman, John 1 Vidal, Germán 1 Watanabe, Takuo 1 Yamazaki, Yoshihiro all top 5 Serials 5 Information and Computation 5 Lecture Notes in Computer Science 5 Logical Methods in Computer Science 3 Theoretical Computer Science 3 Higher-Order and Symbolic Computation 1 Acta Informatica 1 International Journal of Control 1 Journal of Statistical Physics 1 New Generation Computing 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Functional Programming 1 Journal of the ACM 1 RIMS Kokyuroku 1 Journal of the Physical Society of Japan 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 104 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Ordinary differential equations (34-XX) 2 Systems theory; control (93-XX) 1 Partial differential equations (35-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 75 Publications have been cited 370 times in 200 Documents Cited by ▼ Year ▼ A new type system for deadlock-free processes. Zbl 1151.68537Kobayashi, Naoki 25 2006 A type system for lock-free processes. Zbl 1093.68065Kobayashi, Naoki 21 2002 Types and higher-order recursion schemes for verification of higher-order programs. Zbl 1315.68099Kobayashi, Naoki 20 2009 A generic type system for the pi-calculus. Zbl 1070.68105Igarashi, Atsushi; Kobayashi, Naoki 19 2004 Model checking higher-order programs. Zbl 1281.68157Kobayashi, Naoki 15 2013 Type-based information flow analysis for the \(\pi\)-calculus. Zbl 1081.68061Kobayashi, Naoki 14 2005 A generic type system for the \(\pi\)-calculus. Zbl 1323.68410Igarashi, Atsushi; Kobayashi, Naoki 14 2001 Two Bessel bridges conditioned never to collide, double Dirichlet series, and Jacobi theta function. Zbl 1171.82010Katori, Makoto; Izumi, Minami; Kobayashi, Naoki 14 2008 Type systems for concurrent programs. Zbl 1274.68076Kobayashi, Naoki 14 2003 Saturation-based model checking of higher-order recursion schemes. Zbl 1356.68141Broadbent, Christopher; Kobayashi, Naoki 13 2013 Resource usage analysis. Zbl 1323.68377Igarashi, Atsushi; Kobayashi, Naoki 11 2002 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Zbl 1312.68136Kobayashi, Naoki; Tabuchi, Naoshi; Unno, Hiroshi 11 2010 Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. Zbl 1046.68620Igarashi, Atsushi; Kobayashi, Naoki 10 2000 An implicitly-typed deadlock-free process calculus. Zbl 0999.68532Kobayashi, Naoki; Saito, Shin; Sumii, Eijiro 8 2000 Logical bisimulations and functional languages. Zbl 1141.68377Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro 8 2007 Predicate abstraction and CEGAR for disproving termination of higher-order functional programs. Zbl 1381.68035Kuwahara, Takuya; Sato, Ryosuke; Unno, Hiroshi; Kobayashi, Naoki 7 2015 Decoupling of linear time-varying systems with time delays in the control variables or state variables. Zbl 0386.93033Iwai, Z.; Seborg, D. E.; Fisher, D. G.; Kobayashi, N. 7 1978 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1237.68124Kobayashi, Naoki; Ong, C.-H. Luke 6 2011 A hybrid approach to online and offline partial evaluation. Zbl 0994.68037Sumii, Eijiro; Kobayashi, Naoki 5 2001 A Coq library for verification of concurrent programs. Zbl 1278.68152Affeldt, Reynald; Kobayashi, Naoki 5 2007 ICE-based refinement type discovery for higher-order functional programs. Zbl 1468.68058Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke 5 2018 A generalized deadlock-free process calculus. Zbl 0917.68065Sumii, E.; Kobayashi, N. 5 1998 Deadlock analysis of unbounded process networks. Zbl 1417.68128Giachino, Elena; Kobayashi, Naoki; Laneve, Cosimo 4 2014 On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Zbl 1380.68277Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian 4 2017 Practical alternating parity tree automata model checking of higher-order recursion schemes. Zbl 1426.68171Fujima, Koichi; Ito, Sohei; Kobayashi, Naoki 4 2013 A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes. Zbl 1326.68187Kobayashi, Naoki 4 2011 A ZDD-based efficient higher-order model checking algorithm. Zbl 1453.68103Terao, Taku; Kobayashi, Naoki 4 2014 Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. Zbl 1486.68035Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi 4 2017 Resource usage analysis for the \(\pi\)-calculus. Zbl 1176.68135Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian 4 2006 Higher-order program verification via HFL model checking. Zbl 1418.68127Kobayashi, Naoki; Tsukada, Takeshi; Watanabe, Keiichi 4 2018 A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474Kobayashi, Naoki; Sangiorgi, Davide 4 2008 Temporal verification of higher-order functional programs. Zbl 1347.68233Murase, Akihiro; Terauchi, Tachio; Kobayashi, Naoki; Sato, Ryosuke; Unno, Hiroshi 4 2016 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1248.68334Kobayashi, Naoki; Ong, C.-H. Luke 3 2009 Automating relatively complete verification of higher-order functional programs. Zbl 1301.68182Unno, Hiroshi; Terauchi, Tachio; Kobayashi, Naoki 3 2013 Pumping by typing. Zbl 1366.68120Kobayashi, Naoki 3 2013 On word and frontier languages of unsafe higher-order grammars. Zbl 1388.68157Asada, Kazuyuki; Kobayashi, Naoki 3 2016 Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. Zbl 1429.68120Kobayashi, Naoki 3 2019 Unsafe order-2 tree languages are context-sensitive. Zbl 1405.68167Kobayashi, Naoki; Inaba, Kazuhiro; Tsukada, Takeshi 3 2014 Automatic termination verification for higher-order functional programs. Zbl 1347.68231Kuwahara, Takuya; Terauchi, Tachio; Unno, Hiroshi; Kobayashi, Naoki 3 2014 Asynchronous communication model based on linear logic. Zbl 0835.68016Kobayashi, Naoki; Yonezawa, Akinori 3 1995 Functional programs as compressed data. Zbl 1360.68332Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya 3 2012 Model-checking higher-order programs with recursive types. Zbl 1381.68170Kobayashi, Naoki; Igarashi, Atsushi 3 2013 Fold/unfold transformations for fixpoint logic. Zbl 1483.68196Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti 3 2020 Undecidability of 2-label BPP equivalences and behavioral type systems for the \(\pi \)-calculus. Zbl 1171.68573Kobayashi, Naoki; Suto, Takashi 3 2007 Type-based verification of correspondence assertions for communication protocols. Zbl 1137.68436Kikuchi, Daisuke; Kobayashi, Naoki 3 2007 Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness. Zbl 0998.68085Kobayashi, Naoki 3 2000 On the termination problem for probabilistic higher-order recursive programs. Zbl 1490.68134Kobayashi, Naoki; Lago, Ugo Dal; Grellois, Charles 2 2020 ICE-based refinement type discovery for higher-order functional programs. Zbl 1468.68059Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke 2 2020 Resource usage analysis for the \(\pi \)-calculus. Zbl 1126.68057Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian 2 2006 Pumping lemma for higher-order languages. Zbl 1442.68078Asada, Kazuyuki; Kobayashi, Naoki 2 2017 RustHorn: CHC-based verification for Rust programs. Zbl 1508.68071Matsushita, Yusuke; Tsukada, Takeshi; Kobayashi, Naoki 2 2020 Higher-order model checking in direct style. Zbl 1483.68206Terao, Taku; Tsukada, Takeshi; Kobayashi, Naoki 2 2016 Type-based automated verification of authenticity in asymmetric cryptographic protocols. Zbl 1348.68129Dahl, Morten; Kobayashi, Naoki; Sun, Yunde; Hüttel, Hans 2 2011 Distributed concurrent linear logic programming. Zbl 0954.68033Kobayashi, Naoki; Shimizu, Toshihiro; Yonezawa, Akinori 2 1999 Deadlock analysis of unbounded process networks. Zbl 1355.68193Kobayashi, Naoki; Laneve, Cosimo 2 2017 Pairwise reachability analysis for higher order concurrent programs by higher-order model checking. Zbl 1417.68107Yasukata, Kazuhide; Kobayashi, Naoki; Matsuda, Kazutaka 1 2014 Undecidable equivalences for basic parallel processes. Zbl 1167.68041Hüttel, Hans; Kobayashi, Naoki; Suto, Takashi 1 2009 Dynamic scaling of the growing rough surfaces. Zbl 1060.92015Kobayashi, Naoki; Moriyama, Osamu; Kitsunezaki, So; Yamazaki, Yoshihiro; Matsushita, Mitsugu 1 2004 Region-based memory management for a dynamically-typed language. Zbl 1116.68375Nagata, Akihito; Kobayashi, Naoki; Yonezawa, Akinori 1 2004 Complexity of model-checking call-by-value programs. Zbl 1405.68189Tsukada, Takeshi; Kobayashi, Naoki 1 2014 An intersection type system for deterministic pushdown automata. Zbl 1362.68157Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Automata-based abstraction for automated verification of higher-order tree-processing programs. Zbl 1329.68065Matsumoto, Yuma; Kobayashi, Naoki; Unno, Hiroshi 1 2015 Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Zbl 1316.68013 1 2015 Compact bit encoding schemes for simply-typed lambda-terms. Zbl 1361.68051Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi 1 2016 Automatically disproving fair termination of higher-order functional programs. Zbl 1361.68153Watanabe, Keiichi; Sato, Ryosuke; Tsukada, Takeshi; Kobayashi, Naoki 1 2016 Type-based automated verification of authenticity in cryptographic protocols. Zbl 1234.94077Kikuchi, Daisuke; Kobayashi, Naoki 1 2009 Exact flow analysis by higher-order model checking. Zbl 1354.68050Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Type-based analysis of deadlock for a concurrent calculus with interrupts. Zbl 1187.68143Suenaga, Kohei; Kobayashi, Naoki 1 2007 Untyped recursion schemes and infinite intersection types. Zbl 1284.68139Tsukada, Takeshi; Kobayashi, Naoki 1 2010 Partial order reduction for verification of spatial properties of pi-calculus processes. Zbl 1272.68217Affeldt, Reynald; Kobayashi, Naoki 1 2005 Streett automata model checking of higher-order recursion schemes. Zbl 1441.68135Suzuki, Ryota; Fujima, Koichi; Kobayashi, Naoki; Tsukada, Takeshi 1 2017 Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8–10, 2006. Proceedings. Zbl 1133.68007 1 2006 Formalization and verification of a mail server in Coq. Zbl 1033.68502Affeldt, Reynald; Kobayashi, Naoki 1 2003 Distributed and concurrent objects based on linear logic. Zbl 0928.68005Kobayashi, Naoki; Yonezawa, Akinori 1 1999 Useless-code elimination and program slicing for the pi-calculus. Zbl 1254.68080Kobayashi, Naoki 1 2003 Fold/unfold transformations for fixpoint logic. Zbl 1483.68196Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti 3 2020 On the termination problem for probabilistic higher-order recursive programs. Zbl 1490.68134Kobayashi, Naoki; Lago, Ugo Dal; Grellois, Charles 2 2020 ICE-based refinement type discovery for higher-order functional programs. Zbl 1468.68059Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke 2 2020 RustHorn: CHC-based verification for Rust programs. Zbl 1508.68071Matsushita, Yusuke; Tsukada, Takeshi; Kobayashi, Naoki 2 2020 Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. Zbl 1429.68120Kobayashi, Naoki 3 2019 ICE-based refinement type discovery for higher-order functional programs. Zbl 1468.68058Champion, Adrien; Chiba, Tomoya; Kobayashi, Naoki; Sato, Ryosuke 5 2018 Higher-order program verification via HFL model checking. Zbl 1418.68127Kobayashi, Naoki; Tsukada, Takeshi; Watanabe, Keiichi 4 2018 On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Zbl 1380.68277Kobayashi, Naoki; Lozes, Étienne; Bruse, Florian 4 2017 Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence. Zbl 1486.68035Sin’ya, Ryoma; Asada, Kazuyuki; Kobayashi, Naoki; Tsukada, Takeshi 4 2017 Pumping lemma for higher-order languages. Zbl 1442.68078Asada, Kazuyuki; Kobayashi, Naoki 2 2017 Deadlock analysis of unbounded process networks. Zbl 1355.68193Kobayashi, Naoki; Laneve, Cosimo 2 2017 Streett automata model checking of higher-order recursion schemes. Zbl 1441.68135Suzuki, Ryota; Fujima, Koichi; Kobayashi, Naoki; Tsukada, Takeshi 1 2017 Temporal verification of higher-order functional programs. Zbl 1347.68233Murase, Akihiro; Terauchi, Tachio; Kobayashi, Naoki; Sato, Ryosuke; Unno, Hiroshi 4 2016 On word and frontier languages of unsafe higher-order grammars. Zbl 1388.68157Asada, Kazuyuki; Kobayashi, Naoki 3 2016 Higher-order model checking in direct style. Zbl 1483.68206Terao, Taku; Tsukada, Takeshi; Kobayashi, Naoki 2 2016 Compact bit encoding schemes for simply-typed lambda-terms. Zbl 1361.68051Takeda, Kotaro; Kobayashi, Naoki; Yaguchi, Kazuya; Shinohara, Ayumi 1 2016 Automatically disproving fair termination of higher-order functional programs. Zbl 1361.68153Watanabe, Keiichi; Sato, Ryosuke; Tsukada, Takeshi; Kobayashi, Naoki 1 2016 Predicate abstraction and CEGAR for disproving termination of higher-order functional programs. Zbl 1381.68035Kuwahara, Takuya; Sato, Ryosuke; Unno, Hiroshi; Kobayashi, Naoki 7 2015 Automata-based abstraction for automated verification of higher-order tree-processing programs. Zbl 1329.68065Matsumoto, Yuma; Kobayashi, Naoki; Unno, Hiroshi 1 2015 Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Zbl 1316.68013 1 2015 Deadlock analysis of unbounded process networks. Zbl 1417.68128Giachino, Elena; Kobayashi, Naoki; Laneve, Cosimo 4 2014 A ZDD-based efficient higher-order model checking algorithm. Zbl 1453.68103Terao, Taku; Kobayashi, Naoki 4 2014 Unsafe order-2 tree languages are context-sensitive. Zbl 1405.68167Kobayashi, Naoki; Inaba, Kazuhiro; Tsukada, Takeshi 3 2014 Automatic termination verification for higher-order functional programs. Zbl 1347.68231Kuwahara, Takuya; Terauchi, Tachio; Unno, Hiroshi; Kobayashi, Naoki 3 2014 Pairwise reachability analysis for higher order concurrent programs by higher-order model checking. Zbl 1417.68107Yasukata, Kazuhide; Kobayashi, Naoki; Matsuda, Kazutaka 1 2014 Complexity of model-checking call-by-value programs. Zbl 1405.68189Tsukada, Takeshi; Kobayashi, Naoki 1 2014 Model checking higher-order programs. Zbl 1281.68157Kobayashi, Naoki 15 2013 Saturation-based model checking of higher-order recursion schemes. Zbl 1356.68141Broadbent, Christopher; Kobayashi, Naoki 13 2013 Practical alternating parity tree automata model checking of higher-order recursion schemes. Zbl 1426.68171Fujima, Koichi; Ito, Sohei; Kobayashi, Naoki 4 2013 Automating relatively complete verification of higher-order functional programs. Zbl 1301.68182Unno, Hiroshi; Terauchi, Tachio; Kobayashi, Naoki 3 2013 Pumping by typing. Zbl 1366.68120Kobayashi, Naoki 3 2013 Model-checking higher-order programs with recursive types. Zbl 1381.68170Kobayashi, Naoki; Igarashi, Atsushi 3 2013 Functional programs as compressed data. Zbl 1360.68332Kobayashi, Naoki; Matsuda, Kazutaka; Shinohara, Ayumi; Yaguchi, Kazuya 3 2012 An intersection type system for deterministic pushdown automata. Zbl 1362.68157Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Exact flow analysis by higher-order model checking. Zbl 1354.68050Tobita, Yoshihiro; Tsukada, Takeshi; Kobayashi, Naoki 1 2012 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1237.68124Kobayashi, Naoki; Ong, C.-H. Luke 6 2011 A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes. Zbl 1326.68187Kobayashi, Naoki 4 2011 Type-based automated verification of authenticity in asymmetric cryptographic protocols. Zbl 1348.68129Dahl, Morten; Kobayashi, Naoki; Sun, Yunde; Hüttel, Hans 2 2011 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Zbl 1312.68136Kobayashi, Naoki; Tabuchi, Naoshi; Unno, Hiroshi 11 2010 Untyped recursion schemes and infinite intersection types. Zbl 1284.68139Tsukada, Takeshi; Kobayashi, Naoki 1 2010 Types and higher-order recursion schemes for verification of higher-order programs. Zbl 1315.68099Kobayashi, Naoki 20 2009 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1248.68334Kobayashi, Naoki; Ong, C.-H. Luke 3 2009 Undecidable equivalences for basic parallel processes. Zbl 1167.68041Hüttel, Hans; Kobayashi, Naoki; Suto, Takashi 1 2009 Type-based automated verification of authenticity in cryptographic protocols. Zbl 1234.94077Kikuchi, Daisuke; Kobayashi, Naoki 1 2009 Two Bessel bridges conditioned never to collide, double Dirichlet series, and Jacobi theta function. Zbl 1171.82010Katori, Makoto; Izumi, Minami; Kobayashi, Naoki 14 2008 A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474Kobayashi, Naoki; Sangiorgi, Davide 4 2008 Logical bisimulations and functional languages. Zbl 1141.68377Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro 8 2007 A Coq library for verification of concurrent programs. Zbl 1278.68152Affeldt, Reynald; Kobayashi, Naoki 5 2007 Undecidability of 2-label BPP equivalences and behavioral type systems for the \(\pi \)-calculus. Zbl 1171.68573Kobayashi, Naoki; Suto, Takashi 3 2007 Type-based verification of correspondence assertions for communication protocols. Zbl 1137.68436Kikuchi, Daisuke; Kobayashi, Naoki 3 2007 Type-based analysis of deadlock for a concurrent calculus with interrupts. Zbl 1187.68143Suenaga, Kohei; Kobayashi, Naoki 1 2007 A new type system for deadlock-free processes. Zbl 1151.68537Kobayashi, Naoki 25 2006 Resource usage analysis for the \(\pi\)-calculus. Zbl 1176.68135Kobayashi, Naoki; Suenaga, Kohei; Wischik, Lucian 4 2006 Resource usage analysis for the \(\pi \)-calculus. Zbl 1126.68057Kobayashi, 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 1 2006 Type-based information flow analysis for the \(\pi\)-calculus. Zbl 1081.68061Kobayashi, Naoki 14 2005 Partial order reduction for verification of spatial properties of pi-calculus processes. Zbl 1272.68217Affeldt, Reynald; Kobayashi, Naoki 1 2005 A generic type system for the pi-calculus. Zbl 1070.68105Igarashi, Atsushi; Kobayashi, Naoki 19 2004 Dynamic scaling of the growing rough surfaces. Zbl 1060.92015Kobayashi, Naoki; Moriyama, Osamu; Kitsunezaki, So; Yamazaki, Yoshihiro; Matsushita, Mitsugu 1 2004 Region-based memory management for a dynamically-typed language. Zbl 1116.68375Nagata, Akihito; Kobayashi, Naoki; Yonezawa, Akinori 1 2004 Type systems for concurrent programs. Zbl 1274.68076Kobayashi, Naoki 14 2003 Formalization and verification of a mail server in Coq. Zbl 1033.68502Affeldt, Reynald; Kobayashi, Naoki 1 2003 Useless-code elimination and program slicing for the pi-calculus. Zbl 1254.68080Kobayashi, Naoki 1 2003 A type system for lock-free processes. Zbl 1093.68065Kobayashi, Naoki 21 2002 Resource usage analysis. Zbl 1323.68377Igarashi, Atsushi; Kobayashi, Naoki 11 2002 A generic type system for the \(\pi\)-calculus. Zbl 1323.68410Igarashi, Atsushi; Kobayashi, Naoki 14 2001 A hybrid approach to online and offline partial evaluation. Zbl 0994.68037Sumii, Eijiro; Kobayashi, Naoki 5 2001 Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. Zbl 1046.68620Igarashi, Atsushi; Kobayashi, Naoki 10 2000 An implicitly-typed deadlock-free process calculus. Zbl 0999.68532Kobayashi, Naoki; Saito, Shin; Sumii, Eijiro 8 2000 Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness. Zbl 0998.68085Kobayashi, Naoki 3 2000 Distributed concurrent linear logic programming. Zbl 0954.68033Kobayashi, Naoki; Shimizu, Toshihiro; Yonezawa, Akinori 2 1999 Distributed and concurrent objects based on linear logic. Zbl 0928.68005Kobayashi, Naoki; Yonezawa, Akinori 1 1999 A generalized deadlock-free process calculus. Zbl 0917.68065Sumii, E.; Kobayashi, N. 5 1998 Asynchronous communication model based on linear logic. Zbl 0835.68016Kobayashi, Naoki; Yonezawa, Akinori 3 1995 Decoupling of linear time-varying systems with time delays in the control variables or state variables. Zbl 0386.93033Iwai, Z.; Seborg, D. E.; Fisher, D. G.; Kobayashi, N. 7 1978 all cited Publications top 5 cited Publications all top 5 Cited by 313 Authors 27 Kobayashi, Naoki 8 Tsukada, Takeshi 7 Sangiorgi, Davide 6 Dezani-Ciancaglini, Mariangiola 6 Schehr, Grégory 5 Dardha, Ornela 5 Hüttel, Hans 5 Majumdar, Satya N. 5 Parys, Paweł 5 Pérez, Jorge A. 5 Walukiewicz, Igor 5 Yoshida, Nobuko 4 Hennessy, Matthew C. B. 4 Kuijlaars, Arno B. J. 4 Laneve, Cosimo 4 Padovani, Luca 4 Sato, Ryosuke 4 Unno, Hiroshi 3 Acciai, Lucia 3 Asada, Kazuyuki 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 Igarashi, Atsushi 3 Jeffrey, Alan S. A. 3 Matsuda, Kazutaka 3 Murawski, Andrzej S. 3 Salvati, Sylvain 3 Tuosto, Emilio 3 Vieira, Hugo Torres 2 Afshari, Bahareh 2 Barbanera, Franco 2 Bidinger, Philippe 2 Bruse, Florian 2 Bugliesi, Michele 2 Caires, Luís 2 Carette, Jacques 2 Compagnoni, Adriana B. 2 Comtet, Alain 2 Dal Lago, Ugo 2 Delzanno, Giorgio 2 Ferrari, Gian Luigi 2 Genet, Thomas 2 Giachino, Elena 2 Hague, Matthew 2 Hermenegildo, Manuel V. 2 Hirschkoff, Daniel 2 Horne, Ross 2 Hovland, Dag 2 Inaba, Kazuhiro 2 Jaber, Guilhem 2 Kamide, Norihiro 2 Kiselyov, Oleg 2 Klemen, Maximiliano 2 König, Barbara 2 Koutavas, Vasileios 2 Kreiker, Jörg 2 Lanese, Ivan 2 Lange, Martin 2 Liqat, Umer 2 López-García, Pedro 2 Madiot, Jean-Marie 2 Majumdar, Rupak 2 Martínez-Finkelshtein, Andrei 2 Meyer, Roland 2 Muskalla, Sebastian 2 Pantović, Jovanka 2 Pun, Ka I. 2 Quaglia, Paola 2 Ravara, António 2 Sälzer, Marco 2 Shan, Chung-chieh 2 Sin’ya, Ryoma 2 Steffen, Martin 2 Stolz, Volker 2 Suenaga, Kohei 2 Suzuki, Ryota 2 Terauchi, Tachio 2 Thiemann, Peter J. 2 Thinniyam, Ramanathan S. 2 Toninho, Bernardo 2 Vasconcelos, Vasco Thudichum 2 Wielonsky, Franck 2 Zetzsche, Georg 2 Zhang, Lun 2 Zunino, Roberto 1 Abramsky, Samson 1 Affeldt, Reynald 1 Atkey, Robert 1 Baillot, Patrick 1 Balzer, Stephanie 1 Basold, Henning 1 Bendkowski, Maciej 1 Bengtson, Jesper 1 Berger, Martin J. 1 Bezem, Marc ...and 213 more Authors all top 5 Cited in 35 Serials 20 Information and Computation 18 Theoretical Computer Science 12 Logical Methods in Computer Science 8 MSCS. Mathematical Structures in Computer Science 8 The Journal of Logic and Algebraic Programming 7 Acta Informatica 7 Journal of Functional Programming 7 Journal of Logical and Algebraic Methods in Programming 4 Journal of Statistical Physics 4 Formal Aspects of Computing 3 Communications in Mathematical Physics 3 Journal of Automated Reasoning 3 Higher-Order and Symbolic Computation 3 Theory and Practice of Logic Programming 2 Formal Methods in System Design 1 Communications on Pure and Applied Mathematics 1 Journal d’Analyse Mathématique 1 Journal of Mathematical Physics 1 Nuclear Physics. B 1 Physics Reports 1 Information Sciences 1 European Journal of Combinatorics 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Constructive Approximation 1 New Generation Computing 1 Algorithmica 1 Distributed Computing 1 The Electronic Journal of Combinatorics 1 Theory of Computing Systems 1 Physical Review Letters 1 ACM Transactions on Computational Logic 1 Algorithms 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 20 Fields 181 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 14 Probability theory and stochastic processes (60-XX) 9 Statistical mechanics, structure of matter (82-XX) 5 Information and communication theory, circuits (94-XX) 4 Quantum theory (81-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Statistics (62-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Mechanics of particles and systems (70-XX) 1 Biology and other natural sciences (92-XX) Citations by Year