網頁商家名稱擷取與地址配對之研究 (Store Name Extraction and Name-Address Matching on the Web) [In Chinese]. - Yu-Yang Lin; Chia-Hui Chang (ROCLING, 2014)

POI Extraction from the Web: Store Name Recognition and Address Matching. - Yu-Yang Lin; Chia-Hui Chang (Int. J. Comput. Linguistics Chin. Lang. Process., 2014)

Higher-Order Bounded Model Checking. - Yu-Yang Lin; Nikos Tzevelekos (CoRR, 2018)

A Bounded Model Checking Technique for Higher-Order Programs. - Yu-Yang Lin; Nikos Tzevelekos (SETTA, 2019)

Symbolic Execution Game Semantics. - Yu-Yang Lin; Nikos Tzevelekos (FSCD, 2020)

A MMW Coordinate Multi-Point Transmission System for 5G Mobile Fronthaul Networks based on a Polarization-Tracking-Free PDM-RoF Mechanism. - Jhih-Heng Yan; Jian-Kai Huang; Yu-Yang Lin; Jin-Wei Hsu; Kai-Ming Feng (OFC, 2020)

NOMA-CoMP for 5G MMW Fiber Wireless Integration Fronthaul System with SFBC. - Jhih-Heng Yan; Jin-Wei Hsu; Jian-Kai Huang; Yu-Yang Lin; Kai-Ming Feng (OFC, 2021)

There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques. - Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos (CoRR, 2021)

From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. - Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos (TACAS (2), 2022)

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. - Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos (LICS, 2023)

Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. - Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos (LICS, 2024)

An Operational Semantics for Yul. - Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos (SEFM, 2024)

Fine-grained video super-resolution via spatial-temporal learning and image detail enhancement. - Chia-Hung Yeh; Hsin-Fu Yang; Yu-Yang Lin; Wan-Jen Huang; Feng-Hsu Tsai; Li-Wei Kang (Eng. Appl. Artif. Intell., 2024)