Harry Hsieh

31 papers and 600 indexed citations i.

Harry Hsieh has authored 31 papers that have received a total of 600 indexed citations. This includes 27 papers in Hardware and Architecture, 15 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (23 papers), Formal Methods in Verification (15 papers) and Real-Time Systems Scheduling (11 papers). Harry Hsieh is often cited by papers focused on Embedded Systems Design Techniques (23 papers), Formal Methods in Verification (15 papers) and Real-Time Systems Scheduling (11 papers) and collaborates with scholars based in United States, Italy and Japan. Harry Hsieh's co-authors include Felice Balarin, Luciano Lavagno, Alberto Sangiovanni‐Vincentelli, Eric Cheung and Y. Watanabe and has published in prestigious journals such as IEEE Transactions on Electron Devices, Computer and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems