Aarti Gupta

Aarti Gupta

Princeton University

H-index: 52

North America-United States

About Aarti Gupta

Aarti Gupta, With an exceptional h-index of 52 and a recent h-index of 27 (since 2020), a distinguished researcher at Princeton University, specializes in the field of Formal methods, system/software verification, program analysis, SAT/SMT solvers, design automation.

His recent articles reflect a diverse array of research interests and contributions to the field:

In vivo and in vitro neck dissection specimen labelling: a new method for precise orientation of specimens

Investigation of effect of an amine inhibitor on corrosion of carbon steel by using thin layer activation technique

Aarti Gupta Information

University

Position

___

Citations(all)

10540

Citations(since 2020)

3234

Cited By

10716

hIndex(all)

52

hIndex(since 2020)

27

i10Index(all)

187

i10Index(since 2020)

77

Email

University Profile Page

Princeton University

Google Scholar

View Google Scholar Profile

Aarti Gupta Skills & Research Interests

Formal methods

system/software verification

program analysis

SAT/SMT solvers

design automation

Top articles of Aarti Gupta

Title

Journal

Author(s)

Publication Date

In vivo and in vitro neck dissection specimen labelling: a new method for precise orientation of specimens

International Journal of Oral and Maxillofacial Surgery

A Gupta

L Wang

S-j Zhang

C-p Zhang

2020/2/1

Investigation of effect of an amine inhibitor on corrosion of carbon steel by using thin layer activation technique

Journal of Radioanalytical and Nuclear Chemistry

Jayashree Biswal

HJ Pant

SC Sharma

AK Gupta

2020/3

See List of Professors in Aarti Gupta University(Princeton University)