Yu-Yang Lin

According to our database, Yu-Yang Lin authored at least 13 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

An Operational Semantics for Yul.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

CoRR, 2024

Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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

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

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2021

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

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2020

Symbolic Execution Game Semantics.

Yu-Yang Lin, Nikos Tzevelekos

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

A Bounded Model Checking Technique for Higher-Order Programs.

Yu-Yang Lin, Nikos Tzevelekos

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

2018

Higher-Order Bounded Model Checking.

Yu-Yang Lin, Nikos Tzevelekos

CoRR, 2018

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

網頁商家名稱擷取與地址配對之研究 (Store Name Extraction and Name-Address Matching on the Web) [In Chinese].

Yu-Yang Lin, Chia-Hui Chang

Proceedings of the 26th Conference on Computational Linguistics and Speech Processing, 2014