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

Verifying Java Programs By Theorem Prover HOL.

A. Wang, F. He, M. Gu, and X. Song. COMPSAC (1), page 139-142. IEEE Computer Society, (2006)

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.

Xiaoyu Li

Xiaoyu Qiang

Song Song

Xiaoyu Chen

Other publications of authors with the same name

Estimating potato above-ground biomass by using integrated unmanned aerial system-based optical, structural, and textural canopy measurements.Y. Liu, H. Feng, J. Yue, Y. Fan, M. Bian, Y. Ma, X. Jin, X. Song, and G. Yang. Comput. Electron. Agric., (October 2023)Winter Wheat Nitrogen Status Estimation Using UAV-Based RGB Imagery and Gaussian Processes Regression.Y. Fu, G. Yang, Z. Li, X. Song, Z. Li, X. Xu, P. Wang, and C. Zhao. Remote. Sens., 12 (22): 3778 (2020)Transfer-Learning-Based Approach for Yield Prediction of Winter Wheat from Planet Data and SAFY Model.Y. Zhao, S. Han, Y. Meng, H. Feng, Z. Li, J. Chen, X. Song, Y. Zhu, and G. Yang. Remote. Sens., 14 (21): 5474 (2022)Comparison of Different Dimensional Spectral Indices for Estimating Nitrogen Content of Potato Plants over Multiple Growth Periods.Y. Fan, H. Feng, J. Yue, Y. Liu, X. Jin, X. Xu, X. Song, Y. Ma, and G. Yang. Remote. Sens., 15 (3): 602 (February 2023)Improved Estimation of Winter Wheat Aboveground Biomass Using Multiscale Textures Extracted from UAV-Based Digital Images and Hyperspectral Feature Analysis.Y. Fu, G. Yang, X. Song, Z. Li, X. Xu, H. Feng, and C. Zhao. Remote. Sens., 13 (4): 581 (2021)Winter Wheat Cropland Grain Protein Content Evaluation through Remote Sensing.X. Song, J. Wang, G. Yang, and H. Feng. Intell. Autom. Soft Comput., 20 (4): 599-609 (2014)Evaluating and Constraining Hardware Assertions with Absent Scenarios.H. Chao, H. Li, X. Song, T. Wang, and X. Li. J. Comput. Sci. Technol., 35 (5): 1198-1216 (2020)Minimal universal library for n×n reversible circuits.G. Yang, X. Song, M. Perkowski, W. Hung, and C. Seo. Comput. Math. Appl., 56 (1): 160-165 (2008)Grover-based Ashenhurst-Curtis decomposition using quantum language quipper.Y. Li, E. Tsai, M. Perkowski, and X. Song. Quantum Inf. Comput., 19 (1&2): 35-66 (2018)CPS-Based Self-Adaptive Collaborative Control for Smart Production-Logistics Systems.Z. Guo, Y. Zhang, X. Zhao, and X. Song. IEEE Trans. Cybern., 51 (1): 188-198 (2021)

BibSonomy

Disambiguation of "Song, Xiaoyu"

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

Verifying Java Programs By Theorem Prover HOL.

Please choose a person to relate this publication to

Xiaoyu Li

Xiaoyu Qiang

Song Song

Song Song

Xiaoyu Chen

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Song, Xiaoyu"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verifying Java Programs By Theorem Prover HOL.

Please choose a person to relate this publication to

Xiaoyu Li

Xiaoyu Qiang

Song Song

Song Song

Xiaoyu Chen

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

Verifying Java Programs By Theorem Prover HOL.