Masaomi Yamaguchi

According to our database, Masaomi Yamaguchi authored at least 4 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Design by Contract Framework for Quantum Software.

Masaomi Yamaguchi, Nobukazu Yoshioka

Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

2021

Synbit: synthesizing bidirectional programs using unidirectional sketches.

Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang

Proc. ACM Program. Lang., 2021

2020

A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems.

Masaomi Yamaguchi, Takahito Aoto

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2015

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

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015