( en | de | ru )

 

Disambiguierung von "Song, Xiaoyu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Translation-based co-verification.

, , , und . MEMOCODE, Seite 111-120. IEEE Computer Society, (2005)

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.

Xiaoyu Li

Xiaoyu Qiang

Song Song

Song Song

Xiaoyu Chen

 

Weitere Publikationen von Autoren mit dem selben Namen

Board-level multiterminal net assignment., , , , , und . ACM Great Lakes Symposium on VLSI, Seite 130-135. ACM, (2002)Evaluation of arable land yield potential through remote sensing monitoring., , , und . IGARSS, Seite 2122-2125. IEEE, (2014)A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems., , , , und . IEEE Communications Letters, 17 (11): 2036-2039 (2013)Study on the Spatial - Temporal Variability of Soil Nutrients during Winter Wheat Growth Season., , , , und . CCTA (2), Volume 393 von IFIP Advances in Information and Communication Technology, Seite 238-247. Springer, (2012)Compositional Reasoning for Hardware/Software Co-verification., , und . ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 154-169. Springer, (2006)Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE., , , und . Haifa Verification Conference, Volume 7261 von Lecture Notes in Computer Science, Seite 242-246. Springer, (2011)Hexagonal Routings of Multiterminal Nets., und . COCOON, Volume 1276 von Lecture Notes in Computer Science, Seite 311-320. Springer, (1997)Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation., , und . SMC, Seite 1028-1033. IEEE, (2016)A clustering-based method for unsupervised intrusion detections., , , , und . Pattern Recognit. Lett., 27 (7): 802-810 (2006)Reliability Analysis of PLC Systems by Bayesian Network., , , , , und . SERE, Seite 283-290. IEEE, (2012)