Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2019
Navedbe
5
5
indeks h
1
1
indeks i10
0
0
Javni dostop
Prikaži vse
Prikaži vse
2 članka
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Spremljaj
Yichen Tao
University of Michigan
Preverjeni e-poštni naslov na umich.edu -
Domača stran
Formal Methods
Članki
Navedeno
Javni dostop
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
Navedeno
Navedeno
Leto
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
3
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
LOGIC: A Coq Library for Logics
Y Tao, Q Cao
International Symposium on Dependable Software Engineering: Theories, Tools …
, 2022
1
2022
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
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–5
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google