Concepedia

Author

Shadi Abdul Khalek

The University of Texas at Austin

Also Known As

Shadi Abdul Khalek

9

Publications

204

Citations

6

H-Index

27

Concepts

All Affiliations

The University of Texas at Austin
SA

About

Shadi Abdul Khalek is an author at The University of Texas at Austin specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

193

2

Computer Science

6

6

193

3

Computer Engineering

3

3

57

4

Data Science

2

2

119

5

Management

1

1

42

Shadi Abdul Khalek

×

6

Publications

193

Citations

6

H-Index

YearCitations

Page 1