Concepedia

J. Wang

JW

3

Publications

186

Citations

3

H-Index

1997

Active since

Affiliations

Florida International University(Current)

The University of Texas at Dallas

J. Wang is an author at Florida International University specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

Publications per year

1997–2000

3

Publications

3

Reachability analysis of real-time systems using time Petri nets

J. Wang, Y.-M. Deng, Guangliang Xu · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2000 · 133 citations

, , +16

Compositional time Petri nets and reduction rules

J. Wang, Y.-M. Deng, M. Zhou · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2000 · 41 citations

, , +14

Interaction Effects in Combined Arrays of Radial and Longitudinal Semi-Elliptical Surface Cracks in Pressurized Thick-Walled Cylinder

M. Perl, C. Levy, J. Wang · Journal of Pressure Vessel Technology · 1997 · 12 citations

, , +17

Rows per page

1–3 of 3