Inside-Outside Algorithm for Macro Grammars. - Ryuta Kambe; Naoki Kobayashi 001; Ryosuke Sato 001; Ayumi Shinohara; Ryo Yoshinaka (ICGI, 2021)

A Formally Verified Leader Election Algorithm for Autonomous Driving Systems. - Ryuta Kambe; Benjamin Gilby; Yuuki Takano (RTCSA, 2024)

A Case Study on Model Checking and Runtime Verification for Awkernel. - Akira Hasegawa; Ryuta Kambe; Toshiaki Aoki; Yuuki Takano (CoRR, 2025)