Concepedia

Chao Wang

CW

Statistics

Publications

3

Citations

92

H-Index

3

Active since

2003

Affiliations

Nankai University(Current)

Chao Wang is an author at Nankai University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceCryptographyVerificationData SecurityFormal MethodsSatisfiabilitySoftware DesignProgram AnalysisSoftware Testing

Publications per year

2003–2015

3

Publications

3

Learning from BDDs in SAT-based bounded model checking

Aarti Gupta, Malay Ganai, Chao Wang et al. · 2003 · 52 citations

Engineering, Verification, Computer-aided Verification +17

Image Encryption Scheme Based on Balanced Two-Dimensional Cellular Automata

Xiaoyan Zhang, Chao Wang, Sheng Zhong et al. · Mathematical Problems in Engineering · 2013 · 20 citations · Full text

Hardware Security, High Randomness, Plain Image +10

Reversibility of general 1D linear cellular automata over the binary field<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si3.gif" overflow="scroll"><mml:msub><mml:mi mathvariant="double-struck">Z</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math>under null boundary conditions

Bin Yang, Chao Wang, Aiyun Xiang · Information Sciences · 2015 · 20 citations

Null Boundary Conditions, Linear Cellular Automata, Automaton Network +3

1–3 of 3