Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Miyamoto, Kenji
add a person with the name Miyamoto, Kenji
 

Other publications of authors with the same name

VISPATCH: Graphical Rule-Based Language Controlled by User Event., , and . VL, page 162-163. IEEE Computer Society, (1997)KVispatch: A Visual Language that Rewrites Kinematic Objects in Animation., , and . Advanced Visual Interfaces, page 255-260. ACM Press, (2000)Factory Product Lines: Tackling the Compatibility Problem., , , , and . VaMoS, page 57-64. ACM, (2016)Wireless performance and mobile fronthaul bandwidth of uplink joint reception with LLR combining in split-PHY processing., , , , and . Journal of Communications and Networks, 20 (6): 536-545 (2018)Textual model-based software/system architecture documentation using MPS., , , , and . Software Engineering & Management, volume P-239 of LNI, page 232-237. GI, (2015)Program extraction from coinductive proofs and its application to exact real arithmetic.. Ludwig Maximilians University Munich, (2013)Program Extraction from Nested Definitions., , and . ITP, volume 7998 of Lecture Notes in Computer Science, page 370-385. Springer, (2013)Analysis of Wireless Channel Capacity in RoF-DAS over WDM-PON System., , , , , , , , , and . IEICE Transactions, 96-C (2): 171-179 (2013)Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras., , , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 393-399. Springer, (2011)Optimization of Quantization Levels for Quantize-and-Forward Relaying with QAM Signaling., , , , , and . APSIPA, page 159-164. IEEE, (2018)