Concepedia

Author

Zhu Jian

Beihang UniversityORCID

Also Known As

Jian Xin Zhu, Jian Zhu, Zhu Jian, Zhu, Jian

141

Publications

157

Citations

6

H-Index

14

Concepts

All Affiliations

Beihang University
ZJ

About

Zhu Jian is an author at Beihang University specializing in formal methods, computer engineering, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

37

2

Computer Engineering

1

1

37

3

Systems Engineering

1

1

37

4

Design

1

1

37

5

Software Analysis

1

1

37

Zhu Jian

×

3

Publications

65

Citations

3

H-Index

YearCitations

Smart Contract Engineering

Kai Hu, Zhu Jian, Yi Ding,

Electronics

2020

37

Environmental, social, and governance performance, financing constraints, and corporate investment efficiency: Empirical evidence from China

Wei Li, Zhu Jian, Changqing Liu

Heliyon

2024

17

Formal Simulation and Verification of Solidity contracts in Event-B

Zhu Jian, Kai Hu, Mamoun Filali,

2021

11

Page 1