Sohei Ito

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 9

Top Topics

Conceptual Model

Top Venues

BIOSTEC (Selected Papers)

Publications

Sohei Ito, Makoto Tatsuta
Representation of Peano Arithmetic in Separation Logic. FSCD (2024)
Sohei Ito, Kento Hamae
Conformance Checking on Timed Automaton Process Models. ICEIS (2) (2024)
Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
Efficient Realizability Checking by Modularization of LTL Specifications. Comput. J. 65 (10) (2022)
Takaki Tokiwa, Shogo Nakano, Yuta Yamamoto, Takeshi Ishikawa, Sohei Ito, Vladimír Sládek, Kaori Fukuzawa, Yuji Mochizuki, Hiroaki Tokiwa, Fuminori Misaizu, Yasuteru Shigeta
Development of an Analysis Toolkit, AnalysisFMO, to Visualize Interaction Energies Generated by Fragment Molecular Orbital Calculations. J. Chem. Inf. Model. 59 (1) (2019)
Sohei Ito, Dominik Vymetal, Roman Sperka, Michal Halaska
Process mining of a multi-agent business simulator. Comput. Math. Organ. Theory 24 (4) (2018)
Sohei Ito
Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph. CoRR (2018)
Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms. BIOSTEC (Selected Papers) (2017)
Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. BIOINFORMATICS (2017)
Sohei Ito
Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing. BIOINFORMATICS (2016)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Qualitative analysis of gene regulatory networks by temporal logic. Theor. Comput. Sci. 594 (2015)
Sohei Ito, Kunimasa Aoki, Kazuaki Kajitori
A Conceptual Model of Fishery in Resource-Event-Agent Framework. EJC (2015)
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs. BIOINFORMATICS (2015)
Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
Formulation of Homeostasis by Realisability on Linear Temporal Logic. BIOSTEC (Selected Papers) (2014)
Sohei Ito, Dominik Vymetal
The formal REA model at the operational level. Appl. Ontology 8 (4) (2013)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Modular analysis of gene networks by linear temporal logic. J. Integr. Bioinform. 10 (2) (2013)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Qualitative Analysis of Gene Regulatory Networks using Network Motifs. BIOINFORMATICS (2013)
Koichi Fujima, Sohei Ito, Naoki Kobayashi
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. APLAS (2013)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Formal Analysis of Gene Networks Using Network Motifs. BIOSTEC (Selected Papers) (2013)
Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. BIBE (2010)