Rchr
J-GLOBAL ID:200901018732056992   Update date: May. 25, 2020

Ito Sohei

イトウ ソウヘイ | Ito Sohei
Homepage URL  (1): http://www.fish-u.ac.jp/~ito/
Research field  (2): Biological, health, and medical informatics ,  Software
Research keywords  (8): Business Process ,  Multi-agent system ,  Process Mining ,  Ontology ,  Software Engineering ,  Systems Biology ,  Mathematical Logic ,  Formal Methods
Papers (20):
  • Sohei Ito, Dominik Vymětal, Roman Šperka, Michal Halaška. Process mining of a multi-agent business simulator. Computational and Mathematical Organization Theory. 2018. 24. 4. 500-531
  • Sohei Ito. Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph. arXiv. 2018
  • Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. PROCEEDINGS OF THE 10TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 3: BIOINFORMATICS. 2017. 17-28
  • Sohei Ito, Kunimasa Aoki, Kazuaki Kajitori. A Conceptual Model of Fishery in Resource-Event-Agent Framework. INFORMATION MODELLING AND KNOWLEDGE BASES XXVII. 2016. 280. 255-274
  • Sohei Ito. Temporal Logic Based Framework to Model and Analyse Gene Networks with Alternative Splicing. 7th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2016). 2016. 151-158
more...
Education (1):
  • 2003 - 2008 Tokyo Institute of Technology Graduate School of Information Science and Technology Department of Computer Science
Work history (6):
  • 2020/04 - 現在 Nagasaki University Associate Professor
  • 2016/04 - 2020/03 National Fisheries University Research Associate
  • 2016/10 - 2017/09 Silesian University in Opava, School of Business Administration in Karviná Research Fellow
  • 2013/04 - 2016/03 National Fisheries University Research Associate
  • 2012/04 - 2013/03 The University of Tokyo Research Associate
Show all
Awards (1):
  • 2013/02 - BIOINFORMATICS/BIOSTEC 2013 Best Paper Award
Association Membership(s) (1):
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page