Concepedia

Ming Kawaguci

MK

Statistics

Publications

2

Citations

423

H-Index

2

Active since

2008

Affiliations

University of California San Diego(Current)

Ming Kawaguci is an author at University of California San Diego specializing in verification, formal verification, and program analysis.

Top concepts

Publications per year

2008–2008

2

Publications

2

Liquid types

Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala · 2008 · 380 citations

, , +15

Liquid types

Patrick M. Rondon, Ming Kawaguci, Ranjit Jhala · ACM SIGPLAN Notices · 2008 · 43 citations

, , +15

1–2 of 2