Concepedia

Yabo Wang

YW

6

Publications

349

Citations

6

H-Index

1993

Active since

Affiliations

McMaster University(Current)

Zhengzhou University

Yabo Wang is an author at McMaster University specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationLanguageText MiningData ScienceVerificationSoftware DesignSystem Software

Publications per year

1993–2023

6

Publications

6

Detecting fake news by exploring the consistency of multimodal data

Junxiao Xue, Yabo Wang, Yichen Tian et al. · Information Processing & Management · 2021 · 252 citations · Full text

Natural Language Processing, Fake News, Engineering +11

Simulating the behavior of software modules by trace rewriting

Yabo Wang, David Lorge Parnas · IEEE Transactions on Software Engineering · 1994 · 45 citations

Software Maintenance, Engineering, Verification +25

Specifying and simulating the externally observable behavior of modules

David Lorge Parnas, Yabo Wang · 1994 · 15 citations

Language Documentation, Comparative Literature, Engineering +11

Simulating the behaviour of software modules by trace rewriting

Yabo Wang, David Lorge Parnas · International Conference on Software Engineering · 1993 · 14 citations

Software Maintenance, Engineering, Verification +22

FN-SSL: Full-Band and Narrow-Band Fusion for Sound Source Localization

Yabo Wang, Bing Yang, Xiaofei Li · 2023 · 12 citations

Rows per page

1–5 of 6