Concepedia

X. Wang

XW

2

Publications

101

Citations

2

H-Index

2003

Active since

Affiliations

Hong Kong Polytechnic University(Current)

X. Wang is an author at Hong Kong Polytechnic University specializing in formal methods, software engineering, and formal verification.

Top concepts

EngineeringFuzzy LogicFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

2003–2020

2

Publications

2

Real-time defect detection of high-speed train wheels by using Bayesian forecasting and dynamic model

You‐Wu Wang, Yi‐Qing Ni, X. Wang · Mechanical Systems and Signal Processing · 2020 · 87 citations · Full text

A fuzzy-rough approach for the maintenance of distributed case-based reasoning systems

Gang Cao, Simon Shiu, X. Wang · Soft Computing · 2003 · 14 citations

Distributed Reasoning, Fuzzy Logic, Engineering +12

Rows per page

1–2 of 2