/
User Settings
H

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

7

Papers

40

Citations

4

h-index

1

i10-index

H.-Y. Lai is an academic researcher from National Cheng Kung University. The author has contributed to research in topics: Advanced machining processes and optimization & Manufacturing Process and Optimization & Logic, programming, and type systems. The author has an h-index of 4, co-authored 6 publications.

Research Topics

Advanced machining processes and optimizationManufacturing Process and OptimizationLogic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat