Concepedia

Author

Andrei Ștefănescu

University of Illinois Urbana-ChampaignORCID

Also Known As

A Stefănescu, A. Stefanescu, A.R. Stefanescu, Andrei R Stefanescu, Andrei R. Stefanescu, Andrei Stefanescu, Andrei Stefănescu, Andrei Ştefănescu, Andrei Ștefănescu, Stefanescu, Andrei

73

Publications

5.5K

Citations

21

H-Index

73

Concepts

All Affiliations

University of Illinois Urbana-ChampaignTulane UniversityHarvard UniversityAlexandru Ioan Cuza UniversityUniversity of Alabama at Birmingham
AȘ

About

Andrei Ștefănescu is an author at University of Illinois Urbana-Champaign specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

14

985

2

Medicine

4

4

233

3

Language Studies

2

2

33

4

Public Health

2

2

68

5

Health Sciences

1

1

103

Andrei Ștefănescu

×

25

Publications

1.6K

Citations

19

H-Index

YearCitations

Page 1