( 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

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)Tactical Network Integration Test Framework., , , , , , , and . MILCOM, page 2158-2163. IEEE, (2011)HAIL: a language for easy and correct device access., , , and . EMSOFT, page 1-9. ACM, (2005)Ubiquitous System Capabilities and User Readiness: an Activity Perspective.. PACIS, page 112. (2016)Recognizing Natural Scene Characters by Convolutional Neural Network and Bimodal Image Enhancement., , and . CBDAR, volume 7139 of Lecture Notes in Computer Science, page 69-82. Springer, (2011)Regular Symmetry Patterns., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 455-475. Springer, (2016)Visualizing and Simulating Semantic Web Services Ontologies., , , and . ICFEM, volume 3785 of Lecture Notes in Computer Science, page 435-449. Springer, (2005)Query Classification and Expansion for Translation Mining Via Search Engines., , , and . PRICAI, volume 5351 of Lecture Notes in Computer Science, page 1121-1126. Springer, (2008)Tow Ship Interference Suppression for Towed Array Sonar via Subspace Reconstruction., , , and . WCSP, page 1-7. IEEE, (2018)