Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Compositional Model Checking of Concurrent Systems.

H. Zheng, Z. Zhang, C. Myers, E. Rodriguez, und Y. Zhang. IEEE Trans. Computers, 64 (6): 1607-1621 (2015)

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.

Shuai Zhang University of Stuttgart

Guanhua Zhang University of Stuttgart

Haoyu Zheng University of Stuttgart

Jianshu Zheng University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A Puzzle-Based Genetic Algorithm with Block Mining and Recombination Heuristic for the Traveling Salesman Problem.P. Chang, W. Huang, und Z. Zhang. J. Comput. Sci. Technol., 27 (5): 937-949 (2012)A note on arrays of dots wit distinct slopes.Z. Zhang. Combinatorica, 13 (1): 127-128 (1993)On-the-Field Test and Configuration Infrastructure for 2-D-Mesh NoCs in Shared-Memory Many-Core Architectures.Z. Zhang, D. Refauvelet, A. Greiner, M. Benabdenbi, und F. Pêcheux. IEEE Trans. VLSI Syst., 22 (6): 1364-1376 (2014)Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly.Z. Zhang, B. He, und K. Chang. VLDB, Seite 97-108. ACM, (2005)Multiple description trellis-coded vector quantization.G. Zhou, und Z. Zhang. GLOBECOM, Seite 1414-1420. IEEE, (2001)Toward Large Scale Integration: Building a MetaQuerier over Databases on the Web.K. Chang, B. He, und Z. Zhang. CIDR, Seite 44-55. (2005)Image Processing in Optical Guidance for Autonomous Landing of Lunar Probe.M. Ding, Y. Cao, Q. Wu, und Z. Zhang. Intelligent Unmanned Systems, Volume 192 von Studies in Computational Intelligence, Springer, (2009)Target Detection In Sar Images Based On Sub-Aperture Coherence And Phase Congruency.Z. Zhang, X. Wang, und L. Xu. Intelligent Automation & Soft Computing, 18 (7): 831-843 (2012)On space-time convolutional codes for PSK modulation.G. Zhou, Y. Wang, Z. Zhang, und K. Chugg. ICC, Seite 1122-1126. IEEE, (2001)Distributed and Real-Time Query Framework for Processing Participatory Sensing Data Streams.C. Liu, Z. Zhang, Y. Huang, und K. Leung. HPCC/CSS/ICESS, Seite 248-253. IEEE, (2015)