Concepedia

Ping Yang

PY

6

Publications

124

Citations

6

H-Index

2004

Active since

Affiliations

Xi’an University of Posts and Telecommunications(Current)

Ping Yang is an author at Xi’an University of Posts and Telecommunications specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisHealthRadiologyStatisticsMeasurementVerificationBiostatistics

Publications per year

2004–2023

6

Publications

6

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

Ping Yang, C. R. Ramakrishnan, Scott A. Smolka · International Journal on Software Tools for Technology Transfer · 2004 · 31 citations

Process Calculus, Mobile Processes, Engineering +13

Tianqin Cai, Zhao Zhang, Ping Yang · 2020 · 28 citations · Full text

Engineering, Multi-agent Collaboration Mechanism, System Testing +14

Assessment of photoplethysmogram signal quality using morphology integrated with temporal information approach

Xuxue Sun, Ping Yang, Yuan‐Ting Zhang · 2012 · 25 citations

Engineering, Measurement, Wearable Technology +17

An edge-cloud collaboration architecture for pattern anomaly detection of time series in wireless sensor networks

Cong Gao, Ping Yang, Yanping Chen et al. · Complex & Intelligent Systems · 2021 · 16 citations · Full text

Virtual Device Farms for Mobile App Testing at Scale: A Pursuit for Fidelity, Efficiency, and Accessibility

Hao Lin, Jiaxing Qiu, Hongyi Wang et al. · 2023 · 14 citations · Full text

Rows per page

1–5 of 6