Concepedia

Author

Sela Mador-Haim

Also Known As

Sela Mador-Haim

18

Publications

706

Citations

9

H-Index

20

Concepts

All Affiliations

SM

About

Sela Mador-Haim is an author at University of Pennsylvania specializing in formal methods, program analysis, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

225

2

Computer Science

3

3

225

3

Computer Engineering

1

1

19

4

Computer Architecture

1

1

19

5

Memory

1

1

19

Sela Mador-Haim

×

3

Publications

225

Citations

3

H-Index

YearCitations

Page 1