Yu-Yang Lin

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 14

Top Topics

Functional Dependencies

Prime Implicates

Top Venues

Publications

Chia-Hung Yeh, Hsin-Fu Yang, Yu-Yang Lin, Wan-Jen Huang, Feng-Hsu Tsai, Li-Wei Kang
Fine-grained video super-resolution via spatial-temporal learning and image detail enhancement. Eng. Appl. Artif. Intell. 131 (2024)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
An Operational Semantics for Yul. CoRR (2024)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. LICS (2024)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. LICS (2023)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. CoRR (2023)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. CoRR (2023)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. TACAS (2) (2022)
Jhih-Heng Yan, Jin-Wei Hsu, Jian-Kai Huang, Yu-Yang Lin, Kai-Ming Feng
NOMA-CoMP for 5G MMW Fiber Wireless Integration Fronthaul System with SFBC. OFC (2021)
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques. CoRR (2021)
Jhih-Heng Yan, Jian-Kai Huang, Yu-Yang Lin, Jin-Wei Hsu, Kai-Ming Feng
A MMW Coordinate Multi-Point Transmission System for 5G Mobile Fronthaul Networks based on a Polarization-Tracking-Free PDM-RoF Mechanism. OFC (2020)
Yu-Yang Lin, Nikos Tzevelekos
Symbolic Execution Game Semantics. CoRR (2020)
Yu-Yang Lin, Nikos Tzevelekos
Symbolic Execution Game Semantics. FSCD (2020)
Yu-Yang Lin, Nikos Tzevelekos
A Bounded Model Checking Technique for Higher-Order Programs. SETTA (2019)
Yu-Yang Lin, Nikos Tzevelekos
Higher-Order Bounded Model Checking. CoRR (2018)
Yu-Yang Lin, Chia-Hui Chang
網頁商家名稱擷取與地址配對之研究 (Store Name Extraction and Name-Address Matching on the Web) [In Chinese]. ROCLING (2014)
Yu-Yang Lin, Chia-Hui Chang
POI Extraction from the Web: Store Name Recognition and Address Matching. Int. J. Comput. Linguistics Chin. Lang. Process. 19 (4) (2014)