Author of the publication

ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.

, and . QSW, page 128-137. IEEE, (2023)

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

GPU implementation of a cellular genetic algorithm for scheduling dependent tasks of physical system simulation programs., , , , and . J. Comb. Optim., 35 (1): 293-317 (2018)An on-line detection method for outliers of dynamic unstable measurement data., , , , and . Clust. Comput., 22 (Supplement): 7831-7839 (2019)Research on Aircraft Carrier Attitude Calculation Method Based on RAEKF., , and . ICITEE, page 120:1-120:7. ACM, (2019)Post-Fire Vegetation Succession and Surface Energy Fluxes Derived from Remote Sensing., , , , and . Remote. Sens., 10 (7): 1000 (2018)Estimating Frost during Growing Season and Its Impact on the Velocity of Vegetation Greenup and Withering in Northeast China., , , , , , , and . Remote. Sens., 12 (9): 1355 (2020)Wildfires on the Mongolian Plateau: Identifying Drivers and Spatial Distributions to Predict Wildfire Probability., , , , , , and . Remote. Sens., 11 (20): 2361 (2019)Designing an Android-Based Application for Geohazard Reduction Using Citizen-Based Crowdsourcing Data., , , , and . Mob. Inf. Syst., (2018)DeepRepair: Style-Guided Repairing for Deep Neural Networks in the Real-World Operational Environment., , , , , , and . IEEE Trans. Reliab., 71 (4): 1401-1416 (2022)The Variation of Land Surface Phenology From 1982 to 2006 Along the Appalachian Trail., , , , , , and . IEEE Trans. Geosci. Remote. Sens., 51 (4-1): 2087-2095 (2013)CLCMiner: Detecting Cross-Language Clones without Intermediates., , , , , and . IEICE Trans. Inf. Syst., 100-D (2): 273-284 (2017)