2
Publications
37
Citations
2
H-Index
2018
Active since
Affiliations
Ai Quoc Dao is an author at National Chung Cheng University specializing in parallel computing, mathematical programming, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceInverse ProblemsProgram AnalysisNumerical AnalysisParallel ComputingFormal VerificationSystems EngineeringApproximation Theory
Publications per year
2018–2018
2
2
Efficient computation of ECO patch functions
Ai Quoc Dao, Nian-Ze Lee, Licheng Chen et al. · 2018 · 19 citations · Full text
Numerical Analysis, Mathematical Programming, Engineering +24
Rows per page
1–2 of 2