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

Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph., , , and . J. Univers. Comput. Sci., 13 (13): 1972-2001 (2007)Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 86-A (12): 3192-3199 (2003)Jamming layered membrane gripper mechanism for grasping differently shaped-objects without excessive pushing force for search and rescue missions., , , , , , , and . Adv. Robotics, 32 (11): 590-604 (2018)Temporal Logic Based Hardware Description and Its Verification with Prolog., , and . New Gener. Comput., 1 (2): 195-203 (1983)Kinetic analysis in human brain of 11C(R)-rolipram, a positron emission tomographic radioligand to image phosphodiesterase 4: A retest study and use of an image-derived input function., , , , , , , , and . NeuroImage, 54 (3): 1903-1909 (2011)SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement., , and . J. Electron. Test., 35 (5): 655-678 (2019)Performance Estimation with Automatic False-Path Detection for System-Level Designs., , and . IPSJ Trans. Syst. LSI Des. Methodol., (2010)Development of a folding arm on an articulated mobile robot for plant disaster prevention., , , , and . Adv. Robotics, 34 (2): 89-103 (2020)SDR-4X II: A Small Humanoid as an Entertainer in Home Environment., , , , and . ISRR, volume 15 of Springer Tracts in Advanced Robotics, page 355-364. Springer, (2003)A 48 MHz 880-nW Standby Power Normally-Off MCU with 1 Clock Full Backup and 4.69-μs Wakeup Featuring 60-nm Crystalline In-Ga-Zn Oxide BEOL-FETs., , , , , , , , , and 1 other author(s). VLSI Circuits, page 48-. IEEE, (2019)