VISPATCH: Graphical Rule-Based Language Controlled by User Event. - Yasunori Harada; Kenji Miyamoto; Rikio Onai (VL, 1997)

DVispatch: A Visual Language with Distributed Rewriting. - Kenji Miyamoto; Yasunori Harada (VL, 1998)

KVispatch: A Visual Language that Rewrites Kinematic Objects in Animation. - Kenji Miyamoto; Yasunori Harada; Richard Potter (Advanced Visual Interfaces, 2000)

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. - Ulrich Berger 001; Kenji Miyamoto; Helmut Schwichtenberg; Monika Seisenberger (CALCO, 2011)

Experimental demonstration of RoF-DAS over WDM-PON with bandpass-sampling and optical TDM techniques. - Takayoshi Tashiro; Kazutaka Hara; Junichi Kani; Naoto Yoshimoto; Katsumi Iwatsuki; Kenji Miyamoto; Tatsuya Nishiumi; Takeshi Higashino; Katsutoshi Tsukamoto; Shozo Komaki (IEICE Electron. Express, 2012)

Program Extraction from Nested Definitions. - Kenji Miyamoto; Fredrik Nordvall Forsberg; Helmut Schwichtenberg (ITP, 2013)

Analysis of Wireless Channel Capacity in RoF-DAS over WDM-PON System. - Tatsuhiko Iwakuni; Kenji Miyamoto; Takeshi Higashino; Katsutoshi Tsukamoto; Shozo Komaki; Takayoshi Tashiro; Youichi Fukada; Junichi Kani; Naoto Yoshimoto; Katsumi Iwatsuki (IEICE Trans. Electron., 2013)

Program extraction from coinductive proofs and its application to exact real arithmetic. - Kenji Miyamoto (2013)

Split-PHY processing architecture to realize base station coordination and transmission bandwidth reduction in mobile fronthaul. - Kenji Miyamoto; Shigeru Kuwano; Jun Terada; Akihiro Otaka (OFC, 2015)

System level performance of uplink transmission in split-PHY processing architecture with joint reception for future radio access. - Naotaka Shibata; Kenji Miyamoto; Shigeru Kuwano; Jun Terada; Akihiro Otaka (PIMRC, 2015)

Textual model-based software/system architecture documentation using MPS. - Vincent Aravantinos; Kenji Miyamoto; Zaur Molotnikov; Nikolaus Regnat; Bernhard Schätz (Software Engineering & Management, 2015)

Uplink Joint Reception with LLR Forwarding for Optical Transmission Bandwidth Reduction in Mobile Fronthaul. - Kenji Miyamoto; Shigeru Kuwano; Jun Terada; Akihiro Otaka (VTC Spring, 2015)

Program extraction in exact real arithmetic. - Kenji Miyamoto; Helmut Schwichtenberg (Math. Struct. Comput. Sci., 2015)

Study on protocol and required bandwidth for 5G mobile fronthaul in C-RAN architecture with MAC-PHY split. - Susumu Nishihara; Shigeru Kuwano; Kenji Miyamoto; Jun Terada; Akihiro Otaka (APCC, 2016)

Performance evaluation of mobile fronthaul optical bandwidth reduction and wireless transmission in Split-PHY processing architecture. - Kenji Miyamoto; Shigeru Kuwano; Jun Terada; Akihiro Otaka (OFC, 2016)

Factory Product Lines: Tackling the Compatibility Problem. - Andreas Bayha; Levi Lúcio; Vincent Aravantinos; Kenji Miyamoto; Georgeta Igna (VaMoS, 2016)

Low Latency Symbol Level Transmission Scheme for Mobile Fronthaul with Intra PHY Split RAN Architecture. - Kenji Miyamoto; Tatsuya Shimizu; Jun Terada; Akihiro Otaka (ECOC, 2017)

NG-PON2 Demonstration with Small Delay Variation and Low Latency for 5G Mobile Fronthaul. - Keita Takahashi 007; Hirotaka Nakamura; Hiroyuki Uzawa; Kenji Miyamoto; Yu Nakayama; Tatsuya Shimada; Jun Terada; Akihiro Otaka (ECOC, 2017)

Practical Mobile-DBA Scheme Considering Data Arrival Period for 5G Mobile Fronthaul with TDM-PON. - Hiroyuki Uzawa; Hiroko Nomura; Tatsuya Shimada; Daisuke Hisano; Kenji Miyamoto; Yu Nakayama; Keita Takahashi 007; Jun Terada; Akihiro Otaka (ECOC, 2017)

Unified Design of LLR Quantization and Joint Reception for Mobile Fronthaul Bandwidth Reduction. - Kenji Miyamoto; Shinsuke Ibi; Tatsuya Shimizu; Jun Terada; Akihiro Otaka; Seiichi Sampei (VTC Spring, 2017)

Performance Evaluation of Ethernet-Based Mobile Fronthaul and Wireless CoMP in Split-PHY Processing. - Kenji Miyamoto; Shigeru Kuwano; Tatsuya Shimizu; Jun Terada; Akihiro Otaka (JOCN, 2017)

Optimization of Quantization Levels for Quantize-and-Forward Relaying with QAM Signaling. - Xinyue Ling; Shinsuke Ibi; Kenji Miyamoto; Seiichi Sampei; Jun Terada; Akihiro Otaka (APSIPA, 2018)

Wireless performance and mobile fronthaul bandwidth of uplink joint reception with LLR combining in split-PHY processing. - Kenji Miyamoto; Naotaka Shibata; Shigeru Kuwano; Jun Terada; Akihiro Otaka (J. Commun. Networks, 2018)

The Epsilon Calculus with Equality and Herbrand Complexity. - Kenji Miyamoto; Georg Moser (CoRR, 2019)

Mobile Backhaul Uplink Jitter Reduction Techniques with Optical-Wireless Cooperative Control. - Kenji Miyamoto; Yoshihito Sakai; Tatsuya Shimada; Tomoaki Yoshida (OECC/PSC, 2022)

Traffic Shaping With Optical-Wireless Cooperative Control to Reduce Uplink Jitter Due to Radio Transmission. - Kenji Miyamoto; Yoshihito Sakai; Tatsuya Shimada; Tomoaki Yoshida (IEEE Access, 2023)

Demonstration of mobile backhaul uplink jitter reduction with optical-wireless cooperative control for multiple traffic flows. - Kenji Miyamoto; Yoshihito Sakai; Tatsuya Shimada; Tomoaki Yoshida (JOCN, 2023)

User-dedicated optical path switching with optical-wireless cooperative control for low-latency and seamless handover. - Kenji Miyamoto; Hirotaka Ujikawa; Tatsuya Shimada; Tomoaki Yoshida (J. Opt. Commun. Netw., 2024)

Herbrand complexity and the epsilon calculus with equality. - Kenji Miyamoto; Georg Moser (Arch. Math. Log., 2024)

In-service virtualized central unit live migration with real-time network cooperative control. - Takumi Harada; Kenji Miyamoto; Tatsuya Shimada; Tomoaki Yoshida (J. Opt. Commun. Netw., 2025)