( en | de | ru )

 

Disambiguation of "Sun, Jing"

Author of the publication

copydeleteadd this publication to your clipboard
Planning as Model Checking Tasks.

, , , , and . SEW, page 177-186. IEEE Computer Society, (2012)

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.

Jing Sun

Jing Sun

Jing Sun

Jing Sun

Yuanyuan Jing

 

Other publications of authors with the same name

A 1-μm-Band Injection-Locked Semiconductor Laser with a High Side-Mode Suppression Ratio and Narrow Linewidth., , , , , , , , , and 2 other author(s). Sensors, 22 (23): 9239 (2022)Boosting performance of gene mention tagging system by classifiers ensemble., , and . NLPKE, page 1-4. IEEE, (2010)From verified model to executable program: the PAT approach., , , and . Innov. Syst. Softw. Eng., 12 (1): 1-26 (2016)A semantic web environment for components., and . Knowl. Eng. Rev., 24 (1): 59-75 (2009)Research of Paper Recommendation System Based on Citation Network Model., and . ML4CS (3), volume 12488 of Lecture Notes in Computer Science, page 237-247. Springer, (2020)Data-Driven Abnormal Condition Identification and Self-Healing Control System for Fused Magnesium Furnace., , , and . IEEE Trans. Ind. Electron., 62 (3): 1703-1715 (2015)Simultaneous Identification and Control for Hybrid Energy Storage System Using Model Predictive Control and Active Signal Injection., , , , , , , and . IEEE Trans. Ind. Electron., 67 (11): 9768-9778 (2020)Silas: A high-performance machine learning foundation for logical reasoning and verification., , , , , , and . Expert Syst. Appl., (2021)Impact of Multitemporal Land Use and Land Cover Change on Land Surface Temperature Due to Urbanization in Hefei City, China., and . ISPRS Int. J. Geo Inf., 10 (12): 809 (2021)Center-Point-Guided Proposal Generation for Detection of Small and Dense Buildings in Aerial Imagery., , and . IEEE Geosci. Remote. Sens. Lett., 15 (7): 1100-1104 (2018)