A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations. - Yoshisato Sakai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Analyzing Convergence and Reachability of Asynchronous Iterations. - Yoshisato Sakai (SSS, 2013)

Convergence Verification of Asynchronous Iterations. - Yoshisato Sakai (SRDS, 2014)

A Currency Arbitrage Machine Based on the Simulated Bifurcation Algorithm for Ultrafast Detection of Optimal Opportunity. - Kosuke Tatsumura; Ryo Hidaka; Masaya Yamasaki; Yoshisato Sakai; Hayato Goto (ISCAS, 2020)

Live Demonstration: Capturing Short-Lived Currency Arbitrage Opportunities with a Simulated Bifurcation Algorithm-Based Trading System. - Masaya Yamasaki; Ryo Hidaka; Yoshisato Sakai; Jun Yamaguchi; Yasuhito Nakamura; Hayato Goto; Kosuke Tatsumura (ISCAS, 2020)