( en | de | ru )

 

Disambiguation of "Hua, Xin"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatic semantics of a hardware specification language.

, and . Great Lakes Symposium on VLSI, page 183-190. IEEE, (1992)

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.

Xin-Hua Chen

Georg Xingas

Jiping Xin

Yunfei Xing

Qiwu Xing

 

Other publications of authors with the same name

Workflow Interoperability - Enabling Online Approval in E-government., and . GCC (2), volume 3033 of Lecture Notes in Computer Science, page 1018-1021. Springer, (2003)The Dynamic Vectors-Based Attention Model for Chinese Mathematical Term Extraction., , , , and . IEEE Intell. Syst., 38 (3): 12-20 (May 2023)Optoelectronic Neuromorphic Accelerator at 523.27 GOPS Based on Coherent Optical Devices., , , , , , , and . OFC, page 1-3. IEEE, (2023)FRI: Failure-Resistant Induction in RRL., and . CADE, volume 607 of Lecture Notes in Computer Science, page 691-695. Springer, (1992)Formal Semantics of VHDL for Verification of Circuit Designs., and . ICCD, page 446-449. IEEE Computer Society, (1993)Exploring the Influence of Trust on Mobile Payment Adoption., , and . PACIS, page 143. (2013)Wind turbine bionic blade design and performance analysis., , , , and . J. Vis. Commun. Image Represent., (2019)Proposed Shift Quality Metrics and Experimentation on AMT Shift Quality Evaluation., , , , and . ICNC (2), page 494-498. IEEE Computer Society, (2007)Axiomatic semantics of a hardware specification language., and . Great Lakes Symposium on VLSI, page 183-190. IEEE, (1992)Research on intelligent forecasts of flight actions based on the implemented bi-LSTM., and . PeerJ Comput. Sci., (2024)