( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving Not-Substring Constraint withFlat Abstraction.

, , , , , , , , и . APLAS, том 13008 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2021)

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.

Fang Yu

Fang Chen

Fang Yu

Fang Chen

Yu Chen

 

Другие публикации лиц с тем же именем

Application AR in field experience education: development of teaching aids in chinese literature and taoyuan local culture., , и . ICETC, стр. 3-6. ACM, (2018)An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits., , , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1218-1243 (2023)A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees., , , и . CoRR, (2016)PAC Learning-Based Verification and Model Synthesis., , , , , , и . CoRR, (2015)A symbolic algorithm for the case-split rule in solving word constraints with extensions., , , и . J. Syst. Softw., (июля 2023)FSD: File-related Secure Deletion to Prolong the Lifetime of Solid-State Drives., , , , , , , и . NVMSA, стр. 19-24. IEEE, (2023)The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 91-111. Springer, (2016)PAC learning-based verification and model synthesis., , , , , , и . ICSE, стр. 714-724. ACM, (2016)Learning Summaries of Recursive Functions., , и . APSEC (1), стр. 303-310. IEEE Computer Society, (2014)Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer., , , , , , , и . OSDI, стр. 81-97. USENIX Association, (2020)