Yichen Tao

According to our database¹, Yichen Tao authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

A Complete Landscape for the Price of Envy-Freeness.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.

[BibT_eX]

[DOI]

Zhongye Wang

Qinxiang Cao

Yichen Tao

CoRR, 2023

Adaptivity Gap for Influence Maximization with Linear Threshold Model on Trees.

[BibT_eX]

[DOI]

Yichen Tao

Shuo Wang

Kuan Yang

Proceedings of the Frontiers of Algorithmics - 17th International Joint Conference, 2023

2022

LOGIC: A Coq Library for Logics.

[BibT_eX]

[DOI]

Yichen Tao

Qinxiang Cao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Yichen Tao

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...