Kenji Miyamoto

Orcid: 0000-0003-3253-2901

According to our database1, Kenji Miyamoto authored at least 28 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Herbrand complexity and the epsilon calculus with equality.
Arch. Math. Log., February, 2024

2023
Demonstration of mobile backhaul uplink jitter reduction with optical-wireless cooperative control for multiple traffic flows.
JOCN, 2023

Traffic Shaping With Optical-Wireless Cooperative Control to Reduce Uplink Jitter Due to Radio Transmission.
IEEE Access, 2023

2022
Mobile Backhaul Uplink Jitter Reduction Techniques with Optical-Wireless Cooperative Control.
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.
CoRR, 2019

2018
Wireless performance and mobile fronthaul bandwidth of uplink joint reception with LLR combining in split-PHY processing.
J. Commun. Networks, 2018

Optimization of Quantization Levels for Quantize-and-Forward Relaying with QAM Signaling.
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.
JOCN, 2017

Unified Design of LLR Quantization and Joint Reception for Mobile Fronthaul Bandwidth Reduction.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

Practical Mobile-DBA Scheme Considering Data Arrival Period for 5G Mobile Fronthaul with TDM-PON.
Proceedings of the European Conference on Optical Communication, 2017

NG-PON2 Demonstration with Small Delay Variation and Low Latency for 5G Mobile Fronthaul.
Proceedings of the European Conference on Optical Communication, 2017

Low Latency Symbol Level Transmission Scheme for Mobile Fronthaul with Intra PHY Split RAN Architecture.
Proceedings of the European Conference on Optical Communication, 2017

2016
Factory Product Lines: Tackling the Compatibility Problem.
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.
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.
Proceedings of the 2016 22nd Asia-Pacific Conference on Communications (APCC), 2016

2015
Program extraction in exact real arithmetic.
Math. Struct. Comput. Sci., 2015

Uplink Joint Reception with LLR Forwarding for Optical Transmission Bandwidth Reduction in Mobile Fronthaul.
Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

Textual model-based software/system architecture documentation using MPS.
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.
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.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015

2013
Program extraction from coinductive proofs and its application to exact real arithmetic.
PhD thesis, 2013

Analysis of Wireless Channel Capacity in RoF-DAS over WDM-PON System.
IEICE Trans. Electron., 2013

Program Extraction from Nested Definitions.
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.
IEICE Electron. Express, 2012

2011
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2000
KVispatch: A Visual Language that Rewrites Kinematic Objects in Animation.
Proceedings of the working conference on Advanced visual interfaces, 2000

1998
DVispatch: A Visual Language with Distributed Rewriting.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

1997
VISPATCH: Graphical Rule-Based Language Controlled by User Event.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997


  Loading...