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.

 

Other publications of authors with the same name

Squachu: a training game to improve oral function via a non-contact tongue-mouth-motion detection system., , , , , , and . AVI, page 26:1-26:8. ACM, (2018)Licker: A Tongue Robot for Representing Realistic Tongue Motions., , , , , , , , and . SIGGRAPH ASIA Emerging Technologies, page 27-28. ACM, (2019)Differentiable Rendering: A Survey, , , , , , and . (2020)cite arxiv:2006.12057.Translation rules of SysML state machine diagrams into CSP# toward formal model checking., , , , and . Int. J. Web Inf. Syst., 10 (2): 151-169 (2014)Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC., , , , , and . J. Inf. Secur. Appl., (2016)Development of Support System for Ship-Hull Plate Forming Using Laser Scanner., , and . Int. J. Autom. Technol., 15 (3): 290-300 (2021)ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC., , , , , , , and . ICA, page 154-157. IEEE, (2016)Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -., , , , , , , , , and 5 other author(s). IIAI-AAI, page 81-85. IEEE, (2018)Formal Specification Based Automatic Test Generation for Embedded Network Systems., , , , , , , and . J. Appl. Math., (2014)Software Engineering Practices for the Smart Mobility Market., , , , and . IIAI-AAI, page 115-120. IEEE, (2018)