Sohei Ito

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