• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kobayashi Naoki  小林 直樹

ORCIDConnect your ORCID iD *help
… Alternative Names

KOBAYASHI Naoki  小林 直樹

Less
Researcher Number 00262155
Other IDs
Affiliation (Current) 2025: 東京大学, 大学院情報理工学系研究科, 教授
Affiliation (based on the past Project Information) *help 2015 – 2024: 東京大学, 大学院情報理工学系研究科, 教授
2016: 東京大学, 情報理工学系研究科, 教授
2012 – 2015: 東京大学, 情報理工学(系)研究科, 教授
2011: Tohoku University, 情報科学研究科, 教授
2007 – 2011: Tohoku University, 大学院・情報科学研究科, 教授 … More
2006: 東北大学, 大学院情報科学研究科, 教授
2004 – 2005: 東北大学, 大学院・情報科学研究科, 教授
2003: 東京工業大学, 工学部, 助教授
2003: 東京工業大学, 情報理工学研究科, 助教授
2000 – 2003: Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Assoc. Prof., 大学院・情報理工学研究科, 助教授
2002: Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Associate Professor, 大学院・情報理工学研究所, 助教授
2000: 東京大学, 大学院・理学研究科, 専任講師
1996 – 2000: 東京大学, 大学院・理学系研究科, 講師
1995: University of Tokyo, Graduate School of Science, Research Associate, 大学院・理学系研究科, 助手
1994: 東京大学, 大学院理学系研究科, 助手 Less
Review Section/Research Field
Principal Investigator
計算機科学 / Science and Engineering / Fundamental theory of informatics / Software / Broad Section J / Medium-sized Section 60:Information science, computer engineering, and related fields / Theory of informatics
Except Principal Investigator
計算機科学 / Software / Software / Fundamental theory of informatics
Keywords
Principal Investigator
型システム / プログラム検証 / 高階モデル検査 / プログラム解析 / デッドロック / 並行プログラミング言語 / 高階不動点論理 / 関数型プログラム / 型理論 / プログラム変換 … More / 情報流解析 / 資源使用法解析 / 並行プログラム / モデル検査 / 分散プログラミング言語 / 線形論理 / information flow analysis / program analysis / 型推論 / Java / 関数型言語 / 高階文法 / データ圧縮 / 高階再帰スキーム / XML / XML文書型 / バッファリング / ストリーム処理 / 木構造処理 / 順序付き線形型 / ソフトウェア検証 / Coq / 定理証明支援器 / リージョン推論 / メモリ管理 / 線形型 / プロセス計算 / 静的解析 / 並列言語 / 機械学習 / 確率付き高階不動点論理 / 共通型 / 高階論理 / 確率付き文法 / 不動点論理 / concurrent programs / functional programs / type theory / program verification / 双模倣 / 割り込み / 線形最適化問題 / プログラム等価性 / resource / static analysis of communication / proof assistant / safety / concurrent program / security / type system / ライブロック / 様相論理 / 計算資源 / 通信の解析 / 安全性 / セキュリティ / resource usage analysis / functional language / type inference / garbage collection / region inference / memory management / quasi-linear types / linear type system / 通信チャネル / 並行言語 / 並列計算機 / 資源使用解析 / ガベージコレクション / 擬似線形型 / 線形型システム / object-oriented programming / linear logic / process calculus / deadlock / type systems / concurrency / distributed programming / 部分評価 / オブジェクト指向 / ツリーオートマトン / メモリ使用法解析 / 述語抽象化 / 資源使用法検証 / 順序付非線形型 / 順序付線形型 / 構成的プログラミング / プログラム抽出 / リ-ジョン推論 / 並列オブジェクト指向 / 並列計算 … More
Except Principal Investigator
線形論理 / 並列言語 / 並列オブジェクト / 実時間システム / 形式検証 / 形式仕様 / Web Crawling / Concurrent objects / ABCL / 証明論 / 論理的手法 / 証明支援系 / 仕様記述・検証 / ソフトウェアの安全性 / 証明検証 / 型理論 / クラス理論 / proof theory / real-time system / formal verification / formal specification / linear logic / logical method / Real-Time System / Formal Specification / Formal Verifieation / Linear Logic / 定時間システム / Software Substrate / adaptive / Grid Computing / 動的コード生成 / プログラム特化 / ボトルネック / 性能予測 / 並列・分散ごみ集め / タスク配置 / 適応的計算 / 性能予測モデル / 並列GC / 並列メモリ管理 / 共有メモリ / 排他制御 / 自己組織化ネットワーク / 動的負荷分散 / 自動並列化 / 基盤ソフトウェア / 適応的 / Grid計算 / distributed GC / multithread / partial evaluation / deadlock / type systems / synchronous channels / concurrent objects / concurrent programming language / 並列プログラミング / 分散GC / マルチスレッド / 部分計算 / デッドロック / 型システム / 同期チャネル / 並列プログラミング言語 / Static analysis / Linear logic / Concurrent computation / 型推論 / 並列オブジェクト指向言語 / 並列計算 / 線型タイプ / 静的解析 / 並列オブジェクト指向 / 並行計算 / Debugging schemes / Multi-threading / Message passing / MIMD machine / Parallel language / f language / Compiler implementation / AP1000 / スーパーコンピューティング / 実行支援系 / MIMD / コンパイラ / 超並列計算機 / 並列オブジェクト言語 / ガ-ベジコレクション / ユンパイラ / 起並列MIMD型計算機 / Schematic / デバッグ方式 / f / ASCL / 言語処理系 / 超並列MIMD型計算機 / デバギング方式 / マルチ・スレディング / メッセージ送受信 / MIMD計算機 / f言語 / コンパイラ実装 Less
  • Research Projects

    (26 results)
  • Research Products

    (193 results)
  • Co-Researchers

    (33 People)
  •  Program Verification Based on Higher-Order Fixpoint LogicPrincipal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2020
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      The University of Tokyo
  •  Program Verification Techniques for the AI EraPrincipal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Review Section
      Broad Section J
    • Research Institution
      The University of Tokyo
  •  Refinement and Extension of Higher-Order Model CheckingPrincipal Investigator

    • Principal Investigator
      Kobayashi Naoki
    • Project Period (FY)
      2015 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Theory of informatics
    • Research Institution
      The University of Tokyo
  •  Construction of a self-extendable software verification system based on class theory

    • Principal Investigator
      Sato Masahiko
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Kyoto University
  •  Higher-Order Model Checking and its ApplicationsPrincipal Investigator

    • Principal Investigator
      Kobayashi Naoki
    • Project Period (FY)
      2011 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Tokyo
      Tohoku University
  •  Advancement and Application of Type Theory for Improving Software SafetyPrincipal Investigator

    • Principal Investigator
      KOBAYASHI Naoki
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Tohoku University
  •  順序付き線形型に基づく安全かつ高速な大規模データ処理の実現Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2007 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Tohoku University
  •  順序付き線形型に基づく安全かつ高速な大規模データ処理の実現Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2006
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Tohoku University
  •  Type Theory for Software SafetyPrincipal Investigator

    • Principal Investigator
      KOBAYSHI Naoki
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Tohoku University
  •  型システムとモデル検査の融合によるソフトウェア検証Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      Software
    • Research Institution
      Tohoku University
  •  日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Keio University
  •  New development in the matured linear logic research and its applications

    • Principal Investigator
      OKADA Mituhiro
    • Project Period (FY)
      2003 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      Keio University
  •  プログラム解析のための統一型理論の構築・検証とそれに基づく解析器の自動合成Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2002 – 2004
    • Research Category
      Grant-in-Aid for Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Tohoku University
      Tokyo Institute of Technology
  •  Type Systems for Secure ComputingPrincipal Investigator

    • Principal Investigator
      KOBAYASHI Naoki
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Tokyo Institute of Technology
  •  Adaptive Software Substrate for High Performance Wide Area Computing

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      THE UNIVERSITY OF TOKYO
  •  Theory of formal specification and verification of concurrency systems and real-time systems based on linear logic

    • Principal Investigator
      OKADA Mitsuhiro
    • Project Period (FY)
      2000 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Memory Management Scheme Based on the Quasi-Linear Type SystemPrincipal Investigator

    • Principal Investigator
      KOBAYASHI Naoki
    • Project Period (FY)
      1999 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
      The University of Tokyo
  •  様相線形論理に基づく分散計算モデルおよび型システムの研究Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      The University of Tokyo
  •  Implementation of Distributed Programming Languages Based on Advanced Theory for Concurrent/Distributed ComputationPrincipal Investigator

    • Principal Investigator
      KOBAYASHI Naoki
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      計算機科学
    • Research Institution
      Tokyo Institute of Technology
      The University of Tokyo
  •  様相線形論理に基づく分散計算モデルおよび型システムの研究Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      The University of Tokyo
  •  先進的型システムに基づく並列プログラミング言語のデバッガ及びメモリ管理の研究Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  非同期通信に基づく並列言語の静的解析とそれに基づく最適化Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  StackThreads/MP : Integrating Futures into Calling Standards

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      1996 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  線形論理プログラミングHACLに基づく型つき並列オブジェクト指向言語の実装Principal Investigator

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Tokyo
  •  Design and Implementation of Concurrent Programming Language based on Linear Logic

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tokyo
  •  Efficient Implementation of Concurrent Object-Oriented Languages for General Purpose MIMD Parallel Computers.

    • Principal Investigator
      YONEZAWA Akinori
    • Project Period (FY)
      1993 – 1995
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      計算機科学
    • Research Institution
      University of Tokyo

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation

  • [Journal Article] Neural Network-Guided Synthesis of Recursive List Functions2023

    • Author(s)
      Naoki Kobayashi, Minchao Wu
    • Journal Title

      Proceedings of TACAS 2023, Springer LNCS

      Volume: 13993 Pages: 227-245

    • DOI

      10.1007/978-3-031-30823-9_12

    • ISBN
      9783031308222, 9783031308239
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] HFL(Z) Validity Checking for Automated Program Verification2023

    • Author(s)
      Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, and Takeshi Tsukada
    • Journal Title

      Proceedings of the ACM on Programming Languages, Issue POPL, ACM

      Volume: 7 Issue: POPL Pages: 154-184

    • DOI

      10.1145/3571199

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Gradual Tensor Shape Checking2023

    • Author(s)
      Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
    • Journal Title

      Proceedings of ESOP 2023, Springer LNCS

      Volume: 13990 Pages: 197-224

    • DOI

      10.1007/978-3-031-30044-8_8

    • ISBN
      9783031300431, 9783031300448
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] On Higher-Order Reachability Games Vs May Reachability2022

    • Author(s)
      Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi
    • Journal Title

      Proceedings of RP 2022, Springer LNCS

      Volume: 13608 Pages: 108-124

    • DOI

      10.1007/978-3-031-19135-0_8

    • ISBN
      9783031191343, 9783031191350
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Parameterized Recursive Refinement Types for Automated Program Verification2022

    • Author(s)
      Ryoya Mukai, Naoki Kobayashi, Ryosuke Sato
    • Journal Title

      Proceedings of SAS 2022, Springer LNCS

      Volume: 13790 Pages: 397-421

    • DOI

      10.1007/978-3-031-22308-2_18

    • ISBN
      9783031223075, 9783031223082
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Asynchronous Unfold/Fold Transformation for Fixpoint Logic2022

    • Author(s)
      Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
    • Journal Title

      Proceedings of FLOPS 2022, Springer LNCS

      Volume: 13215 Pages: 39-56

    • DOI

      10.1007/978-3-030-99461-7_3

    • ISBN
      9783030994600, 9783030994617
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Symbolic Automatic Relations and Their Applications to SMT and CHC Solving2021

    • Author(s)
      Shimoda Takumi、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke
    • Journal Title

      Proceedings of SAS 2021, Springer LNCS

      Volume: 12913 Pages: 405-428

    • DOI

      10.1007/978-3-030-88806-0_20

    • ISBN
      9783030888053, 9783030888060
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Toward Neural-Network-Guided Program Synthesis and Verification2021

    • Author(s)
      Kobayashi Naoki、Sekiyama Taro、Sato Issei、Unno Hiroshi
    • Journal Title

      Lecture Notes in Computer Science (SAS)

      Volume: 12913 Pages: 236-260

    • DOI

      10.1007/978-3-030-88806-0_12

    • ISBN
      9783030888053, 9783030888060
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K20247, KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-23K20380
  • [Journal Article] Counterexample generation for program verification based on ownership refinement types2021

    • Author(s)
      Ueno Hideto、Toman John、Kobayashi Naoki、Tsukada Takeshi
    • Journal Title

      Proceedings of PEPM 2021, ACM Press

      Volume: - Pages: 44-57

    • DOI

      10.1145/3441296.3441396

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Inside-Outside Algorithm for Macro Grammars2021

    • Author(s)
      Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
    • Journal Title

      Proceedings of Machine Learning Research

      Volume: 153 Pages: 32-46

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes2021

    • Author(s)
      Patrick Baillot, Alexis Ghyselen, Naoki Kobayashi
    • Journal Title

      Proceedings of CONCUR 2021, LIPIcs

      Volume: 203

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] A Probabilistic Higher-order Fixpoint Logic2021

    • Author(s)
      Mitani Yo、Kobayashi Naoki、Tsukada Takeshi
    • Journal Title

      Logical Methods in Computer Science

      Volume: Volume 17, Issue 4 Pages: 1-36

    • DOI

      10.46298/lmcs-17(4:15)2021

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] A Cyclic Proof System for HFL_N2021

    • Author(s)
      Mayuko Kori, Takeshi Tsukada, and Naoki Kobayashi
    • Journal Title

      Proceedings of CONCUR 2021, LIPIcs

      Volume: 203

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination2021

    • Author(s)
      Shoshi Tsubasa、Ishikawa Takuma、Kobayashi Naoki、Sakayori Ken、Sato Ryosuke、Tsukada Takeshi
    • Journal Title

      Proceedings of APLAS 2021, Springer LNCS

      Volume: 13008 Pages: 265-284

    • DOI

      10.1007/978-3-030-89051-3_15

    • ISBN
      9783030890506, 9783030890513
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] RustHorn: CHC-based Verification for Rust Programs2021

    • Author(s)
      Matsushita Yusuke、Tsukada Takeshi、Kobayashi Naoki
    • Journal Title

      ACM Transactions on Programming Languages and Systems

      Volume: 43 Issue: 4 Pages: 1-54

    • DOI

      10.1145/3462205

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703, KAKENHI-PROJECT-22KJ0561
  • [Journal Article] An Overview of the HFL Model Checking Project2021

    • Author(s)
      Kobayashi Naoki
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 344 Pages: 1-12

    • DOI

      10.4204/eptcs.344.1

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Journal Article] A New Refinement Type System for Automated nu-HFLZ Validity Checking2020

    • Author(s)
      Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, and Takeshi Tsukada
    • Journal Title

      Proceedings of APLAS 2020, Springer LNCS

      Volume: 12470

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H00577
  • [Journal Article] ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2020

    • Author(s)
      Champion Adrien、Chiba Tomoya、Kobayashi Naoki、Sato Ryosuke
    • Journal Title

      Journal of Automated Reasoning

      Volume: 64 Issue: 7 Pages: 1393-1418

    • DOI

      10.1007/s10817-020-09571-y

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs2020

    • Author(s)
      Toman John、Siqi Ren、Suenaga Kohei、Igarashi Atsushi、Kobayashi Naoki
    • Journal Title

      Proceedings of ESOP 2020, Springer LNCS

      Volume: 12075 Pages: 684-714

    • DOI

      10.1007/978-3-030-44914-8_25

    • NAID

      120006879514

    • ISBN
      9783030449131, 9783030449148
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706, KAKENHI-PROJECT-19H04084
  • [Journal Article] Fold/Unfold Transformations for Fixpoint Logic2020

    • Author(s)
      Kobayashi Naoki、Fedyukovich Grigory、Gupta Aarti
    • Journal Title

      Proceedings of TACAS 2020, Springer LNCS

      Volume: 12079 Pages: 195-214

    • DOI

      10.1007/978-3-030-45237-7_12

    • ISBN
      9783030452360, 9783030452377
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] On Average-Case Hardness of Higher-Order Model Checking2020

    • Author(s)
      Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
    • Journal Title

      Proceedings of FSCD 2020, LIPIcs

      Volume: 167

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking2020

    • Author(s)
      Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki and Takeshi Tsukada
    • Journal Title

      Proceedings of SAS 2020, Springer LNCS

      Volume: 12389

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H00577
  • [Journal Article] Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars2020

    • Author(s)
      Kazuyuki Asada and Naoki Kobayashi
    • Journal Title

      Proceedings of FSCD 2020, LIPIcs

      Volume: 167

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] RustHorn: CHC-Based Verification for Rust Programs2020

    • Author(s)
      Matsushita Yusuke、Tsukada Takeshi、Kobayashi Naoki
    • Journal Title

      Proceedings of ESOP 2020, Springer LNCS

      Volume: 12075 Pages: 484-514

    • DOI

      10.1007/978-3-030-44914-8_18

    • ISBN
      9783030449131, 9783030449148
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Grammar Compression with Probabilistic Context-Free Grammar2020

    • Author(s)
      Naganuma Hiroaki、Hendrian Diptarama、Yoshinaka Ryo、Shinohara Ayumi、Kobayashi Naoki
    • Journal Title

      Proceedings of DCC 2020, IEEE

      Volume: - Pages: 386-386

    • DOI

      10.1109/dcc47342.2020.00093

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] A Probabilistic Higher-Order Fixpoint Logic2020

    • Author(s)
      Yo Mitani, Naoki Kobayashi, and Takeshi Tsukada
    • Journal Title

      Proceedings of FSCD 2020, LIPIcs

      Volume: 167

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H00577
  • [Journal Article] A Probabilistic Higher-Order Fixpoint Logic2020

    • Author(s)
      Yo Mitani, Naoki Kobayashi, Takeshi Tsukada
    • Journal Title

      Proceedings of FSCD 2020, LIPIcs

      Volume: 167

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence2019

    • Author(s)
      Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
    • Journal Title

      Logical Methods in Computer Science

      Volume: 15

    • DOI

      10.23638/LMCS-15(1:16)2019

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] An improvement of the Franek-Jennings-Smyth pattern matching algorithm2019

    • Author(s)
      Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, and Ayumi Shinohara
    • Journal Title

      Proceedings of the Prague Stringology Conference 2019 (PSC 2019)

      Volume: - Pages: 56-68

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Reduction from branching-time property verification of higher-order programs to HFL validity checking2019

    • Author(s)
      Watanabe Keiichi、Tsukada Takeshi、Oshikawa Hiroki、Kobayashi Naoki
    • Journal Title

      Proceedings of PEPM 2019

      Volume: - Pages: 22-34

    • DOI

      10.1145/3294032.3294077

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] A Type-Based HFL Model Checking Algorithm2019

    • Author(s)
      Hosoi Youkichi、Kobayashi Naoki、Tsukada Takeshi
    • Journal Title

      Proceedings of APLAS 2019, Springer LNCS

      Volume: 11893 Pages: 136-155

    • DOI

      10.1007/978-3-030-34175-6_8

    • ISBN
      9783030341749, 9783030341756
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] A Temporal Logic for Higher-Order Functional Programs2019

    • Author(s)
      Okuyama Yuya、Tsukada Takeshi、Kobayashi Naoki
    • Journal Title

      Proceedings of SAS 2019, Springer LNCS

      Volume: 11822 Pages: 437-458

    • DOI

      10.1007/978-3-030-32304-2_21

    • ISBN
      9783030323035, 9783030323042
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] On the Termination Problem for Probabilistic Higher-Order Recursive Programs2019

    • Author(s)
      Kobayashi Naoki、Dal Lago Ugo、Grellois Charles
    • Journal Title

      Proceedings of LICS 2019

      Volume: - Pages: 1-14

    • DOI

      10.1109/lics.2019.8785679

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Temporal Verification of Programs via First-Order Fixpoint Logic2019

    • Author(s)
      Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno
    • Journal Title

      In Proceedings of the 26th International Symposium (SAS 2019), Lecture Notes in Computer Science

      Volume: 11822 Pages: 413-436

    • DOI

      10.1007/978-3-030-32304-2_20

    • ISBN
      9783030323035, 9783030323042
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17H01720, KAKENHI-PROJECT-16H05856, KAKENHI-PROJECT-15H05706
  • [Journal Article] Combining higher-order model checking with refinement type inference2019

    • Author(s)
      Sato Ryosuke、Iwayama Naoki、Kobayashi Naoki
    • Journal Title

      Proceedings of PEPM 2019

      Volume: - Pages: 47-53

    • DOI

      10.1145/3294032.3294081

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Higher-Order Program Verification via HFL Model Checking2018

    • Author(s)
      Kobayashi Naoki、Tsukada Takeshi、Watanabe Keiichi
    • Journal Title

      Proceedings of the 27th European Symposium on Programming

      Volume: 0 Pages: 711-738

    • DOI

      10.1007/978-3-319-89884-1_25

    • ISBN
      9783319898834, 9783319898841
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K16004, KAKENHI-PROJECT-15H05706
  • [Journal Article] HoIce: An ICE-Based Non-linear Horn Clause Solver2018

    • Author(s)
      Champion Adrien、Kobayashi Naoki、Sato Ryosuke
    • Journal Title

      Proceedings of APLAS 2018, Springer LNCS

      Volume: 11275 Pages: 146-156

    • DOI

      10.1007/978-3-030-02768-1_8

    • ISBN
      9783030027674, 9783030027681
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Automated Synthesis of Functional Programs with Auxiliary Functions2018

    • Author(s)
      Eguchi Shingo、Kobayashi Naoki、Tsukada Takeshi
    • Journal Title

      Proceedings of APLAS 2018, Springer LNCS

      Volume: 11275 Pages: 223-241

    • DOI

      10.1007/978-3-030-02768-1_13

    • ISBN
      9783030027674, 9783030027681
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] ICE-Based Refinement Type Discovery for Higher-Order Functional Programs2018

    • Author(s)
      Champion Adrien、Chiba Tomoya、Kobayashi Naoki、Sato Ryosuke
    • Journal Title

      Proceedings of TACAS 2018, Springer LNCS

      Volume: 10805 Pages: 365-384

    • DOI

      10.1007/978-3-319-89960-2_20

    • ISBN
      9783319899596, 9783319899602
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered2018

    • Author(s)
      Kazuyuki Asada, Naoki Kobayashi
    • Journal Title

      Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

      Volume: LIPIcs 122 Pages: 1-15

    • DOI

      10.4230/LIPICS.FSTTCS.2018.14

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K11156, KAKENHI-PROJECT-15H05706
  • [Journal Article] Deadlock analysis of unbounded process networks2017

    • Author(s)
      Kobayashi Naoki、Laneve Cosimo
    • Journal Title

      Information and Computation

      Volume: 252 Pages: 48-70

    • DOI

      10.1016/j.ic.2016.03.004

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence2017

    • Author(s)
      Sin’ya Ryoma, Asada Kazuyuki, Kobayashi Naoki and Tsukada Takeshi
    • Journal Title

      Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures

      Volume: 0 Pages: 53-68

    • DOI

      10.1007/978-3-662-54458-7_4

    • ISBN
      9783662544570, 9783662544587
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K16004, KAKENHI-PROJECT-15H05706
  • [Journal Article] Modular Verification of Higher-Order Functional Programs2017

    • Author(s)
      Sato Ryosuke、Kobayashi Naoki
    • Journal Title

      Proceedings of ESOP 2017, Springer LNCS

      Volume: 10201 Pages: 831-854

    • DOI

      10.1007/978-3-662-54434-1_31

    • ISBN
      9783662544334, 9783662544341
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Streett Automata Model Checking of Higher-Order Recursion Schemes2017

    • Author(s)
      Ryota Suzuki, Koichi Fujima, Naoki Kobayashi and Takeshi Tsukada
    • Journal Title

      Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction

      Volume: 0

    • DOI

      10.4230/LIPIcs.FSCD.2017.32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16K16004, KAKENHI-PROJECT-15H05706
  • [Journal Article] On the relationship between higher-order recursion schemes and higher-order fixpoint logic2017

    • Author(s)
      Kobayashi Naoki、Lozes Etienne、Bruse Florian
    • Journal Title

      Proceedings of POPL 2017

      Volume: - Pages: 246-259

    • DOI

      10.1145/3009837.3009854

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Verifying relational properties of functional programs by first-order refinement2017

    • Author(s)
      Asada Kazuyuki、Sato Ryosuke、Kobayashi Naoki
    • Journal Title

      Science of Computer Programming

      Volume: 137 Pages: 2-62

    • DOI

      10.1016/j.scico.2016.02.007

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Pumping Lemma for Higher-Order Languages2017

    • Author(s)
      Kazuyuki Asada and Naoki Kobayashi
    • Journal Title

      Proceedings of ICALP 2017, LIPIcs

      Volume: 80

    • DOI

      10.4230/LIPIcs.ICALP.2017.97

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Verification of code generators via higher-order model checking2017

    • Author(s)
      Suwa Takashi、Tsukada Takeshi、Kobayashi Naoki、Igarashi Atsushi
    • Journal Title

      Proceedings of PEPM 2017

      Volume: - Pages: 59-70

    • DOI

      10.1145/3018882.3018886

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation2016

    • Author(s)
      Kazuhide Yasukata, Takeshi Tsukada and Naoki Kobayashi
    • Journal Title

      Programming Languages and Systems

      Volume: 10017 of LNCS Pages: 335-353

    • DOI

      10.1007/978-3-319-47958-3_18

    • ISBN
      9783319479576, 9783319479583
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-16K16004, KAKENHI-PROJECT-15H05706
  • [Journal Article] Higher-Order Model Checking in Direct Style2016

    • Author(s)
      Taku Terao, Taskeshi Tsukada, and Naoki Kobayashi
    • Journal Title

      Proceedings of APLAS 2014, LNCS

      Volume: 10017 Pages: 295-313

    • DOI

      10.1007/978-3-319-47958-3_16

    • ISBN
      9783319479576, 9783319479583
    • Peer Reviewed / Acknowledgement Compliant / Open Access
    • Data Source
      KAKENHI-PROJECT-16J01038, KAKENHI-PROJECT-15H05706
  • [Journal Article] Automatically disproving fair termination of higher-order functional programs2016

    • Author(s)
      Watanabe Keiichi、Sato Ryosuke、Tsukada Takeshi、Kobayashi Naoki
    • Journal Title

      Proceedings of ICFP 2016

      Volume: - Pages: 243-255

    • DOI

      10.1145/2951913.2951919

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Compact bit encoding schemes for simply-typed lambda-terms2016

    • Author(s)
      Takeda Kotaro、Kobayashi Naoki、Yaguchi Kazuya、Shinohara Ayumi
    • Journal Title

      Proceedings of ICFP 2016

      Volume: - Pages: 146-157

    • DOI

      10.1145/2951913.2951918

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Temporal Verification of Higher-Order Functional Programs2016

    • Author(s)
      Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno
    • Journal Title

      In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices

      Volume: 51 (1) Pages: 57-68

    • DOI

      10.1145/2837614.2837667

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330082, KAKENHI-PROJECT-15H05706, KAKENHI-PROJECT-25730035, KAKENHI-PROJECT-25280020, KAKENHI-PROJECT-25280023
  • [Journal Article] Equivalence-Based Abstraction Refinement for muHORS Model Checking2016

    • Author(s)
      Li Xin、Kobayashi Naoki
    • Journal Title

      Proceedings of ATVA 2016, Springer LNCS

      Volume: 9938 Pages: 304-320

    • DOI

      10.1007/978-3-319-46520-3_20

    • ISBN
      9783319465197, 9783319465203
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] On Word and Frontier Languages of Unsafe Higher-Order Grammars2016

    • Author(s)
      Kazuyuki Asada、Naoki Kobayashi
    • Journal Title

      Proceedings of ICALP 2016

      Volume: -

    • DOI

      10.4230/LIPIcs.ICALP.2016.111

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Refinement Type Checking via Assertion Checking2015

    • Author(s)
      Ryosuke Sato, Kazuyuki Asada, Naoki Kobayashi
    • Journal Title

      Journal of Information Processing

      Volume: 23 Issue: 6 Pages: 827-834

    • DOI

      10.2197/ipsjjip.23.827

    • NAID

      130005109162

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Decision Algorithms for Checking Definability of Order-2 Finitary PCF2015

    • Author(s)
      Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi
    • Journal Title

      Proceedings of APLAS 2015, LNCS

      Volume: 9458 Pages: 313-331

    • DOI

      10.1007/978-3-319-26529-2_17

    • ISBN
      9783319265285, 9783319265292
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Journal Article] Verification of Tree-Processing Programs via Higher-Order Mode Checking2015

    • Author(s)
      Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
    • Journal Title

      Mathematical Structures in Computer Science

      Volume: Volume 25, Special Issue 04 Issue: 4 Pages: 841-866

    • DOI

      10.1017/s0960129513000054

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25730035, KAKENHI-PROJECT-23220001
  • [Journal Article] Automata-based Abstraction Refinement for muHORS Model Checking2015

    • Author(s)
      Naoki Kobayashi, Xin Li
    • Journal Title

      Proceedings of LICS 2015

      Volume: 未定

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Counterexample Finding and Abstraction Refinment for Automated Verification of Higher-Order Tree Transducers2015

    • Author(s)
      松本雄磨, 小林直樹, 海野広志
    • Journal Title

      Computer Software

      Volume: 32 Issue: 1 Pages: 1_161-1_178

    • DOI

      10.11309/jssst.32.1_161

    • NAID

      130004892316

    • ISSN
      0289-6540
    • Language
      Japanese
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25730035, KAKENHI-PROJECT-23220001
  • [Journal Article] Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs2015

    • Author(s)
      Takuya Kuwahara, Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
    • Journal Title

      Proceedings of CAV 2015, LNCS

      Volume: 9207 Pages: 287-303

    • DOI

      10.1007/978-3-319-21668-3_17

    • ISBN
      9783319216676, 9783319216683
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs2015

    • Author(s)
      Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno
    • Journal Title

      Proceedings of APLAS 2015, LNCS

      Volume: 9458 Pages: 295-312

    • DOI

      10.1007/978-3-319-26529-2_16

    • ISBN
      9783319265285, 9783319265292
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05706, KAKENHI-PROJECT-25730035
  • [Journal Article] Verifying Relational Properties of Functional Programs by First-Order Refinement2015

    • Author(s)
      Kazuyuki Asada, Ryosuke Sato, Naoki Kobayashi
    • Journal Title

      Proceedings of PEPM 2015

      Volume: なし Pages: 61-72

    • DOI

      10.1145/2678015.2682546

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Complexity of Model-Checking Call-by-Value Programs2014

    • Author(s)
      Takeshi Tsukada, Naoki Kobayashi
    • Journal Title

      Proceedings of FoSSaCS 2014, LNCS

      Volume: 8412 Pages: 180-194

    • DOI

      10.1007/978-3-642-54830-7_12

    • ISBN
      9783642548291, 9783642548307
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking2014

    • Author(s)
      Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
    • Journal Title

      Proceedings of CONCUR 2014, LNCS

      Volume: 8704 Pages: 312-326

    • DOI

      10.1007/978-3-662-44584-6_22

    • ISBN
      9783662445839, 9783662445846
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Efficient Algorithm and Coding for Higher-Order Compression2014

    • Author(s)
      Kazuya Yaguchi, Naoki Kobayashi, Ayumi Shinohara
    • Journal Title

      Proceedings of DCC 2014

      Volume: なし Pages: 434-434

    • DOI

      10.1109/dcc.2014.63

    • NAID

      110009820601

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Unsafe Order-2 Tree Languages Are Context-Sensitive2014

    • Author(s)
      Naoki Kobayashi, Kazuhiro Inaba, Takeshi Tsukada
    • Journal Title

      Proceedings of FoSSaCS 2014, LNCS

      Volume: 8412 Pages: 149-163

    • DOI

      10.1007/978-3-642-54830-7_10

    • ISBN
      9783642548291, 9783642548307
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] A ZDD-Based Efficient Higher-Order Model Checking Algorithm2014

    • Author(s)
      Taku Terao, Naoki Kobayashi
    • Journal Title

      Proceedings of APLAS 2014, LNCS

      Volume: 8858 Pages: 354-371

    • DOI

      10.1007/978-3-319-12736-1_19

    • ISBN
      9783319127354, 9783319127361
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Deadlock Analysis of Unbounded Process Networks2014

    • Author(s)
      Elena Giachino, Naoki Kobayashi, Cosimo Laneve
    • Journal Title

      Proceedings of CONCUR 2014, LNCS

      Volume: 8704 Pages: 63-77

    • DOI

      10.1007/978-3-662-44584-6_6

    • ISBN
      9783662445839, 9783662445846
    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Automatic Termination Verification for Higher-Order Functional Programs2014

    • Author(s)
      Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno, Naoki Kobayashi
    • Journal Title

      Proceedings of ESOP 2014, LNCS

      Volume: 8410 Pages: 392-411

    • DOI

      10.1007/978-3-642-54833-8_21

    • ISBN
      9783642548321, 9783642548338
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23220001, KAKENHI-PROJECT-23700026, KAKENHI-PROJECT-25280023, KAKENHI-PROJECT-25730035, KAKENHI-PROJECT-26330082
  • [Journal Article] Model-Checking Higher-Order Programs with Recursive Types2013

    • Author(s)
      Naoki Kobayashi, Atsushi Igarashi
    • Journal Title

      Proceedings of ESOP 2013, LNCS

      Volume: 7792 Pages: 431-450

    • DOI

      10.1007/978-3-642-37036-6_24

    • ISBN
      9783642370359, 9783642370366
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Saturation-Based Model Checking of Higher-Order Recursion Schemes2013

    • Author(s)
      Christopher H. Broadbent, Naoki Kobayashi
    • Journal Title

      Proceedings of CSL 2013, LIPIcs

      Volume: 23 Pages: 129-148

    • DOI

      10.4230/LIPIcs.CSL.2013.129

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes2013

    • Author(s)
      Koichi Fujima, Sohei Ito, Naoki Kobayashi
    • Journal Title

      Proceedings of APLAS 2013, LNCS

      Volume: 8301 Pages: 17-32

    • DOI

      10.1007/978-3-319-03542-0_2

    • ISBN
      9783319035413, 9783319035420
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Model Checking Higher-Order Programs2013

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Journal of the ACM

      Volume: 60(3) Issue: 3 Pages: 1-62

    • DOI

      10.1145/2487241.2487246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Automating relatively complete verification of higher-order functional programs2013

    • Author(s)
      Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi
    • Journal Title

      Proceedings of The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13

      Volume: - Pages: 75-86

    • DOI

      10.1145/2429069.2429081

    • NAID

      120007136948

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001, KAKENHI-PROJECT-23700026
  • [Journal Article] Pumping by Typing2013

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

      Volume: - Pages: 398-407

    • DOI

      10.1109/lics.2013.46

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Towards a scalable software model checker for higher-order programs2013

    • Author(s)
      Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi
    • Journal Title

      Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation (PEPM 2013)

      Volume: - Pages: 56-62

    • DOI

      10.1145/2426890.2426900

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-12J08057, KAKENHI-PROJECT-23220001
  • [Journal Article] An Intersection Type System for Deterministic Pushdown Automata2012

    • Author(s)
      Takeshi Tsukada
    • Journal Title

      Proceedings of IFIP-TCS 2012, LNCS

      Volume: 7604 Pages: 357-371

    • DOI

      10.1007/978-3-642-33475-7_25

    • ISBN
      9783642334740, 9783642334757
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-10J03842, KAKENHI-PROJECT-23220001
  • [Journal Article] Functional programs as compressed data2012

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      PEPM 2012

      Volume: - Pages: 121-130

    • DOI

      10.1145/2103746.2103770

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22300010, KAKENHI-PROJECT-23220001
  • [Journal Article] Exact Flow Analysis by Higher-Order Model Checking2012

    • Author(s)
      Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi
    • Journal Title

      Proceedings of FLOPS 2012, LNCS

      Volume: 7294 Pages: 275-289

    • DOI

      10.1007/978-3-642-29822-6_22

    • ISBN
      9783642298219, 9783642298226
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Orderd Types for Stream Processing of Tree-Structured Date2011

    • Author(s)
      Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
    • Journal Title

      Jornal of Information Processing

      Volume: Vol.52 Pages: 1-14

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes2011

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus2011

    • Author(s)
      Naoki Kobayashi, C.-H.Luke Ong
    • Journal Title

      Logical Methods in Computer Science

      Volume: 7(4)

    • DOI

      10.2168/lmcs-7(4:9)2011

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Predicate abstraction and CEGAR for higher-order model checking2011

    • Author(s)
      Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
    • Journal Title

      Proceedings of the 32^<nd> ACM SIGPLAN conference on Programming language design and implementation (PLDI 2011)

      Pages: 222-233

    • DOI

      10.1145/1993498.1993525

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Journal Article] Environmental Bisimulations for Higher-Order Languages2010

    • Author(s)
      Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
    • Journal Title

      ACM Transactions on Programming Languages and Systems (TOPLAS)

      Volume: Vol.33

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Higher-Order Multi-parameter Tree Transducers and Recursion Schemes for Program Verification2010

    • Author(s)
      Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
    • Journal Title

      Proceedings of the 37^<th> ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2010)

      Pages: 495-508

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Verification of Tree-Processing Programs via Higher-Order Model Checking2010

    • Author(s)
      Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
    • Journal Title

      Proceedings of the 8th Asian Symposium on Programming Languages and Systems (APLAS2010), Springer LNCS

      Pages: 312-327

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Higher-Order Multi-parameter Tree Transducers and Recursion Schemes for Program Verification2010

    • Author(s)
      Naoki Kobayashi, Naoshi Tabuchi and Hiroshi Unno
    • Journal Title

      roceedings of the 37th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2010)

      Pages: 495-508

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] ポインタのあるプログラミング言語のための資源使用法解析2010

    • Author(s)
      上野慎平, 小林直樹, 海野広志
    • Journal Title

      情報処理学会論文誌:プログラミング

      Volume: Vol.3 Pages: 27-42

    • NAID

      110007970954

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Untyped Recursion Schemes and Infinite Intersection Types2010

    • Author(s)
      Takeshi Tsukada, Naoki Kobayashi
    • Journal Title

      Proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'10) 6014

      Pages: 343-357

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification2010

    • Author(s)
      Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
    • Journal Title

      Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'10)

      Pages: 495-508

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] A hybrid type system for lock-freedom of mobile processes2010

    • Author(s)
      Naoki Kobayashi, Davide Sangiorgi
    • Journal Title

      ACM Transactions on Programming Languages and Systems (TOPLAS) Article Number 16

      Pages: 49-49

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] A hybrid type system for lock-freedom of mobile processes2010

    • Author(s)
      Naoki Kobayashi, Davide Sangiorgi
    • Journal Title

      ACM Transactions on Programming Languages and Systems (TOPLAS)

      Volume: 16 Pages: 49-49

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs2009

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of the 36^<th> ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)

      Pages: 416-428

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Undecidable Equivalences for Basic Parallel Processes2009

    • Author(s)
      Hans Huttel, Naoki Kobayashi, Takashi Suto
    • Journal Title

      Information and Computation 207(7)

      Pages: 812-819

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Undecidable Equivalences for Basic Parallel Processes2009

    • Author(s)
      Hans Huttel, Naoki Kobayashi, Takashi suto
    • Journal Title

      Information and Computation 207(7)巻

      Pages: 812-819

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs2009

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL2009)

      Pages: 416-428

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus2009

    • Author(s)
      Naoki Kobayashi, C.-H. Luke Ong
    • Journal Title

      Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming(ICALP'09) 5556(2)

      Pages: 223-234

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Undecidable Equivalences for Basic Parallel Processes2009

    • Author(s)
      Hans Huttel, Naoki Kobayashi and Takashi Suto
    • Journal Title

      Information and Computation

      Volume: 207(7)巻 Pages: 812-819

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Model-Checking Higher-Order Functions2009

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09)

      Pages: 25-36

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Recursion Schemes for Verification of Higher-Order Programs2009

    • Author(s)
      Naoki Kobayashi, Types and Higher-Order
    • Journal Title

      Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)

      Pages: 416-428

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Dependent Type Inference with Interpolants2009

    • Author(s)
      Hiroshi Unno, Naoki Kobayashi
    • Journal Title

      Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09)

      Pages: 277-288

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入2009

    • Author(s)
      佐藤亮介、小林直樹
    • Journal Title

      情報処理学会論文誌プログラム(PRO) Vol.1-1

      Pages: 1-14

    • NAID

      110007970840

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19024003
  • [Journal Article] A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes2009

    • Author(s)
      Naoki Kobayashi, C.-H. Luke Ong
    • Journal Title

      Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science(LICS'09)

      Pages: 179-188

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] A Hybrid Type System for Lock-Freedom of Mobile Processes2008

    • Author(s)
      Naoki Kobayashi, Davide Sangiorgi
    • Journal Title

      Proceedings of the 20th International Conference on Computer Aided Verification(CAV'08) 5123

      Pages: 80-93

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type2008

    • Author(s)
      Koichi Kodama, Kohei Suenaga and Naoki Kobayashi
    • Journal Title

      Journal of Functional Programming (出版決定)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19024003
  • [Journal Article] On-Demand Refinement of Dependent Types2008

    • Author(s)
      Hiroshi Unno, Naoki Kobayashi
    • Journal Title

      Proceedings of the 9th International Symposium on Functional and Logic Programming(FLOPS'08) 4989

      Pages: 81-96

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Tree Automata for Non-Linear Arithmetic2008

    • Author(s)
      Naoki Kobayashi, Hitoshi Ohsaki
    • Journal Title

      Proceedings of the 19th International Conference on Rewriting Techniques and Applications(RTA'08) 5117

      Pages: 291-305

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] A New Type System for JVM Lock Primitives2008

    • Author(s)
      Futoshi Iwama, Naoki Kobayashi
    • Journal Title

      New Generation Computing 26(2)

      Pages: 125-170

    • NAID

      130004548967

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] On the Complexity of Termination Inference for Processes2008

    • Author(s)
      Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi and Davide Sagiorgi
    • Journal Title

      Proceedings of Trustworthy Global Computing 2007(TGC'07), Springer Lecture Notes in Computer Science 4912

      Pages: 140-155

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] A Hybrid Type System for Lock-Freedom of Mobile Processes2008

    • Author(s)
      Naoki Kobayashi, Davide Sangiorgi
    • Journal Title

      Proceedings of the 20th International Conference on Computer Aided Verification(CAV'08) 5123

      Pages: 80-93

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Journal Article] Linear Declassification2008

    • Author(s)
      Yuta Kaneko, Naoki Kobayashi
    • Journal Title

      Proceedings of the 17th European Symposium on Programming(ESOP'08) 4960

      Pages: 224-238

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the Pi-Calculus2007

    • Author(s)
      Naoki Kobayashi, Takashi Suto
    • Journal Title

      Proceedings of the 34th International Colloquium on Automata, Languages and Programming(ICALP'07) 4596

      Pages: 740-751

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] An Algorithm to Decide Conformance of Resource Usage to Specification for Resource Usage Verification2007

    • Author(s)
      Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      IPSJ Transactions on Programming 48(SIG 4(PRO 32))

      Pages: 48-61

    • NAID

      110006242945

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Introduction of Channel Usage Declaration for Concurrent Programming Languages2007

    • Author(s)
      Takashi Suto, Naoki Kobayashi
    • Journal Title

      IPSJ Transactions on Programming 48(SIG 10(PRO 33))

      Pages: 101-113

    • NAID

      110006291060

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] 並行プログラミング言語へのチャネル使用法宣言の導入2007

    • Author(s)
      須藤崇, 小林直樹
    • Journal Title

      情報処理学会論文誌:プログラミング 48(SIG10(PRO33))

      Pages: 101-113

    • NAID

      110006291060

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts2007

    • Author(s)
      Kohei Suenaga, Naoki Kobayashi
    • Journal Title

      Proceedings of the 16th European Symposium on Programming(ESOP'07) 4421

      Pages: 490-504

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] XMLのためのストリーム処理プログラム生成器X-P2007

    • Author(s)
      佐藤修二, 末永幸平, 小林直樹
    • Journal Title

      PPL2007 論文集

      Pages: 218-218

    • Data Source
      KAKENHI-PROJECT-18049002
  • [Journal Article] Type-Based Verification of Correspondence Assertions for Communication Protocols2007

    • Author(s)
      Daisuke Kikuchi and Naoki Kobayashi
    • Journal Title

      Proceedings of the 5th Asian Symposium on Programming Languages and Systems(APLAS'07), Springer Lecture Notes in Computer Science 4807

      Pages: 191-205

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Environmental Bisimulations for Higher-Order Languages2007

    • Author(s)
      Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
    • Journal Title

      Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science(LICS'07)

      Pages: 293-302

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Type-Based Verification of Correspondence Assertions for Communication Protocols2007

    • Author(s)
      Daisuke Kikuchi, Naoki Kobayashi
    • Journal Title

      Proceedings of the 5th ASIAN Symposium on Programming Languages and Systems(APLAS'07) 4807

      Pages: 191-205

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the Pi-Calculus2007

    • Author(s)
      Naoki Kobayashi and Takashi Suto
    • Journal Title

      Proceedings of the 34th International Colloquium on Automata, Languages and Programming(ICALP'07) 4596

      Pages: 740-751

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] 計算資源使用法検証における計算資源の仕様と実際の使用法の間の適合性検証アルゴリズム2007

    • Author(s)
      岩間 太, 五十嵐 淳, 小林直樹
    • Journal Title

      情報処理学会プログラミング研究会論文誌 48・SIG4

      Pages: 48-61

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] Environmental Bisimulations for Higher-Order Languages2007

    • Author(s)
      Davide Sangiorgi, Naoki kobayashi, Eijiro Sumii
    • Journal Title

      Proceedings of IEEE Symposium on Logic in Computer Science (LICS 2007) (出版決定)

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] 計算資源使用法検証における計算資源の仕様と実際の使用法の間の適合性検証アルゴリズム2007

    • Author(s)
      岩間 太, 五十嵐 淳, 小林 直樹
    • Journal Title

      情報処理学会プログラミング研究会論文誌 48・SIG4

      Pages: 48-61

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts2007

    • Author(s)
      Kohei Suenaga, Naoki Kobayashi
    • Journal Title

      Proceedings of 16th European Symposium on Programming (ESOP'07), Springer Lecture Notes in Computer Science 4421

      Pages: 490-504

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] On the Complexity of Termination Inference for Processes2007

    • Author(s)
      Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
    • Journal Title

      Proceedings of Trustworthy Global Computing(TGC'07) 4912

      Pages: 140-155

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] 計算資源使用法検証における計算資源の仕様と実際の使用法の間の適合性検証アルゴリズム2007

    • Author(s)
      岩間太, 五十嵐淳, 小林直樹
    • Journal Title

      情報処理学会論文誌:プログラミング 48(SIG4(PRO32))

      Pages: 48-61

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource usage analysis for the pi-calculus2006

    • Author(s)
      Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    • Journal Title

      Verification, Model Checking, and Abstract Interpretation (Proceedings of UMCAI' 06) 3855

      Pages: 298-312

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource Usage Analysis for the Pi-Calculus2006

    • Author(s)
      Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    • Journal Title

      Logical Methods in Computer Science 22・2:3

      Pages: 1-42

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource usage analysis for the pi-calculus2006

    • Author(s)
      Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    • Journal Title

      Verification, Model Checking, and Abstract Interpretation (Proceedings of VMCAI'06) 3855

      Pages: 298-312

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] A New Type System for Deadlock-Free Processes2006

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of CONCUR 2006, Springer Lecture Notes in Computer Science 4137

      Pages: 233-247

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] Resource usage analysis for a functional language with exceptions2006

    • Author(s)
      Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)

      Pages: 38-47

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference2006

    • Author(s)
      Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
    • Journal Title

      Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security(PLAS'06)

      Pages: 17-26

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference2006

    • Author(s)
      Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
    • Journal Title

      Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006)

      Pages: 17-26

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource Usage Analysis for a Functional Language with Exceptions2006

    • Author(s)
      Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation(PEPM'06)

      Pages: 38-47

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource usage analysis for a functional language with exceptions2006

    • Author(s)
      Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)

      Pages: 38-47

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] A New Type System for Deadlock-Free Processes2006

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137

      Pages: 233-247

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Extension of type-based approach to generation of stream-processing programs by automatic insertion of buffering primitives2006

    • Author(s)
      Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa
    • Journal Title

      Proceedings of LOPSTER 2005 3901

      Pages: 98-114

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] A New Type System for Deadlock-Free Processes2006

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Proceedings of CONCUR 2006, Springer Lecture Notes in Computer Science 4137

      Pages: 233-247

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource Usage Analysis for the Pi-Calculus2006

    • Author(s)
      Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    • Journal Title

      Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation(VMCAI'06) 3855

      Pages: 298-312

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] A New Type System for Deadlock-Free Processes2006

    • Author(s)
      小林直樹
    • Journal Title

      Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137

      Pages: 233-247

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference2006

    • Author(s)
      Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
    • Journal Title

      Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006)

      Pages: 17-26

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] Resource Usage Analysis for the Pi-Calculus2006

    • Author(s)
      Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    • Journal Title

      Logical Methods in Computer Science 2(3:4)

      Pages: 1-42

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource Usage Analysis2005

    • Author(s)
      Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      ACM Transactions on Programming Languages and Systems 27・2(出版予定)

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] Verification of Concurrent Programs using the Coq Proof Assistant : a Case Study2005

    • Author(s)
      R.Affeldt, N.Kobayashi, A.Yonezawa
    • Journal Title

      IPSJ Transactions on Programming 46・SIG1

      Pages: 110-120

    • NAID

      130000022400

    • Data Source
      KAKENHI-PROJECT-14702063
  • [Journal Article] Type-Based Information Flow Analysis for the Pi-Calculus2005

    • Author(s)
      小林直樹
    • Journal Title

      Acta Informatica 42(4-5)

      Pages: 291-347

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] 例外機構を備えた言語のための資源使用法解析2005

    • Author(s)
      岩間 太, 五十嵐 淳, 小林 直樹
    • Journal Title

      第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集 (印刷中)

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] Type-Based Information Flow Analysis for the Pi-Calculus2005

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Acta Informatica 42(4-5)

      Pages: 291-347

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Type-based information flow analysis for the pi-calculus2005

    • Author(s)
      Naoki Kobayashi
    • Journal Title

      Acta Informatica 41・4-5

      Pages: 291-347

    • Data Source
      KAKENHI-PROJECT-17300003
  • [Journal Article] Resource Usage Analysis2005

    • Author(s)
      Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      ACM TOPLAS 27・2(出版予定)

    • Data Source
      KAKENHI-PROJECT-14702063
  • [Journal Article] A Coq Library for Verification of Concurrent Programs2004

    • Author(s)
      Reynald Affeldt, Naoki Kobayashi
    • Journal Title

      Proceedings of LFM 2004

      Pages: 66-83

    • Data Source
      KAKENHI-PROJECT-14702063
  • [Journal Article] Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type2004

    • Author(s)
      K.Kodama, K.Suenaga, N.Kobayashi
    • Journal Title

      Proceedings of APLAS'04 (Springer LNCS) 3302

      Pages: 41-56

    • Data Source
      KAKENHI-PROJECT-14702063
  • [Journal Article] Region-Based Memory Management for a Dynamically-Typed Language2004

    • Author(s)
      A.Nagata, N.Kobayashi, A.Yonezawa
    • Journal Title

      Proceedings of APLAS' 04, Springer LNCS 3302

      Pages: 229-245

    • NAID

      130004638815

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Journal Article] A Generic Type System for the Pi-Calculus2004

    • Author(s)
      Atsushi Igarashi, Naoki Kobayashi
    • Journal Title

      Theoretical Computer Science (Elsevier Science Publishers) 311(1-3)

      Pages: 121-163

    • Data Source
      KAKENHI-PROJECT-14702063
  • [Journal Article] Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes2004

    • Author(s)
      Reynald Affeldt, Naoki Kobayashi
    • Journal Title

      Proceedings of 11^<th> International Workshop on Expressiveness in Concurrency (EXPRESS 2004)

      Pages: 113-127

    • Data Source
      KAKENHI-PROJECT-16650004
  • [Presentation] On Type-Based Techniques for Program Manipulation2022

    • Author(s)
      Naoki Kobayashi
    • Organizer
      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Presentation] An Overview of the HFL Model Checking Project2021

    • Author(s)
      Naoki Kobayashi
    • Organizer
      8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H05703
  • [Presentation] 10 Years of the Higher-Order Model Checking Project2019

    • Author(s)
      Naoki Kobayashi
    • Organizer
      21st International Symposium on Principles and Practice of Programming Languages (PPDP 2019)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification2018

    • Author(s)
      Naoki Kobayashi
    • Organizer
      HOR 2018
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] On Two Kinds of Higher-Order Model Checking and Higher-Order Program Verification2018

    • Author(s)
      Naoki Kobayashi
    • Organizer
      9th Workshop on Higher-Order Rewriting
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] Program Verification Based on Higher-Order Model Checking2016

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Dagstuhl seminar on Language Based Verification Tools for Functional Programs
    • Place of Presentation
      Schloss Dagstuhl (ドイツ、Wadern)
    • Year and Date
      2016-03-30
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] On Two Higher-Order Extensions of Model Checking2016

    • Author(s)
      Naoki Kobayashi
    • Organizer
      FTSCS 2016
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] Higher-order model checking and program verification2015

    • Author(s)
      Naoki Kobayashi
    • Organizer
      IFIP WG 2.11 meeting
    • Place of Presentation
      Imperial College(イギリス、London)
    • Year and Date
      2015-11-09
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] 参照を備えた多段階計算のための多相的型システム2015

    • Author(s)
      小林 恵,五十嵐 淳
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学理工学部
    • Year and Date
      2015-09-11
    • Data Source
      KAKENHI-PROJECT-25280025
  • [Presentation] Program verification via higher-order model checking2015

    • Author(s)
      Naoki Kobayashi
    • Organizer
      IFIP WG 2.2 meeting
    • Place of Presentation
      Institute for Advanced Studies Lucca(イタリア、Lucca)
    • Year and Date
      2015-09-21
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05706
  • [Presentation] RePair流高階圧縮アルゴリズムの最適化2014

    • Author(s)
      武田広太郎、小林直樹、松田一孝
    • Organizer
      日本ソフトウェア科学会大会
    • Place of Presentation
      名古屋大学(愛知県名古屋市)
    • Year and Date
      2014-09-09
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Presentation] Program Certification by Higher-Order Model Checking2012

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Certified Programs and Proofs - Second International Conference, CPP 2012
    • Place of Presentation
      京都国際交流会館(京都府)
    • Invited
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Presentation] Higher-Order Model Checking : From Theory to Practice2011

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)
    • Place of Presentation
      カナダ・トロント(招待講演)
    • Year and Date
      2011-06-23
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Presentation] Towards a software model checker for ML2011

    • Author(s)
      Naoki Kobayashi
    • Organizer
      ACM SIGPLAN Workshop on ML 2011
    • Place of Presentation
      日本・東京(招待講演)
    • Year and Date
      2011-09-18
    • Data Source
      KAKENHI-PROJECT-23220001
  • [Presentation] Higher-order model checking for program verification2010

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Workshop on automata and logic for data manipulating programs
    • Place of Presentation
      フランスパリ
    • Year and Date
      2010-12-07
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Types and Recursion Schemes for Higher-Order Program Verification2010

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Workshop on Higher-Order Recursion Schemes and Pushdown Automata
    • Place of Presentation
      フランスパリ,招待講演.
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Model-Checking Higher-Order Programs2010

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Daghstul seminar on Game Semantics and Program Verification
    • Place of Presentation
      ドイツ・ダーグストゥール
    • Year and Date
      2010-06-21
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Higher-order model checking for program verification2010

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Workshop on automata and logic for data manipulating programs
    • Place of Presentation
      フランス・パリ
    • Year and Date
      2010-12-07
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Types and Recursion Schemes for Higher-Order Program Verification2010

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Workshop on Higher-Order Recursion Schemes and Pushdown Automata
    • Place of Presentation
      フランスパリ
    • Year and Date
      2010-03-11
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification2010

    • Author(s)
      Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
    • Organizer
      日本ソフトウェア科学会第27回特別講演
    • Place of Presentation
      日本・東京
    • Year and Date
      2010-09-13
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Higher-order model checking for program verification2010

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Workshop on automata and logic for data manipulating programs
    • Place of Presentation
      フランスパリ,招待講演.
    • Year and Date
      2010-12-07
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Types and Recursion Schemes for Higher-Order Program Verification2009

    • Author(s)
      Naoki Kobayashi
    • Organizer
      the 7th Asian Symposium on Programming Languages and Systems (APLAS 2009)
    • Place of Presentation
      韓国ソウル
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Higher-Order Program Verification and Language-Based Security2009

    • Author(s)
      Naoki Kobayashi
    • Organizer
      13th Annual Asian Computing Science Conference (ASIAN'09)
    • Place of Presentation
      韓国・ソウル
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Ordered Types for Stream Processing of Tree-Structured Data2009

    • Author(s)
      Ryosuke Sato, Kohei Suenaga and Naoki Kobayashi
    • Organizer
      Programming Language Techniques for XML (PLAN-X 2009)
    • Place of Presentation
      アメリカ合衆国ジョージア州
    • Year and Date
      2009-01-24
    • Data Source
      KAKENHI-PROJECT-19024003
  • [Presentation] Types and Recursion Schemes for Higher-Order Program Verification2009

    • Author(s)
      Naoki Kobayashi
    • Organizer
      7th Asian Symposium on Programming Languages and Systems (APLAS'09)
    • Place of Presentation
      韓国・ソウル
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Higher-Order Program Verification and Language-Based Security2009

    • Author(s)
      Naoki Kobayashi
    • Organizer
      the 13th Annual Asian Computing Science Conference (ASIAN 2009)
    • Place of Presentation
      韓国ソウル
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Higher-Order Program Verification and Language-Based Security2009

    • Author(s)
      Naoki Kobayashi
    • Organizer
      the 13th Annual Asian Computing Science Conference (ASIAN 2009)
    • Place of Presentation
      韓国ソウル,招待講演.
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Types and Recursion Schemes for Higher-Order Program Verification2009

    • Author(s)
      Naoki Kobayashi
    • Organizer
      the 7th Asian Symposium on Programming Languages and Systems (APLAS 2009)
    • Place of Presentation
      韓国ソウル,招待講演.
    • Year and Date
      2009-12-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Substructural Type Systems for Program Analysis2008

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Proceedings of the 9th International Symposium on Functional and Logic Programming(FLOPS'08)
    • Place of Presentation
      三重県伊勢市
    • Year and Date
      2008-04-16
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Presentation] Substructural Type Systems for Program Analysis2008

    • Author(s)
      Naoki Kobayashi
    • Organizer
      Proceedings of the 9th International Symposium on Functional and Logic Programming(FLOPS'08)
    • Place of Presentation
      Ise, Mie
    • Year and Date
      2008-04-16
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Presentation] Substructural Type Systems for Program Analysis2008

    • Author(s)
      Naoki Kobayashi
    • Organizer
      The 9th International Symposium on Functional and Logic Programming(FLOPS'08)
    • Place of Presentation
      三重県伊勢市
    • Year and Date
      2008-04-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] Substructural Type Systems for Program Analysis2008

    • Author(s)
      Naoki Kobayashi
    • Organizer
      The 9th International Symposium on Functional and Logic Programming (FLOPS 2008)
    • Place of Presentation
      三重県伊勢市
    • Year and Date
      2008-04-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入2008

    • Author(s)
      佐藤 亮介、小林 直樹
    • Organizer
      情報処理学会 第67回プログラミング研究会
    • Place of Presentation
      東北大学電気通信研究所
    • Year and Date
      2008-01-24
    • Data Source
      KAKENHI-PROJECT-19024003
  • [Presentation] Substructural Type Systems for Program Analysis2008

    • Author(s)
      Naoki Kobayashi
    • Organizer
      The 9th International Symposium on Functional and Logic Programming (FLOPS 2008)
    • Place of Presentation
      三重県伊勢市,招待講演.
    • Year and Date
      2008-04-16
    • Data Source
      KAKENHI-PROJECT-20240001
  • [Presentation] 文脈依存資源使用解析のための型システム2008

    • Author(s)
      仲井間 達也、五十嵐 淳、小林 直樹
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ(PPL'08)
    • Place of Presentation
      仙台市
    • Year and Date
      2008-03-06
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Presentation] 型エラースライシングによるデッドロックの原因個所の特定2008

    • Author(s)
      飯村 枝里、末永 幸平、小林 直樹
    • Organizer
      情報処理学会 第68回プログラミング研究会
    • Place of Presentation
      日本IBM(株)東京基礎研究所
    • Year and Date
      2008-03-17
    • Data Source
      KAKENHI-PROJECT-17300003
  • [Presentation] 高階木変換器の自動検証のための反例発見と抽象化改良

    • Author(s)
      松本 雄磨、小林 直樹、海野 広志
    • Organizer
      第16回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)
    • Place of Presentation
      阿蘇の司 ビラパークホテル(熊本県阿蘇市)
    • Year and Date
      2014-03-05 – 2014-03-07
    • Data Source
      KAKENHI-PROJECT-23220001
  • 1.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 10 results
    # of Collaborated Products: 12 results
  • 2.  SUMII Eijiro (00333550)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 3 results
  • 3.  YONEZAWA Akinori (00133116)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 4.  UNNO Hiroshi (80569575)
    # of Collaborated Projects: 4 results
    # of Collaborated Products: 8 results
  • 5.  OKADA Mitsuhiro (30224025)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 6.  TAURA Kenjiro (90282714)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 7.  TERAUCHI Tachio (70447150)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 8.  MATSUOKA Satoshi (20221583)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  佐藤 亮介 (10804677)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 15 results
  • 10.  Sato Masahiko (20027387)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 11.  MATSUDA Kazutaka (10583627)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 2 results
  • 12.  SHINOHARA Ayumi (00226151)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 4 results
  • 13.  MASUHARA Hidehiko (40280937)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  米崎 直樹 (00126286)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  WATANABE Takuo (20222408)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  TERUI Kazushige (70353422)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  TAMURA Naoyuki (60207248)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  二木 厚吉 (50251971)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  萩谷 昌己 (30156252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  西澤 弘毅 (60455433)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  加藤 和彦 (90224493)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  林 晋 (40156443)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  外山 芳人 (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  桜井 貴文 (60183373)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  塚田 武志 (50758951)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 10 results
  • 26.  吉仲 亮 (80466424)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 results
  • 27.  関山 太朗 (80828476)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 28.  佐藤 一誠 (90610155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 7 results
  • 29.  TONOUCHI Toshio
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  遠藤 敏夫
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  山本 泰宇
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  大山 恵弘
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  浅田 和之
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi