Kenji Miyamoto

According to our database, Kenji Miyamoto authored at least 29 papers between 1997 and 2024.

Collaborative distances:

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

2024

Herbrand complexity and the epsilon calculus with equality.

Kenji Miyamoto, Georg Moser

Arch. Math. Log., February, 2024

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

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

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

2022

Mobile Backhaul Uplink Jitter Reduction Techniques with Optical-Wireless Cooperative Control.

Kenji Miyamoto, Yoshihito Sakai, Tatsuya Shimada, Tomoaki Yoshida

Proceedings of the 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC), 2022

2019

The Epsilon Calculus with Equality and Herbrand Complexity.

Kenji Miyamoto, Georg Moser

CoRR, 2019

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

Optimization of Quantization Levels for Quantize-and-Forward Relaying with QAM Signaling.

Xinyue Ling, Shinsuke Ibi, Kenji Miyamoto, Seiichi Sampei, Jun Terada, Akihiro Otaka

Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

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

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

Proceedings of the 85th IEEE Vehicular Technology Conference, 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, Jun Terada, Akihiro Otaka

Proceedings of the European Conference on Optical Communication, 2017

NG-PON2 Demonstration with Small Delay Variation and Low Latency for 5G Mobile Fronthaul.

Keita Takahashi, Hirotaka Nakamura, Hiroyuki Uzawa, Kenji Miyamoto, Yu Nakayama, Tatsuya Shimada, Jun Terada, Akihiro Otaka

Proceedings of the European Conference on Optical Communication, 2017

Low Latency Symbol Level Transmission Scheme for Mobile Fronthaul with Intra PHY Split RAN Architecture.

Kenji Miyamoto, Tatsuya Shimizu, Jun Terada, Akihiro Otaka

Proceedings of the European Conference on Optical Communication, 2017

2016

Factory Product Lines: Tackling the Compatibility Problem.

Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, Georgeta Igna

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 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

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016

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

Proceedings of the 2016 22nd Asia-Pacific Conference on Communications (APCC), 2016

2015

Program extraction in exact real arithmetic.

Kenji Miyamoto, Helmut Schwichtenberg

Math. Struct. Comput. Sci., 2015

Uplink Joint Reception with LLR Forwarding for Optical Transmission Bandwidth Reduction in Mobile Fronthaul.

Kenji Miyamoto, Shigeru Kuwano, Jun Terada, Akihiro Otaka

Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

Textual model-based software/system architecture documentation using MPS.

Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 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

Proceedings of the 26th IEEE Annual International Symposium on Personal, 2015

Split-PHY processing architecture to realize base station coordination and transmission bandwidth reduction in mobile fronthaul.

Kenji Miyamoto, Shigeru Kuwano, Jun Terada, Akihiro Otaka

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015

2013

Program extraction from coinductive proofs and its application to exact real arithmetic.

Kenji Miyamoto

PhD thesis, 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 Nested Definitions.

Kenji Miyamoto, Fredrik Nordvall Forsberg, Helmut Schwichtenberg

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

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

2011

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.

Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2000

KVispatch: A Visual Language that Rewrites Kinematic Objects in Animation.

Kenji Miyamoto, Yasunori Harada, Richard Potter

Proceedings of the working conference on Advanced visual interfaces, 2000

1998

DVispatch: A Visual Language with Distributed Rewriting.

Kenji Miyamoto, Yasunori Harada

Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1997

VISPATCH: Graphical Rule-Based Language Controlled by User Event.

Yasunori Harada, Kenji Miyamoto, Rikio Onai

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997