( en | de | ru )

 

Disambiguierung von "Zhang, Xiaozhen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.

, , , , , und . DSA, Seite 25-36. IEEE, (2019)

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)

Xianghong Zhang

Miao Zhang

Wei Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

A New Computational Method Based on Probabilistic Linguistic Z-Number With Unbalanced Semantics and Its Application to Multi-Criteria Group Decision Making., , und . IEEE Access, (2021)A Distributed Algorithm for Solving A Time-Varying Linear Equation., , , , , und . CDC, Seite 3160-3165. IEEE, (2023)Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking., , , und . QRS, Seite 410-421. IEEE, (2022)Study of the Collection of Network Performance and Algorithms Based on Active Network., , , und . GCC Workshops, Seite 121-124. IEEE Computer Society, (2006)A Novel Reliability-Centered Opportunistic Maintenance Strategy for Metro Train Complex Systems., , , und . IEEE Intell. Transp. Syst. Mag., 14 (3): 146-159 (2022)Design and Analysis of Truss Aerial Transportation System (TATS): The Lightweight Bar Spherical Joint Mechanism., , , , , , und . IROS, Seite 10501-10507. IEEE, (2022)Bounded Model Checking of Synchronous Reactive Models in Ptolemy II., , , und . APSEC, Seite 407-416. IEEE, (2022)Self-Triggered Based Coordinate Control With Low Communication for Tethered Multi-UAV Collaborative Transportation., , , , , , und . IEEE Robotics Autom. Lett., 6 (2): 1559-1566 (2021)UPG: 3D vision-based prediction framework for robotic grasping in multi-object scenes., , , und . Knowl. Based Syst., (2023)The Tuneup and Integration of Resources in Web-Based Learning., , und . ICALT, Seite 391-394. IEEE Computer Society, (2001)