Yu-Yang Lin
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Fully abstract normal form bisimulation for call-by-value pcf | 2026-02-27 | Paper |
| Symbolic execution game semantics | 2026-02-24 | Paper |
| Fully abstract normal form bisimulation for call-by-value PCF Journal of the ACM | 2026-01-22 | Paper |
| Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence | 2025-06-18 | Paper |
| Design and evaluation of the traveling wave piezoelectric beam actuators Acta Mechanica Sinica | 2025-04-16 | Paper |
Research outcomes over time
This page was built for person: Yu-Yang Lin
