1.3 µm external-cavity quantum-dot comb laser for temperature control free operation. - Nami Yasuoka; Mitsuru Ishida; Masaomi Yamaguchi; Ayahito Uetake; Tsuyoshi Yamamoto; Yasuhiko Arakawa (OFC, 2015)

A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems. - Masaomi Yamaguchi; Takahito Aoto 001 (FSCD, 2020)

Synbit: synthesizing bidirectional programs using unidirectional sketches. - Masaomi Yamaguchi; Kazutaka Matsuda; Cristina David; Meng Wang 002 (Proc. ACM Program. Lang., 2021)

Design by Contract Framework for Quantum Software. - Masaomi Yamaguchi; Nobukazu Yoshioka (Q-SE@ICSE, 2023)

Practical Design by Contract Framework for Quantum Applications. - Masaomi Yamaguchi; Nobukazu Yoshioka; Fuyuki Ishikawa (SIGSOFT FSE Companion, 2025)