Travelled to:1 × China
1 × Russia
1 × United Kingdom
2 × USA
Collaborated with:T.Yan M.D.F.Wong J.Wang W.Yau E.Bartocci T.A.Henzinger Q.Ma E.K.Teoh R.Venkateswarlu F.He X.Song W.N.N.Hung M.Gu
Talks about:barrier (2) system (2) stereo (2) photometr (1) nonlinear (1) exponenti (1) discrimin (1) dimension (1) algorithm (1) uncalibr (1)
Person: Hui Kong
DBLP: Kong:Hui
Contributed to:
2013
20102009
200620042018Wrote 6 papers:
- CAV-2013-KongHSHG #generative #hybrid #safety #verification
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
- DAC-2010-KongMYW #algorithm
- An optimal algorithm for finding disjoint rectangles and its application to PCB routing (HK, QM, TY, MDFW), pp. 212–217.
- DAC-2009-KongYW #automation
- Automatic bus planner for dense PCBs (HK, TY, MDFW), pp. 326–331.
- ICPR-v1-2006-WangKY #2d #analysis #linear #recognition
- Bilateral Two Dimensional Linear Discriminant Analysis for Stereo Face Recognition (JGW, HK, WYY), pp. 429–432.
- ICPR-v4-2004-KongTWV
- Coplanar Light Sweep-Surface Supported Uncalibrated Photometric Stereo (HK, EKT, JGW, RV), pp. 92–95.
- CAV-2018-KongBH #approximate #set #using
- Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes (HK, EB, TAH), pp. 449–467.