( en | de | ru )

 

Disambiguation of "Sun, Jun"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Reasoning for Shared-Variable Concurrent Programs.

, , , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 523-541. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jun Sun

Yue-Jun Sun

Jun Jun Lu

Yü-Sün Sun

Jun Yang

 

Other publications of authors with the same name

HAIL: a language for easy and correct device access., , , and . EMSOFT, page 1-9. ACM, (2005)Wiki-talk Datasets, and . (April 2016)An efficient flicker noise reduction method for single images., , , , and . Color Imaging: Displaying, Processing, Hardcopy, and Applications, volume 8652 of SPIE Proceedings, page 86520B. SPIE, (2013)Ubiquitous System Capabilities and User Readiness: an Activity Perspective.. PACIS, page 112. (2016)Tactical Network Integration Test Framework., , , , , , , and . MILCOM, page 2158-2163. IEEE, (2011)Compliant encryption scheme for JPEG 2000 image code streams., and . J. Electronic Imaging, 15 (4): 043013 (2006)Pedestrian Recognition Based on SVM., and . IMECS, page 60-63. Newswood Limited, (2006)Wavelet image coding based on directional dilation., , and . VCIP, volume 4671 of Proceedings of SPIE, page 1175-1184. SPIE, (2002)Robust Chinese Character Recognition by Selection of Binary-Based and Grayscale-Based Classifier., , , and . Document Analysis Systems, volume 3872 of Lecture Notes in Computer Science, page 553-563. Springer, (2006)Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 155-163. (2016)