1
Publications
120
Citations
1
H-Index
2008
Active since
Affiliations
University of California, Irvine(Current)
Jung-Hee Cheon is an author at University of California, Irvine specializing in verification, formal verification, and discrete mathematics.
Top concepts
EngineeringCryptographyVerificationFormal MethodsComputer ScienceFormal VerificationDiscrete MathematicsCommunication Complexity
Publications per year
2008–2008
1
1
Rows per page
1–1 of 1