Souhei Ito

According to our database, Souhei Ito authored at least 22 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Conformance Checking on Timed Automaton Process Models.

Sohei Ito, Kento Hamae

Proceedings of the 26th International Conference on Enterprise Information Systems, 2024

Representation of Peano Arithmetic in Separation Logic.

Sohei Ito, Makoto Tatsuta

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2022

Efficient Realizability Checking by Modularization of LTL Specifications.

Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Comput. J., 2022

2019

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

2018

Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph.

Sohei Ito

CoRR, 2018

Process mining of a multi-agent business simulator.

Sohei Ito, Dominik Vymetal, Roman Sperka, Michal Halaska

Comput. Math. Organ. Theory, 2018

2017

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms.

Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2017

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.

Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2016

Temporal Logic based Framework to Model and Analyse Gene Networks with Alternative Splicing.

Sohei Ito

Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016

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

A Conceptual Model of Fishery in Resource-Event-Agent Framework.

Sohei Ito, Kunimasa Aoki, Kazuaki Kajitori

Proceedings of the Information Modelling and Knowledge Bases XXVII, 2015

Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs.

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2015, 2015

2014

Formulation of Homeostasis by Realisability on Linear Temporal Logic.

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2014

A Qualitative Framework for Analysing Homeostasis in Gene Networks.

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2014, 2014

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

The formal REA model at the operational level.

Sohei Ito, Dominik Vymetal

Appl. Ontology, 2013

Formal Analysis of Gene Networks Using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013

Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes.

Koichi Fujima, Sohei Ito, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2010

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 10th IEEE International Conference on Bioinformatics and Bioengineering, 2010

2007

A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Information Modelling and Knowledge Bases XIX, 2007

2006

An Operational Semantics of Program Dependence Graphs for Unstructured Programs.

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Advances in Computer Science, 2006