( en | de | ru )

 

Disambiguierung von "Zhang, Kaiyuan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Empirical Study on the Correctness of Formally Verified Distributed Systems.

, , , und . EuroSys, Seite 328-343. ACM, (2017)

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.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yue Zhang

Yan Zhang

Xianghong Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

Dividends Distribution and Earnings Persistence: Evidence from Chinese Listed Companies., , und . WHICEB, Seite 13. Association for Information Systems, (2014)Method for Identifying Cancer-Related Genes Using Gene Similarity-Based Collaborative Filtering., , und . J. Comput. Biol., 26 (8): 875-881 (2019)Energy-Latency Tradeoff for Computation Offloading in UAV-Assisted Multiaccess Edge Computing System., , , und . IEEE Internet Things J., 8 (8): 6709-6719 (2021)Optimal pricing-based computation offloading and resource allocation for blockchain-enabled beyond 5G networks., , , , und . Comput. Networks, (2022)Hybrid collaborative caching in mobile edge networks: An analytical approach., , , und . Comput. Networks, (2019)Slim: OS Kernel Support for a Low-Overhead Container Overlay Network., , , , , , und . NSDI, Seite 331-344. USENIX Association, (2019)Automated Verification of Customizable Middlebox Properties with Gravel., , , , und . NSDI, Seite 221-239. USENIX Association, (2020)Spherical, Axial, and Triaxial Symmetries in the Study of Halo Nuclei with Covariant Density Functional Theory., , , und . Symmetry, 15 (7): 1420 (Juli 2023)DRGraph: An Efficient Graph Layout Algorithm for Large-scale Graphs by Dimensionality Reduction., , , , , und . IEEE Trans. Vis. Comput. Graph., 27 (2): 1666-1676 (2021)ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP., , , , , , und . CoRR, (2023)