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

Princeton 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

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)

Aarti Gupta FAQs

What is Aarti Gupta's h-index at Princeton University?

The h-index of Aarti Gupta has been 27 since 2020 and 52 in total.

What are Aarti Gupta's top articles?

The articles with the titles of

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

are the top articles of Aarti Gupta at Princeton University.

What are Aarti Gupta's research interests?

The research interests of Aarti Gupta are: Formal methods, system/software verification, program analysis, SAT/SMT solvers, design automation

What is Aarti Gupta's total number of citations?

Aarti Gupta has 10,540 citations in total.