Concepedia

Author

Brian Aydemir

Also Known As

Aydemir, Brian, Brian Aydemir, Brian E. Aydemir

32

Publications

677

Citations

7

H-Index

19

Concepts

All Affiliations

BA

About

Brian Aydemir is an author at University of Pennsylvania specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

281

2

Social Sciences

2

2

243

3

Computer Science

2

2

243

4

Language Studies

1

1

38

5

Linguistics

1

1

38

Brian Aydemir

×

4

Publications

315

Citations

4

H-Index

YearCitations

Page 1