Author of the publication

Formal Modeling and Automatic Code Synthesis for Robot System.

, , , , , and . ICECCS, page 146-149. IEEE Computer Society, (2017)

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

A low-kickback preamplifier with offset cancellation for pipelined folding A/D Converter., , and . ASICON, page 925-928. IEEE, (2011)The dynamic change of the urban thermal environment landscape patterns in Beijing from 2003 to 2011., , , and . IGARSS, page 4245-4248. IEEE, (2013)Fast intra mode decision algorithm for HEVC based on dominant edge assent distribution., , and . Multimedia Tools Appl., 75 (4): 1963-1981 (2016)Sub-footprint analysis to uncover tree height variation using ICESat/GLAS., , and . Int. J. Appl. Earth Obs. Geoinformation, (2015)Land Surface Ecosystem Change Due to Natural and Anthropology Effects-The Ordos Case, Inner Mongolia., , , , , , and . IGARSS, page 6479-6482. IEEE, (2019)Who will retweet? A prediction method for social hotspots based on dynamic tensor decomposition., , , and . Sci. China Inf. Sci., 61 (9): 098105:1-098105:3 (2018)Local Indicator of Colocation Quotient with a Statistical Significance Test: Examining Spatial Association of Crime and Facilities., , , and . CoRR, (2020)Angle effects of vegetation indices and the influence on prediction of SPAD values in soybean and maize., , , , and . Int. J. Appl. Earth Obs. Geoinformation, (2020)From Offline Towards Real-Time Verification for Robot Systems., , , , , , and . IEEE Trans. Ind. Informatics, 14 (4): 1712-1721 (2018)Impervious surface coverage and their impact on other components of the urban ecosystem in Beijing., , , , and . IGARSS, page 2731-2734. IEEE, (2010)