| Approximate disjoint bi-decomposition and its application to approximate logic synthesis Y Yao, S Huang, C Wang, Y Wu, W Qian 2017 IEEE International Conference on Computer Design (ICCD), 517-524, 2017 | 19 | 2017 |
| DALS: Delay-driven approximate logic synthesis Z Zhou, Y Yao, S Huang, S Su, C Meng, W Qian 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-7, 2018 | 18 | 2018 |
| HEDALS: Highly Efficient Delay-driven Approximate Logic Synthesis C Meng, Z Zhou, Y Yao, S Huang, Y Chen, W Qian IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2023 | 6 | 2023 |
| Logical Relations for Session-Typed Concurrency S Balzer, F Derakhshan, R Harper, Y Yao arXiv preprint arXiv:2309.00192, 2023 | 4 | 2023 |
| Regrading policies for flexible information flow control in session-typed concurrency F Derakhshan, S Balzer, Y Yao arXiv preprint arXiv:2407.20410, 2024 | 2 | 2024 |
| Approximate Logic Synthesis for FPGA by Decomposition Z Xiang, N Liu, Y Yao, F Yang, C Zhuo, W Qian Approximate Computing, 149-174, 2012 | 2 | 2012 |
| Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version) Y Yao, G Iraci, CE Chuang, S Balzer, L Ziarek arXiv preprint arXiv:2411.07215, 2024 | 1 | 2024 |
| Semantic Logical Relations for Timed Message-Passing Protocols Y Yao, G Iraci, CE Chuang, S Balzer, L Ziarek Proceedings of the ACM on Programming Languages 9 (POPL), 1750-1781, 2025 | | 2025 |
| Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact) F Derakhshan, S Balzer, Y Yao Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
Weikang QianUniversity of Michigan-SJTU Joint Institute, Shanghai Jiao Tong UniversityVerified email at sjtu.edu.cn