Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Andrei Ștefănescu | Researchclopedia

Back to researchers

Andrei Ștefănescu

University of Michigan ORCID

73

Works

5,567

Citations

21

h-index

29

i10-index

Research Topics

Logic, programming, and type systems Formal Methods in Verification Security and Verification in Computing

Affiliations

Tulane University2019–2023

Louisiana State Department of Health and Hospitals2020–2023

Los Angeles County Department of Public Health2023–2023

Translational Research Institute2011–2011

DuPont (United States)2022–2022

Top Works

The global epidemiology of hypertension

Katherine T. Mills,Andrei Ștefănescu,et al.

20203,799 citations

Distributed systems and fault tolerance

Food Security and Health in Diverse Populations

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt,Manasvi Saxena,et al.

2018404 citations

Pharmacokinetics and Tissue Penetration of Cefoxitin in Obesity

Octavian Toma,Patty Suntrup,et al.

2011106 citations

Using A Body Shape Index (ABSI) and Body Roundness Index (BRI) to predict risk of metabolic syndrome in Peruvian adults

Andrei Ștefănescu,Luis Revilla,et al.

2019103 citations

KJS: a complete formal semantics of JavaScript

Daejun Park,Andrei Ștefănescu,et al.

201599 citations

ACTG A5353: A Pilot Study of Dolutegravir Plus Lamivudine for Initial Treatment of Human Immunodeficiency Virus-1 (HIV-1)–infected Participants With HIV-1 RNA <500000 Copies/mL

Babafemi Taiwo,Lu Zheng,et al.

201794 citations

Training program and learning curve in experimental microsurgery during the residency in plastic surgery

Ioan Lascăr,Dumitru Totir,et al.

200787 citations

Natural proofs for structure, data, and separation

Xiaokang Qiu,Pranav Garg,et al.

201381 citations

Semantics-based program verifiers for all languages

Andrei Ștefănescu,Daejun Park,et al.

201674 citations