( en | de | ru )

 

Disambiguierung von "Zhang, Chenyi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Game-Based Verification of Multi-Party Contract Signing Protocols.

, , , und . Formal Aspects in Security and Trust, Volume 5983 von Lecture Notes in Computer Science, Seite 186-200. Springer, (2009)

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)

Shuying Zhang

Yue Zhang

Xianghong Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

Information flow security - models, verification and schedulers.. University of New South Wales, Sydney, Australia, (2009)base-search.net (ftunswworks:oai:unsworks.unsw.edu.au:1959.4/43410).Algorithmic Verification of Noninterference Properties., und . VODCA@FOSAD, Volume 168 von Electronic Notes in Theoretical Computer Science, Seite 61-75. Elsevier, (2006)TFA: an efficient and precise virtual method call resolution for Java., und . Formal Aspects Comput., 32 (4-6): 395-416 (2020)Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time., , , und . CIKM, Seite 911-920. ACM, (2015)Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall., , und . AAAI, Seite 765-771. AAAI Press, (2012)An Algorithm for Probabilistic Alternating Simulation., und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 431-442. Springer, (2012)Learning Trimaps via Clicks for Image Matting., , , , , und . CoRR, (2024)Improving the Scalability of Automatic Linearizability Checking in SPIN., , , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 105-121. Springer, (2017)A Trust-Augmented Voting Scheme for Collaborative Privacy Management., , , , und . STM, Volume 6710 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2010)Comparisons Are All You Need for Optimizing Smooth Functions., und . CoRR, (2024)