Folgen
Yichen Tao
Yichen Tao
University of Michigan
Bestätigte E-Mail-Adresse bei umich.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
22024
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
12023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5