( en | de | ru )

 

Disambiguierung von "Lin, Yu-Yang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
POI Extraction from the Web: Store Name Recognition and Address Matching.

, und . IJCLCLP, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lin Yang

Lin Yang

Yang Lin

Yu Yang

Yu Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

Higher-Order Bounded Model Checking., und . CoRR, (2018)Subnanosecond Pulse Generators for Impulsive Wireless Power Transmission and Reception., , und . 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., , und . CoRR, (2021)Research on Module Design of PSD Big Data Platform., , , , , , und . ICCSE, Seite 350-353. IEEE, (2019)Stochastic time-varying extremum seeking and its applications., , und . Autom., (2023)Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence., , und . CoRR, (2023)Symbolic Execution Game Semantics., und . FSCD, Volume 167 von LIPIcs, Seite 27:1-27:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques., , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 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., , , , und . OFC, Seite 1-3. IEEE, (2020)A Bounded Model Checking Technique for Higher-Order Programs., und . SETTA, Volume 11951 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2019)