Concepedia

Van Chan Ngo

VC

4

Publications

145

Citations

4

H-Index

2002

Active since

Affiliations

Carnegie Mellon University(Current)

Yale University

Van Chan Ngo is an author at Carnegie Mellon University specializing in engineering, program analysis, and computer science.

ORCID

Top concepts

Publications per year

2002–2018

4

Publications

4

Bounded expectations: resource analysis for probabilistic programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann · 2018 · 92 citations · Full text

, , +19

Bounded expectations: resource analysis for probabilistic programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann · ACM SIGPLAN Notices · 2018 · 26 citations

, , +19

Regression containment through source change isolation

B. Ness, Van Chan Ngo · 2002 · 15 citations

, , +21

Statistical Model Checking for SystemC Models

Van Chan Ngo, Axel Legay, Jean Quilbeuf · 2016 · 12 citations

, , +23

Rows per page

1–4 of 4