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

FOF: Functionally Observable Fault and its ATPG techniques., , and . VLSI-SoC, page 108-111. IEEE, (2013)A debugging method for gate level circuit designs by introducing programmability., , and . VLSI-SoC, page 78-83. IEEE, (2013)Hardware implementation of BLTL property checkers for acceleration of statistical model checking., , and . ICCAD, page 670-676. IEEE, (2013)Hybrid world object tracking for a virtual teaching agent., , , , , , and . IJCNN, page 1-9. IEEE, (2010)Experimental Study of Ankle Joint Pushing Mechanism Concerning About the Horizontal Movement of Talus., , and . J. Robotics Mechatronics, 29 (2): 299-305 (2017)Application of search algorithms to natural language processing., , and . ALTA, page 22-29. Australasian Language Technology Association, (2003)Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis., , and . HLDVT, page 162-169. IEEE Computer Society, (2006)SAT-Based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions., , and . Asian Test Symposium, page 19-24. IEEE Computer Society, (2012)Generation of I/O sequences for a high-level design from those in post-silicon for efficient post-silicon debugging., , and . ICCD, page 402-408. IEEE Computer Society, (2010)Pulmonary kinematic analysis with non-rigid deformable registration for detecting localised emphysema., , , , and . Comput. methods Biomech. Biomed. Eng. Imaging Vis., 5 (2): 100-109 (2017)