( en | de | ru )

 

Disambiguation of "Cheng, Zheng"

Author of the publication

copydeleteadd this publication to your clipboard
A Sound Execution Semantics for ATL via Translation Validation - Research Paper.

, , and . ICMT, volume 9152 of Lecture Notes in Computer Science, page 133-148. Springer, (2015)

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.

Zheng-Zheng Kuang

Cheng-Yung Cheng

Xing Zheng

Jiarong Zheng

Zheng Ren-Rong

 

Other publications of authors with the same name

Nondeterministic Algorithm for Breaking Diffie-Hellman Key Exchange using Self-Assembly of DNA Tiles.. Int. J. Comput. Commun. Control, 7 (4): 617-631 (2012)Leveraging Big Data and Coordinated Charging for Effective Taxi Fleet Electrification: The 100% EV Conversion of Shenzhen, China., , , and . IEEE Trans. Intell. Transp. Syst., 23 (8): 10343-10353 (2022)Characterization of Millimeter-Wave Active and Passive Components Embedded in Test Fixtures., , , , and . FIT, page 136-139. IEEE Computer Society, (2013)Enhancing light output of GaN-based light-emitting diodes with nanoparticle-assembled on-top layers., , , , , and . NEMS, page 376-379. IEEE, (2012)Polsar Image Classification based on Optimal Feature and Convolution Neural Network., , , and . IGARSS, page 1735-1738. IEEE, (2020)A new algorithm for explicit time delay estimation., and . DSP, page 1297-1300. IEEE, (2002)Shape-Preserving Stereo Object Remapping via Object-Consistent Grid Warping., , , , , , and . IEEE Trans. Image Process., (2021)A Refinement Strategy for Hybrid System Design with Safety Constraints., and . MEDI, volume 12732 of Lecture Notes in Computer Science, page 3-17. Springer, (2021)MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network., , , , , , , , and . ICCAD, page 1-9. IEEE, (2023)LAHVA: Linked Animal-Human Health Visual Analytics., , , , , , , , , and . IEEE VAST, page 27-34. IEEE Computer Society, (2007)