ITO Sohei 伊藤宗平

… Alternative Names

Ito Sohei 伊藤宗平

Less

Researcher Number	50708005
Other IDs
Affiliation (Current)	2026: 長崎大学, 総合生産科学研究科(情報データ科学系), 准教授 2026: 国立研究開発法人水産研究・教育機構, 水産大学校, 助教
Affiliation (based on the past Project Information) *help	2024: 長崎大学, 総合生産科学研究科(情報データ科学系), 准教授 2021 – 2023: 長崎大学, 情報データ科学部, 准教授 2014 – 2015: 独立行政法人水産大学校, その他部局等, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Life / Health / Medical informatics
Keywords	Principal Investigator 数理論理学 / 形式手法 / 機械学習 / モデル検査 / ハイブリッドシステム / 適合性検査 / 時間オートマトン / プロセスマイニング / 遺伝子ネットワーク / 選択的スプライシング / 生物学的恒常性 / システム生物学

Discovering formal business process models by process miningPrincipal Investigator
- Principal Investigator
  
  Ito Sohei
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Nagasaki University
A research on a formal method for analysing gene networksPrincipal Investigator
- Principal Investigator
  
  Ito Sohei
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Life / Health / Medical informatics
- Research Institution
  National Fisheries University

All 2025 2024 2023 2022 2021 2016 2015 Other

All Journal Article Presentation

[Journal Article] Conformance Checking on Timed Automaton Process Models2024
- Author(s)
  Ito Sohei、Hamae Kento
- Journal Title
  
  Proceedings of the 26th International Conference on Enterprise Information Systems (ICEIS 2024)
  
  Volume: 2 Pages: 545-556
- DOI
  10.5220/0012548800003690
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] Representation of Peano Arithmetic in Separation Logic2024
- Author(s)
  Sohei Ito, Makoto Tatsuta
- Journal Title
  
  Proceedings of 9th International Conference on Formal Structures for Computation and Deduction (FSCD2024)
  
  Volume: 1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] 帰納法に関する推論の計算複雑性2023
- Author(s)
  伊藤宗平，龍田真
- Journal Title
  
  第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)予稿集
  
  Volume: 1 Pages: 1-16
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング2023
- Author(s)
  伊藤宗平，濱江堅登
- Journal Title
  
  日本ソフトウェア科学会第40回大会講演論文集
  
  Volume: 1 Pages: 1-17
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性2023
- Author(s)
  伊藤宗平，龍田真
- Journal Title
  
  日本ソフトウェア科学会第40回大会講演論文集
  
  Volume: 1 Pages: 1-14
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] 帰納的推論の計算複雑性2022
- Author(s)
  伊藤宗平，龍田真
- Journal Title
  
  日本ソフトウェア科学会第39回大会講演論文集
  
  Volume: 1 Pages: 1-12
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] 形式手法を用いたPID制御装置の検証2022
- Author(s)
  浦岡竜太郎，伊藤宗平
- Journal Title
  
  ソフトウェア工学の基礎29
  
  Volume: 1 Pages: 73-78
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] 近似によるリアクティブシステムの仕様検証効率化2021
- Author(s)
  伊藤宗平, 辻優磨
- Journal Title
  
  ソフトウェア工学の基礎
  
  Volume: 28 Pages: 33-38
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11756
[Journal Article] Efficient Realizability Checking by Modularization of LTL Specifications2021
- Author(s)
  Ito Sohei, Osari Kenji, Shimakawa Masaya, Hagihara Shigeki, Yonezaki Naoki
- Journal Title
  
  The Computer Journal
  
  Volume: bxab116
- DOI
  10.1093/comjnl/bxab116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00092, KAKENHI-PROJECT-21K11756, KAKENHI-PROJECT-18K18028
[Journal Article] Qualitative analysis of gene regulatory networks by temporal logic2015
- Author(s)
  Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara and Naoki Yonezaki
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 594 Pages: 151-179
- DOI
  10.1016/j.tcs.2015.06.017
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26730153
[Presentation] Verifying PID Controller of Robot Car by Delta-Reachability Analysis2025
- Author(s)
  Sohei Ito, Zen Haneda, Ryutaro Uraoka
- Organizer
  17th International Conference on Computer and Automation Engineering (ICCAE2025)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11756
[Presentation] Conformance Checking on Timed Automaton Process Models2024
- Author(s)
  Sohei Ito, Kento Hamae
- Organizer
  26th International Conference on Enterprise Information Systems (ICEIS 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11756
[Presentation] Representation of Peano Arithmetic in Separation Logic2024
- Author(s)
  Sohei Ito, Makoto Tatsuta
- Organizer
  9th International Conference on Formal Structures for Computation and Deduction (FSCD2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11756
[Presentation] ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性2023
- Author(s)
  伊藤宗平，龍田真
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-21K11756
[Presentation] 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング2023
- Author(s)
  伊藤宗平，濱江堅登
- Organizer
  日本ソフトウェア科学会第40回大会
- Data Source
  KAKENHI-PROJECT-21K11756
[Presentation] Temporal Logic Based Framework to Model and Analyse Gene Networks with Alternative Splicing2016
- Author(s)
  Sohei Ito
- Organizer
  7th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2016)
- Place of Presentation
  Rome, Italy
- Year and Date
  2016-02-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26730153
[Presentation] Qualitative Analysis of Gene Networks with Alternative Splicing2015
- Author(s)
  Sohei Ito
- Organizer
  13th conference on Computational Methods for Systems Biology (CMSB2015)
- Place of Presentation
  Nantes, France
- Year and Date
  2015-09-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26730153
[Presentation] Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs
- Author(s)
  Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
- Organizer
  6th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2015)
- Place of Presentation
  Lisbon
- Year and Date
  2015-01-12 – 2015-01-15
- Data Source
  KAKENHI-PROJECT-26730153

1. 萩原茂樹

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

ITO Sohei 伊藤 宗平

Ito Sohei 伊藤 宗平

Research Projects

Research Products

Co-Researchers

Discovering formal business process models by process miningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A research on a formal method for analysing gene networksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Conformance Checking on Timed Automaton Process Models2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Representation of Peano Arithmetic in Separation Logic2024

Author(s)

Journal Title

Data Source

[Journal Article] 帰納法に関する推論の計算複雑性2023

Author(s)

Journal Title

Data Source

[Journal Article] 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング2023

Author(s)

Journal Title

Data Source

[Journal Article] ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性2023

Author(s)

Journal Title

Data Source

[Journal Article] 帰納的推論の計算複雑性2022

Author(s)

Journal Title

Data Source

[Journal Article] 形式手法を用いたPID制御装置の検証2022

Author(s)

Journal Title

Data Source

[Journal Article] 近似によるリアクティブシステムの仕様検証効率化2021

Author(s)

Journal Title

Data Source

[Journal Article] Efficient Realizability Checking by Modularization of LTL Specifications2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Qualitative analysis of gene regulatory networks by temporal logic2015

Author(s)

Journal Title

DOI

Data Source

[Presentation] Verifying PID Controller of Robot Car by Delta-Reachability Analysis2025

Author(s)

Organizer

Data Source

[Presentation] Conformance Checking on Timed Automaton Process Models2024

Author(s)

Organizer

Data Source

[Presentation] Representation of Peano Arithmetic in Separation Logic2024

Author(s)

Organizer

Data Source

[Presentation] ソフトウェア検証のためのプレスバーガー算術を含む論理の決定可能性2023

Author(s)

Organizer

Data Source

[Presentation] 時間オートマトンプロセスモデルにおけるコンフォーマンスチェッキング2023

Author(s)

Organizer

Data Source

ITO Sohei 伊藤宗平

Ito Sohei 伊藤宗平