Author of the publication

Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).

, , , and . SEKE, page 646-649. KSI Research Inc., (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

MicroRNA annotation in plants: current status and challenges., , , , and . Briefings Bioinform., (2021)Encoding Induction Proof in Dafny., , , and . TASE, page 95-102. IEEE, (2021)ChiselFV: A Formal Verification Framework for Chisel., , and . DATE, page 1-6. IEEE, (2023)A Timed CSP Model for the Time-Triggered Language Giotto., , , , and . SEW, page 110-119. IEEE Computer Society, (2012)A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space., , and . TASE, volume 14777 of Lecture Notes in Computer Science, page 306-323. Springer, (2024)A mathematical analysis of improved EigenAnt algorithm., , , and . J. Exp. Theor. Artif. Intell., 31 (2): 291-309 (2019)Isolation Modeling and Analysis Based on Mobility., , , , , , and . ACM Trans. Softw. Eng. Methodol., 28 (2): 10:1-10:31 (2019)Algorithm selection for software verification based on adversarial LSTM., , , , , and . BigDataSecurity, page 87-92. IEEE, (2021)AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi., , , , and . SEKE, page 108-113. KSI Research Inc., (2021)Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S)., , , and . SEKE, page 646-649. KSI Research Inc., (2023)