Exploring Promising Concepts and Critical Technologies for Offshore Methane Hydrate Development System. - Yo Matsudaira; Ryota Wada; Yoshihiro Konno; Hashimoto Go; Ken Takagi (TE, 2019)

Forcing, Transition Algebras, and Calculi. - Hashimoto Go; Daniel Gaina; Ionut Tutu (ICALP, 2024)

Model-Theoretic Forcing in Transition Algebra. - Hashimoto Go; Daniel Gaina (MFCS, 2025)