Yu-Yang Lin

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