Author of the publication

运行时验证中的减少监控开销方法研究 (On Reducing Monitoring Overhead in Runtime Verification).

, , , , and . 计算机科学, 43 (5): 162-168 (2016)

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.

 

Other publications of authors with the same name

The Evaluation of the Incomplete Linguistic Preference Relations on the Performance of Web Shops., , , and . HIS (2), page 363-368. IEEE Computer Society, (2009)An Approach to Group Decision Making Based on Incomplete Linguistic Preference Relations., , , and . IAS, page 631-634. IEEE Computer Society, (2009)A Correction Method of Height Variation Error Based on One SNR Arc Applied in GNSS-IR Sea-Level Retrieval., , , and . Remote. Sens., 14 (1): 11 (2022)Stacking ensemble learning models for daily runoff prediction using 1D and 2D CNNs., , , , , and . Expert Syst. Appl., (May 2023)Maximum Hand-Rung Coupling Forces in Children: The Effects of Handhold Diameter., , , , , , , and . Hum. Factors, 55 (3): 545-556 (2013)Statistical approaches for analyzing immunologic data of repeated observations: a practical guide., , , and . Journal of immunological methods, (December 2013)Dades longitudinals; Introductori.Spatial-temporal characteristics of carbon emissions corrected by socio-economic driving factors under land use changes in Sichuan Province, southwestern China., , , , , , , and . Ecol. Informatics, (November 2023)Improving Street Object Detection Using Transfer Learning: From Generic Model to Specific Model., , and . J. Adv. Comput. Intell. Intell. Informatics, 22 (6): 869-874 (2018)The Application of Computer Medicine in the Investigation of the Health Status of Left-Behind Children Aged 6-12 in Xiangxi., , and . Int. J. Comput. Intell. Syst., 16 (1): 100 (2023)Clustering Analysis of Gene Expression Data based on Semi-supervised Visual Clustering Algorithm., , , , and . Soft Comput., 10 (11): 981-993 (2006)