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

Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study., , , and . FATES, volume 3395 of Lecture Notes in Computer Science, page 210-224. Springer, (2004)Magnetically actuated microrobots as a platform for stem cell transplantation., , , , , , , , , and 4 other author(s). Sci. Robotics, (2019)Quantitative Model Checking for a Controller Design., and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 292-307. Springer, (2018)Spectrum and Energy Aware Routing Protocol for Cognitive Radio Ad Hoc Networks., , and . ICC, page 1-5. IEEE, (2011)Diagnostic test for unstable autoregressive models, , and . Statistics, 41 (3): 181--201 (2007)A Design of GPU-Based Quantitative Model Checking., and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 441-463. Springer, (2021)A flexible microrobots with magnetic actuation for medical tool., , , , and . URAI, page 184-185. IEEE, (2016)Perceived Benefits and Concerns of Prospective Users of the SmartCampus Location-Aware Community System Test-bed., , , and . HICSS, page 19. IEEE Computer Society, (2007)Bounded Model Checking of Hybrid Systems for Control., and . IEEE Trans. Automat. Contr., 60 (11): 2961-2976 (2015)Numerical Implementation of Generalized Monopulse Estimation with Measured Subarray Patterns., and . IEICE Trans. Electron., 98-C (4): 340-348 (2015)