Safety Verification of Asynchronous Consensus Algorithms with Model Checking. - Tatsuya Noguchi; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2012)

Trip Planning Based on subQUBO Annealing. - Tatsuya Noguchi; Keisuke Fukada; Siya Bao; Nozomu Togawa (IEEE Access, 2023)

Multi-Day Intermodal Trip Planning Using subQUBO Annealing with Correction Processing. - Tatsuya Noguchi; Keisuke Fukada; Siya Bao; Nozomu Togawa (QCE, 2024)

Machine Learning-Based Estimation of Dynamic Travel Times between Points of Interest. - Shoma Kaji; Dai Kajimoto; Tatsuya Noguchi; Toshinori Takayama; Siya Bao; Nozomu Togawa (ICCE, 2025)

SubQUBO Annealing Based on Efficient Binary Variable Selection for Combinatorial Optimization Problems with One-Hot Constraints. - Tatsuya Noguchi; Keisuke Fukada; Siya Bao; Nozomu Togawa (ICCE, 2025)

Hybrid subQUBO Annealing With a Correction Process for Multi-Day Intermodal Trip Planning. - Tatsuya Noguchi; Keisuke Fukada; Siya Bao; Nozomu Togawa (IEEE Access, 2025)