( en | de | ru )

 

Disambiguierung von "Sun, Yican"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Tail Bound Analysis for Probabilistic Recurrence Relations.

, , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 16-39. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yü-Sün Sun

Deming Sun

Yang Sun

Jianguo Sun

Shenggang Sun

 

Weitere Publikationen von Autoren mit dem selben Namen

ASAC: A Benchmark for Algorithm Synthesis., , , , , , , , und . SIGSOFT FSE Companion, Seite 577-581. ACM, (2024)Automated Tail Bound Analysis for Probabilistic Recurrence Relations., , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 16-39. Springer, (2023)On Lower Bounds of Approximating Parameterized k-Clique., , , und . ICALP, Volume 229 von LIPIcs, Seite 90:1-90:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH., , , , und . Electron. Colloquium Comput. Complex., (2024)Quantitative Analysis of Assertion Violations in Probabilistic Programs., , , , und . CoRR, (2020)Improved Hardness of Approximating k-Clique under ETH., , , und . FOCS, Seite 285-306. IEEE, (2023)Parameterized Inapproximability Hypothesis under Exponential Time Hypothesis., , , , und . STOC, Seite 24-35. ACM, (2024)Guiding dynamic programing via structural probability for accelerating programming by example., , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 224:1-224:29 (2020)Proving Functional Program Equivalence via Directed Lemma Synthesis., , , , , und . CoRR, (2024)Parameterized Inapproximability Hypothesis under ETH., , , , und . CoRR, (2023)