Concepedia

David Y. W. Park

DY

Statistics

Publications

3

Citations

501

H-Index

3

Active since

1998

Affiliations

Stanford University(Current)

David Y. W. Park is an author at Stanford University specializing in model checking, formal methods, and computer science.

Publications per year

1998–2002

3

Publications

3

CMC

Madanlal Musuvathi, David Y. W. Park, Andy Chou et al. · ACM SIGOPS Operating Systems Review · 2002 · 364 citations

, , +7

CMC

Madanlal Musuvathi, David Y. W. Park, Andy Chou et al. · 2002 · 124 citations

, , +7

Checking properties of safety critical specifications using efficient decision procedures

David Y. W. Park, Jens Ulrik Skakkebæk, Mats P. E. Heimdahl et al. · 1998 · 13 citations · Full text

, , +10

1–3 of 3