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

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

J. Hu, Y. Hu, L. Yu, W. Wang, H. Yang, Y. Kang, and J. Cheng. CODES+ISSS, page 1-2. 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.

Wentao Song

Wentao Jia

Wentao Li

Wentao Yu

Wang Wang

Other publications of authors with the same name

Development situation and prospects of seismometer.L. Hong, W. Wang, Z. Yao, Z. Han, Y. Li, Q. Gao, and J. Meng. ISCIT, page 410-413. IEEE, (2016)Requirements Socio-Technical Graphs for Managing Practitioners' Traceability Questions.N. Niu, W. Wang, A. Gupta, M. Assarandarban, L. Xu, J. Savolainen, and J. Cheng. IEEE Trans. Comput. Social Systems, 5 (4): 1152-1162 (2018)Knowledge Graph Design: A Way to Promote User Experience for Online Education.W. Wang, and Q. Feng. HCI (18), volume 10288 of Lecture Notes in Computer Science, page 776-786. Springer, (2017)The Analysis of Visual Communication Design of Commonweal Information Through Interactive Design Thinking - Public Commonweal Information Design and Communication in Urban Traffic Spatial Environment as an Example.S. Peng, C. Liu, and W. Wang. HCI (20), volume 10920 of Lecture Notes in Computer Science, page 351-362. Springer, (2018)Batch advection for the piecewise linear vector field on simplicial grids.W. Wang, W. Wang, and S. Li. Comput. Graph., (2016)Image Editing via Segmentation Guided Self-Attention Network.J. Zhang, P. Yang, W. Wang, Y. Hong, and L. Zhang. IEEE Signal Process. Lett., (2020)Detecting Rotated Objects as Gaussian Distributions and Its 3-D Generalization.X. Yang, G. Zhang, X. Yang, Y. Zhou, W. Wang, J. Tang, T. He, and J. Yan. CoRR, (2022)Online inference for time-varying temporal dependency discovery from time series.C. Zeng, Q. Wang, W. Wang, T. Li, and L. Shwartz. IEEE BigData, page 1281-1290. IEEE Computer Society, (2016)Dual-path Image Inpainting with Auxiliary GAN Inversion.W. Wang, L. Niu, J. Zhang, X. Yang, and L. Zhang. CVPR, page 11411-11420. IEEE, (2022)Rethinking Rotated Object Detection with Gaussian Wasserstein Distance Loss.X. Yang, J. Yan, Q. Ming, W. Wang, X. Zhang, and Q. Tian. ICML, volume 139 of Proceedings of Machine Learning Research, page 11830-11841. PMLR, (2021)

BibSonomy

Disambiguation of "Wang, Wentao"

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

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

Please choose a person to relate this publication to

Wentao Song

Wentao Jia

Wentao Li

Wentao Yu

Wang Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Wentao"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.

Please choose a person to relate this publication to

Wentao Song

Wentao Jia

Wentao Li

Wentao Yu

Wang Wang

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

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress.