Concepedia

David Lee

DL

13

Publications

1.1K

Citations

12

H-Index

1986

Active since

Affiliations

The Ohio State University(Current)

New York City Department of Health and Mental Hygiene

Nokia (United States)

AT&T (United States)

David Lee is an author at The Ohio State University specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationComputer EngineeringData SecurityInformation SecurityVerificationProgram AnalysisCryptography

Publications per year

1986–2022

13

Publications

13

Liveboard

Scott Elrod, Ken Pier, John Tang et al. · 1992 · 430 citations · Full text

Tangible User Interface, Engineering, Interaction Technique +11

Solitary Confinement and Risk of Self-Harm Among Jail Inmates

Fatos Kaba, Andrea Lewis, Sarah Glowa-Kollisch et al. · American Journal of Public Health · 2014 · 255 citations · Full text

Online minimization of transition systems (extended abstract)

David Lee, Mihalis Yannakakis · 1992 · 150 citations · Full text

Mathematical Programming, Engineering, Reachability Problem +19

Burden of Adult Community-acquired, Health-care-Associated, Hospital-Acquired, and Ventilator-Associated Pneumonia

Rachel Corrado, David Lee, David E. Lucero et al. · CHEST Journal · 2017 · 77 citations

Pulmonary Care, Respiratory Infection, Pulmonary Medicine +4

Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach

Guoqiang Shu, David Lee · 2007 · 61 citations

Engineering, Machine Learning, Information Security +20

Rows per page

1–5 of 13