Sledovat
Yichen Tao
Yichen Tao
University of Michigan
E-mailová adresa ověřena na: umich.edu - Domovská stránka
Název
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–5