( en | de | ru )

 

Disambiguation of "Liu, Zhiming"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Refinement Calculus for Object Systems.

, , and . IEEE ICCI, page 69-76. IEEE Computer Society, (2002)

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.

Zhiming Liu

Zhiming Chen

Zhiming Chen

Zhiming Chen

Zhiming Wang

 

Other publications of authors with the same name

RM2PT: a tool for automated prototype generation from requirements model., , , and . ICSE (Companion Volume), page 59-62. IEEE / ACM, (2019)Multi-scale ultrasound image denoising algorithm based on deep learning model for super-resolution reconstruction., , , and . CCRIS, page 6-11. ACM, (2023)Component-Based Software Engineering., , and . ICTAC, volume 3722 of Lecture Notes in Computer Science, page 70-95. Springer, (2005)Global Translational Motion Estimation (GTME)., , and . LSMS (1), volume 4688 of Lecture Notes in Computer Science, page 756-766. Springer, (2007)The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing., , , and . EuroS&P Workshops, page 145-152. IEEE, (2018)Editorial., and . Formal Asp. Comput., 29 (4): 581-582 (2017)Robust Face Recognition Using Color Information., and . ICB, volume 5558 of Lecture Notes in Computer Science, page 122-131. Springer, (2009)A Summary of the Tutorials at ICTAC 2004.. ICTAC, volume 3407 of Lecture Notes in Computer Science, page 557-560. Springer, (2004)Model-Driven Design of Object and Component Systems., and . SETSS, volume 9506 of Lecture Notes in Computer Science, page 152-255. Springer, (2014)Failure-Divergence Refinement of Compensating Communicating Processes., , and . FM, volume 6664 of Lecture Notes in Computer Science, page 262-277. Springer, (2011)