PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Liu, Zhiming"

Author of the publication

copydeleteadd this publication to your clipboard
Laws of Object-Orientation with Reference Semantics.

, , and . SEFM, page 217-226. IEEE Computer Society, (2008)

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.

Dexing Liu University of Stuttgart

Jan Liu University of Stuttgart

Zhiming Hu University of Stuttgart

M.Sc. Zhuoran Liu University of Stuttgart

Yanchao Liu University of Stuttgart

 

Other publications of authors with the same name

An Automated Routine Childhood Immunization Approach using openEHR., , and . MedInfo, volume 192 of Studies in Health Technology and Informatics, page 1075. IOS Press, (2013)Towards a Refinement Calculus for Object Systems., , and . IEEE ICCI, page 69-76. IEEE Computer Society, (2002)Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology., and . CCTA, volume 258 of IFIP Advances in Information and Communication Technology, page 277-285. Springer, (2007)Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers., , , , , , and . IEEE Access, (2018)Integrating Temporal Logics., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 402-420. Springer, (2004)A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs., , and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 258-273. Springer, (2010)Graph Representation of Sessions and Pipelines for Structured Service Programming., , and . FACS, volume 6921 of Lecture Notes in Computer Science, page 259-276. Springer, (2010)Formalizing Real-Time Scheduling as Program Refinement., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 295-309. Springer, (1997)Developing a TTCN-3 Test Harness for Legacy Software., , , and . AST, page 104-110. ACM, (2006)Separation of Concerns and Consistent Integration in Requirements Modelling., , and . SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 819-831. Springer, (2007)