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

Data mining based decomposition for assume-guarantee reasoning.

H. Zhu, F. He, W. Hung, X. Song, and M. Gu. FMCAD, page 116-119. IEEE, (2009)

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

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)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)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)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)A Formal Model-Based Design Method for Robotic Systems.R. Wang, Y. Guan, H. Song, X. Li, X. Li, Z. Shi, and X. Song. IEEE Syst. J., 13 (1): 1096-1107 (2019)Parameter co-evolution mechanism of particle swarm optimisation algorithm.M. Zhao, X. Song, and Y. Gao. Int. J. Simul. Process. Model., 15 (3): 255-267 (2020)Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation.X. Song, Y. Zhu, and F. Lv. SMC, page 1028-1033. IEEE, (2016)Tolerating C Integer Error via Precision Elevation.X. Cheng, M. Zhou, X. Song, M. Gu, and J. Sun. IEEE Trans. Computers, 68 (2): 270-286 (2019)Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.M. Zhou, F. He, X. Song, S. He, G. Chen, and M. Gu. Theory Comput. Syst., 56 (2): 347-371 (2015)

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

Data mining based decomposition for assume-guarantee reasoning.

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 Data mining based decomposition for assume-guarantee reasoning.

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

Data mining based decomposition for assume-guarantee reasoning.