Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.

C. Hsu, C. Wu, C. Huang, and K. Khoo. ICCAD, page 68:1-68:4. IEEE, (2020)

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.

Yi Huang

Other publications of authors with the same name

Width minimization in the Single-Electron Transistor array synthesis.C. Liu, C. Chiang, C. Huang, C. Wang, Y. Chen, S. Datta, and V. Narayanan. DATE, page 1-4. European Design and Automation Association, (2014)An Improved Constellation Extension Scheme for PAPR Reduction in OFDM Systems.C. Wang, S. Wang, and Y. Huang. VTC Spring, page 1-4. IEEE, (2011)Crowd-Aware Space Monitoring by Crowdsourcing a Micro QA Task.Y. Huang, and J. jen Hsu. HCOMP, page 24-25. AAAI, (2014)Dinner of Luciérnaga: an interactive play with iPhone app in theater.Y. Tseng, Y. Huang, K. Wu, and C. Chin. ACM Multimedia, page 559-568. ACM, (2012)Using structural relations for checking combinationality of cyclic circuits.W. Weng, Y. Chen, J. Chen, C. Huang, and C. Wang. DATE, page 325-328. ACM, (2015)A probabilistic analysis method for functional qualification under Mutation Analysis.H. Lin, C. Wang, S. Chang, Y. Chen, H. Chou, C. Huang, Y. Yang, and C. Shen. DATE, page 147-152. IEEE, (2012)Dynamic Diagnosis for Defective Reconfigurable Single-Electron Transistor Arrays.Y. Li, C. Huang, C. Wu, Y. Chen, C. Wang, S. Datta, and V. Narayanan. IEEE Trans. Very Large Scale Integr. Syst., 25 (4): 1477-1489 (2017)Error Injection & Correction: An efficient formal logic restructuring algorithm.C. Huang, D. Lee, C. Lin, and C. Wang. ISOCC, page 188-191. IEEE, (2012)Tag-based User Profiling for Social Media RecommendationC. Hung, Y. Huang, J. Hsu, and D. Wu. (2008)On reconfigurable single-electron transistor arrays synthesis using reordering techniques.C. Chiang, L. Tang, C. Wang, C. Huang, Y. Chen, S. Datta, and V. Narayanan. DATE, page 1807-1812. EDA Consortium San Jose, CA, USA / ACM DL, (2013)

BibSonomy

Disambiguation of "Huang, Ching-Yi"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.

Please choose a person to relate this publication to

Yi Huang

Yi Huang

Yi Huang

Yi Huang

Yi Huang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Huang, Ching-Yi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.

Please choose a person to relate this publication to

Yi Huang

Yi Huang

Yi Huang

Yi Huang

Yi Huang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.