Sohei Ito

AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC

Shigeki Hagihara, Naoki Yonezaki, Masaya Shimakawa, 2014 .

Developing a Compact and Practical Online Quiz System

Sohei Ito, Kazuaki Kajitori, Kunimasa Aoki, 2014 .

Development of an Analysis Toolkit, AnalysisFMO, to Visualize Interaction Energies Generated by Fragment Molecular Orbital Calculations.

Takeshi Ishikawa, Vladimir Sladek, Hiroaki Tokiwa, 2018, Journal of chemical information and modeling.

The Formalization of a Generic Trading Company Model Using Software Agents as Active Elements

Dominik Vymetal, Sohei Ito, D. Vymetal, 2016 .

Site-specific modification of positively-charged surfaces on human serum albumin by malondialdehyde.

Sohei Ito, Tsutomu Nakayama, Taiki Mori, 2008, Biochemical and biophysical research communications.