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

RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.

X. Ma, S. Wu, E. Pobee, X. Mei, H. Zhang, B. Jiang, und W. Chan. CoRR, (2020)

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

Xiang Hao University of Stuttgart

Hao Lu University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A Non-Forced-Write Atomic Commit Protocol for Cluster File Systems.B. Shao, J. Zhang, C. Zheng, H. Zhang, Z. Liu, und L. Xu. J. Comput. Sci. Technol., 29 (2): 303-315 (2014)Max-Margin Discriminant Projection via Data Augmentation.B. Chen, H. Zhang, X. Zhang, W. Wen, H. Liu, und J. Liu. IEEE Trans. Knowl. Data Eng., 27 (7): 1964-1976 (2015)Decentralized Robust Control with Guaranteed Cost for Hybrid Complex Networks.H. Zhang, Q. Chen, und H. Yan. I. J. Information Acquisition, 5 (3): 283-289 (2008)Fusion-based edge-sensitive interpolation method for deinterlacing.H. Zhang, R. Wang, W. Liu, und M. Rong. Multimedia Tools Appl., 74 (18): 7643-7659 (2015)A Clustering-Assisted Regression (CAR) approach for developing spatial climate data sets in China.L. Tang, X. Su, G. Shao, H. Zhang, und J. Zhao. Environmental Modelling and Software, (2012)Coordinated resource allocation to maximize the number of guaranteed users in OFDMA femtocell networks.K. Wang, H. Li, H. Zhang, und H. Pan. SCIENCE CHINA Information Sciences, 58 (8): 1-11 (2015)Low Complexity Codebook-Based Beam Switching for 60 GHz Anti-Blockage Communication.H. Zhang, C. Wu, X. rong Cui, T. Gulliver, und H. Zhang. JCM, 8 (7): 428-439 (2013)Steganalysis by subtractive pixel adjacency matrix and dimensionality reduction.H. Zhang, X. Ping, M. Xu, und R. Wang. SCIENCE CHINA Information Sciences, 57 (4): 1-7 (2014)Mesh Segmentation via Spectral Embedding and Contour Analysis.R. Liu, und H. Zhang. Comput. Graph. Forum, 26 (3): 385-394 (2007)Tangential Distance Fields for Mesh Silhouette Problems.M. Olson, und H. Zhang. Comput. Graph. Forum, 28 (1): 84-100 (2009)