팔로우
Yichen Tao
Yichen Tao
University of Michigan
umich.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
A Complete Landscape for the Price of Envy-Freeness
Z Li, S Liu, X Lu, B Tao, Y Tao
Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024
92024
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding
Z Wang, Q Cao, Y Tao
Journal of Automated Reasoning 68 (3), 18, 2024
12024
LOGIC: A Coq Library for Logics
Y Tao, Q Cao
International Symposium on Dependable Software Engineering: Theories, Tools …, 2022
12022
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
FORMALIZATION OF LOGIC SYSTEMS AND SEMANTICS
Y Tao
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5