Concepedia

Zhiming Liu

ZL

46

Publications

1.6K

Citations

24

H-Index

1992

Active since

Affiliations

Southwest University(Current)

University of Macau

United Nations University Institute on Computing and Society

Birmingham City University

United Nations University Institute on Globalization, Culture and Mobility

Zhiming Liu is an author at Southwest University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSystems EngineeringFormal MethodsFormal VerificationSoftware DesignSoftware EngineeringProgram AnalysisSoftware Testing

Publications per year

1992–2023

46

Publications

46

Determinants of information retweeting in microblogging

Zhiming Liu, Lu Liu, Hong Li · Internet Research · 2012 · 198 citations

Engineering, Information Retweeting, Social Medium Monitoring +21

rCOS: A refinement calculus of object systems

He Jifeng, Xiaoshan Li, Zhiming Liu · Theoretical Computer Science · 2006 · 100 citations

Artificial Intelligence, Refinement Technique, Engineering +8

Dichromatic “Breather Molecules” in a Mode-Locked Fiber Laser

Yudong Cui, Yusheng Zhang, Lin Huang et al. · Physical Review Letters · 2023 · 86 citations

Optical Pumping, Photonics, Engineering +15

A formal semantics of UML sequence diagram

Xiaoshan Li, Zhiming Liu, He Jifeng · 2004 · 84 citations

Specification Language, Formal Specification, Uml Sequence Diagram +15

Human-cyber-physical systems: concepts, challenges, and research opportunities

Zhiming Liu, Ji Wang · Frontiers of Information Technology & Electronic Engineering · 2020 · 77 citations

Rows per page

1–5 of 46