An Operational Semantics of Program Dependence Graphs for Unstructured Programs. - Souhei Ito; Shigeki Hagihara; Naoki Yonezaki (ASIAN, 2006)

A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. - Souhei Ito; Shigeki Hagihara; Naoki Yonezaki (EJC, 2007)

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. - Sohei Ito; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIBE, 2010)

Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. - Koichi Fujima; Sohei Ito; Naoki Kobayashi 001 (APLAS, 2013)

Qualitative Analysis of Gene Regulatory Networks using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2013)

Formal Analysis of Gene Networks Using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2013)

The formal REA model at the operational level. - Sohei Ito; Dominik Vymetal (Appl. Ontology, 2013)

Modular analysis of gene networks by linear temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (J. Integr. Bioinform., 2013)

A Qualitative Framework for Analysing Homeostasis in Gene Networks. - Souhei Ito; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2014)

Formulation of Homeostasis by Realisability on Linear Temporal Logic. - Sohei Ito; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2014)

Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs. - Sohei Ito; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2015)

A Conceptual Model of Fishery in Resource-Event-Agent Framework. - Sohei Ito; Kunimasa Aoki; Kazuaki Kajitori (EJC, 2015)

Qualitative analysis of gene regulatory networks by temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (Theor. Comput. Sci., 2015)

Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing. - Sohei Ito (BIOINFORMATICS, 2016)

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. - Sohei Ito; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2017)

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms. - Sohei Ito; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2017)

Process mining of a multi-agent business simulator. - Sohei Ito; Dominik Vymetal; Roman Sperka; Michal Halaska (Comput. Math. Organ. Theory, 2018)

Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph. - Sohei Ito (CoRR, 2018)

Development of an Analysis Toolkit, AnalysisFMO, to Visualize Interaction Energies Generated by Fragment Molecular Orbital Calculations. - Takaki Tokiwa; Shogo Nakano; Yuta Yamamoto; Takeshi Ishikawa; Sohei Ito; Vladimír Sládek; Kaori Fukuzawa; Yuji Mochizuki; Hiroaki Tokiwa; Fuminori Misaizu; Yasuteru Shigeta (J. Chem. Inf. Model., 2019)

Efficient Realizability Checking by Modularization of LTL Specifications. - Sohei Ito; Kenji Osari; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Comput. J., 2022)

Representation of Peano Arithmetic in Separation Logic. - Sohei Ito; Makoto Tatsuta (FSCD, 2024)

Conformance Checking on Timed Automaton Process Models. - Sohei Ito; Kento Hamae (ICEIS (2), 2024)

Verifying Pid Controller of Robot Car by Deltareachability Analysis. - Sohei Ito; Zen Haneda; Ryutaro Uraoka (ICCAE, 2025)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic. - Sohei Ito; Makoto Tatsuta (CoRR, 2025)