Author of the publication

Data Flow Analysis and Formal Method.

, , , and . ICYCSEE, volume 503 of Communications in Computer and Information Science, page 398-406. Springer, (2015)

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

Specification and verification of policy using RAISE and modelchecking., , , and . BMEI, page 2082-2086. IEEE, (2011)TransPhrase: A new method for generating phrase embedding from word embedding in Chinese., , , , and . Expert Syst. Appl., (2021)TransExplain: Using neural networks to find suitable explanations for Chinese phrases., , , , and . Expert Syst. Appl., (2021)Phrase embedding learning from internal and external information based on autoencoder., , , , , and . Inf. Process. Manag., 58 (1): 102422 (2021)A chinese named entity recognition method for small-scale dataset based on lexicon and unlabeled data., , and . Multim. Tools Appl., 82 (2): 2185-2206 (2023)Noise ECG generation method based on generative adversarial network., , and . Biomed. Signal Process. Control., (March 2023)Entity alignment with adaptive margin learning knowledge graph embedding., , and . Data Knowl. Eng., (2022)Distance Ratio Fractal for Complex Mapping z <- za., , , and . IMSCCS (2), page 237-243. IEEE Computer Society, (2006)0-7695-2581-4.Enhance text-to-SQL model performance with information sharing and reweight loss., , and . Multim. Tools Appl., 81 (11): 15205-15217 (2022)Single document summarization using the information from documents with the same topic., , , , and . Knowl. Based Syst., (2021)