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

NITTA Naoya  新田 直也

ORCIDConnect your ORCID iD *help
… Alternative Names

新田 直也  ニツタ ナオヤ

Less
Researcher Number 20346307
Other IDs
External Links
Affiliation (Current) 2025: 甲南大学, 知能情報学部, 教授
Affiliation (based on the past Project Information) *help 2024: 甲南大学, 知能情報学部, 教授
2002 – 2004: 奈良先端科学技術大学院大学, 情報科学研究科, 助手
Review Section/Research Field
Principal Investigator
Fundamental theory of informatics
Except Principal Investigator
Basic Section 60060:Information network-related / 計算機科学
Keywords
Principal Investigator
グラフ書換え系 / 例外処理 / プッシュダウンシステム / 無限状態システム / 項書換え系 / モデル検査
Except Principal Investigator
情報共有基盤 / エッジコンピューティング / POLICY / MODEL CHECKING … More / VERIFICATION / SAFETY / SECURITY / ACESS CONTROL / ポリシー / モデル検査 / 検証 / 安全性 / セキュリティ / アクセス制御 Less
  • Research Projects

    (3 results)
  • Research Products

    (2 results)
  • Co-Researchers

    (4 People)
  •  Establishment of rule-based real-time information processing and sharing infrastructure for low-latency edge applications

    • Principal Investigator
      鎌田 十三郎
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60060:Information network-related
    • Research Institution
      Konan University
  •  項書換え系を対象としたモデル検査手法に関する研究Principal Investigator

    • Principal Investigator
      新田 直也
    • Project Period (FY)
      2003 – 2004
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Nara Institute of Science and Technology
  •  Security Verification of Software with Dynamic Access Control

    • Principal Investigator
      SEKI Hiroyuki
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      NARA INSTITUTE OF SCIENCE AND TECHNOLOGY

All 2005

All Journal Article

  • [Journal Article] LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations2005

    • Author(s)
      Naoya Nitta, Hiroyuki Seki
    • Journal Title

      コンピュータソフトウェア (採録決定)

    • NAID

      130000058345

    • Data Source
      KAKENHI-PROJECT-15700015
  • [Journal Article] 情報隠蔽のための自動リファクタリング2005

    • Author(s)
      新田 直也
    • Journal Title

      情報処理学会プログラミング研究会

    • NAID

      110002769810

    • Data Source
      KAKENHI-PROJECT-15700015
  • 1.  SEKI Hiroyuki (80196948)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  TAKATA Yoshiaki (60294279)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  鎌田 十三郎 (20304131)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  Finnerty Patrick・Martin (50957628)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 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