Concepedia

Robert Cartwright

RC

Statistics

Publications

42

Citations

2.1K

H-Index

23

Active since

1976

Affiliations

Rice University(Current)

Cornell University

Stanford University

Robert Cartwright is an author at Rice University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware EngineeringSoftware AnalysisSoftware DesignAutomated ReasoningComputer Engineering

Publications per year

1976–2022

42

Publications

42

Soft typing

Robert Cartwright, Mike Fagan · 1991 · 300 citations · Full text

Dupilumab in children aged 6 months to younger than 6 years with uncontrolled atopic dermatitis: a randomised, double-blind, placebo-controlled, phase 3 trial

Amy S. Paller, Eric L. Simpson, Elaine C. Siegfried et al. · The Lancet · 2022 · 242 citations · Full text

Asthma, Uncontrolled Atopic Dermatitis, Atopic Dermatitis +4

Eric E. Allen, Robert Cartwright, Brian Stoler · 2002 · 151 citations

Java Programs, Engineering, Program Analysis +13

Compatible genericity with run-time types for the Java programming language

Robert Cartwright, Guy L. Steele · 1998 · 139 citations · Full text

The semantics of program dependence

Robert Cartwright, Mattias Felleisen · 1989 · 107 citations · Full text

Engineering, Program Dependence Graph, Data Dependencies +20

1–5 of 42