( en | de | ru )

 

Disambiguierung von "Zhao, Yongxin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

, , , , , und . Formal Aspects Comput., 30 (3-4): 351-380 (2018)

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.

Yongxin Liao

Yongxin Meng

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Su Zhao

 

Weitere Publikationen von Autoren mit dem selben Namen

A mathematical analysis of improved EigenAnt algorithm., , , und . J. Exp. Theor. Artif. Intell., 31 (2): 291-309 (2019)PmiREN2.0: from data annotation to functional exploration of plant microRNAs., , , , , , , , , und 1 andere Autor(en). Nucleic Acids Res., 50 (D1): 1475-1482 (2022)Isolation Modeling and Analysis Based on Mobility., , , , , , und . ACM Trans. Softw. Eng. Methodol., 28 (2): 10:1-10:31 (2019)Parameterized Design and Formal Verification of Multi-ported Memory., , , , und . ICECCS, Seite 33-41. IEEE, (2022)Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving., , , und . CAiSE, Volume 13901 von Lecture Notes in Computer Science, Seite 33-49. Springer, (2023)Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S)., , , und . SEKE, Seite 646-649. KSI Research Inc., (2023)AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi., , , , und . SEKE, Seite 108-113. KSI Research Inc., (2021)Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture., , , und . SEKE, Seite 369-375. KSI Research Inc., (2022)Algorithm selection for software verification based on adversarial LSTM., , , , , und . BigDataSecurity, Seite 87-92. IEEE, (2021)Formal Modeling and Security Analysis for OpenFlow-Based Networks., , , und . ICECCS, Seite 201-204. IEEE Computer Society, (2018)