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

Formal security proofs with minimal fuss: Implicit computational complexity at work.

D. Nowak, und Y. Zhang. Inf. Comput., (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.

Xingyao Yu University of Stuttgart

On-body visualization with extended reality : exploration and applicationX. Yu. Universität Stuttgart, Stuttgart, Dissertation, (2025)

Wei Yu University of Stuttgart

Guanhua Zhang University of Stuttgart

Zili Yu University of Stuttgart

Bo Hung Yu University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Image compressed sensing based on wavelet transform in contourlet domain.X. Bi, X. dong Chen, Y. Zhang, und B. Liu. Signal Processing, 91 (5): 1085-1092 (2011)Formal Reasoning About Lazy-STM Programs.Y. Li, Y. Zhang, Y. Chen, und M. Fu. J. Comput. Sci. Technol., 25 (4): 841-852 (2010)Certifying Concurrent Programs Using Transactional Memory.L. Li, Y. Zhang, Y. Chen, und Y. Li. J. Comput. Sci. Technol., 24 (1): 110-121 (2009)Design and implementation of the highly-reliable, low-cost housekeeping system in the ZDPS-1A pico-satellite.Y. Zhang, Y. ming Zheng, M. Yang, H. Li, und Z. he Jin. Journal of Zhejiang University - Science C, 13 (2): 83-89 (2012)The Development of China's Next Generation Network and National Service Testbed.Y. Xu, X. Lu, und Y. Zhang. EAI Endorsed Trans. Ubiquitous Environments, 2 (6): e5 (2015)An Approach for Adaptive DRAM Temperature and Power Management.S. Liu, Y. Zhang, S. Memik, und G. Memik. IEEE Trans. VLSI Syst., 18 (4): 684-688 (2010)Robust Reputation Protocol Design for Online Communities: A Stochastic Stability Analysis.Y. Zhang, und M. van der Schaar. J. Sel. Topics Signal Processing, 7 (5): 907-920 (2013)Formal security proofs with minimal fuss: Implicit computational complexity at work.D. Nowak, und Y. Zhang. Inf. Comput., (2015)An adaptive switching scheme for iterative computing in the cloud.Y. Zhang, X. Liao, H. Jin, L. Lin, und F. Lu. Frontiers of Computer Science, 8 (6): 872-884 (2014)Grey evaluation empirical study based on center-point triangular whitenization weight function of Jiangsu Province industrial technology innovation strategy alliance.Y. Zhang, J. Ni, J. Liu, und L. Jian. Grey Systems: T&A, 4 (1): 124-136 (2014)