( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Execution Game Semantics.

, и . FSCD, том 167 из LIPIcs, стр. 27:1-27:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Lin Yang

Lin Yang

Yang Lin

Yu Yang

Yu Yang

 

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

Subnanosecond Pulse Generators for Impulsive Wireless Power Transmission and Reception., , и . IEEE Trans. Circuits Syst. II Express Briefs, 58-II (12): 817-821 (2011)There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques., , и . CoRR, (2021)Research on Module Design of PSD Big Data Platform., , , , , , и . ICCSE, стр. 350-353. IEEE, (2019)Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence., , и . LICS, стр. 53:1-53:15. ACM, (2024)Stochastic time-varying extremum seeking and its applications., , и . Autom., (2023)Symbolic Execution Game Semantics., и . FSCD, том 167 из LIPIcs, стр. 27:1-27:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques., , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 178-195. Springer, (2022)A MMW Coordinate Multi-Point Transmission System for 5G Mobile Fronthaul Networks based on a Polarization-Tracking-Free PDM-RoF Mechanism., , , , и . OFC, стр. 1-3. IEEE, (2020)A Bounded Model Checking Technique for Higher-Order Programs., и . SETTA, том 11951 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2019)網頁商家名稱擷取與地址配對之研究 (Store Name Extraction and Name-Address Matching on the Web) In Chinese., и . ROCLING, Association for Computational Linguistics and Chinese Language Processing (ACLCLP), Taiwan, (2014)