Concepedia

Zhiming Liu

ZL

Statistics

Publications

46

Citations

1.6K

H-Index

24

Active since

1992

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

1–5 of 46