A complete landscape for the price of envy-freeness Z Li, S Liu, X Lu, B Tao, Y Tao arXiv preprint arXiv:2401.01516, 2024 | 2 | 2024 |
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs Shallow Embedding Z Wang, Q Cao, Y Tao arXiv preprint arXiv:2310.17616, 2023 | 1 | 2023 |
Adaptivity Gap for Influence Maximization with Linear Threshold Model on Trees Y Tao, S Wang, K Yang International Workshop on Frontiers in Algorithmics, 160-170, 2023 | | 2023 |
Verifying Programs with Logic and Extended Proof Rules: Deep Embed vs Shallow Embed Z Wang, Q Cao, Y Tao | | 2023 |
LOGIC: A Coq Library for Logics Y Tao, Q Cao International Symposium on Dependable Software Engineering: Theories, Tools …, 2022 | | 2022 |