C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sohei Ito
ORCID
Publication Activity (10 Years)
Years Active: 2010-2022
Publications (10 Years): 10
Top Topics
Qualitative Analysis
Microarray
Temporal Logic
Model Checking
Top Venues
BIOINFORMATICS
BIOSTEC (Selected Papers)
CoRR
Comput. Math. Organ. Theory
</>
Publications
</>
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)