Yu-Yang Lin

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

Collaborative distances:

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

2023

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

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

CoRR, 2023

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

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

LICS, 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