An Abstraction Mechanism for Symbolic Expressions. - Masahiko Sato 009 (Artificial and Mathematical Theory of Computation, 1991)

Flight Experiments for a Future Seamless Air-to-Ground Communications System for Air Traffic Management. - Kazuyuki Morioka; Akiko Kohmura; Naruto Yonemoto; Xiaodong Lu; Naoki Kanada; Masahiko Sato 009; Norihiko Miyazaki (IEICE Trans. Commun., 2025)