| 2008 |
| 10 | EE | Zhenhong Zhang,
Zhi Han:
A Phenomenographic Study into Conceptions of Social Relations in Online Collaborative Learning - Case Study of China Higher Education Learners.
CSSE (5) 2008: 146-149 |
| 9 | EE | Zhi Han,
Zhenhong Zhang:
Integration of Game Elements with Role Play in Collaborative Learning - A Case Study of Quasi-GBL in Chinese Higher Education.
Edutainment 2008: 427-435 |
| 2006 |
| 8 | EE | Zhi Han,
Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.
HSCC 2006: 287-301 |
| 2005 |
| 7 | EE | Zhi Han,
Chang-Ping Liu:
A two-stage handwritten character segmentation approach in mail address recognition.
ICDAR 2005: 111-115 |
| 6 | EE | Xu-Cheng Yin,
Chang-Ping Liu,
Zhi Han:
Financial Document Image Coding with Regions of Interest Using JPEG2000.
ICDAR 2005: 96-100 |
| 5 | EE | Zhi Han,
Chang-Ping Liu:
Fingerprint Classification Based on Statistical Features and Singular Point Information.
IWBRS 2005: 119-126 |
| 4 | EE | Xu-Cheng Yin,
Chang-Ping Liu,
Zhi Han:
Feature combination using boosting.
Pattern Recognition Letters 26(14): 2195-2205 (2005) |
| 2004 |
| 3 | EE | Bill Aldrich,
Ansgar Fehnker,
Peter H. Feiler,
Zhi Han,
Bruce H. Krogh,
Eric Lim,
Shiva Sivashankar:
Managing Verification Activities Using SVM.
ICFEM 2004: 61-75 |
| 2003 |
| 2 | EE | Edmund M. Clarke,
Ansgar Fehnker,
Zhi Han,
Bruce H. Krogh,
Olaf Stursberg,
Michael Theobald:
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.
TACAS 2003: 192-207 |
| 1 | EE | Edmund M. Clarke,
Ansgar Fehnker,
Zhi Han,
Bruce H. Krogh,
Joël Ouaknine,
Olaf Stursberg,
Michael Theobald:
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Int. J. Found. Comput. Sci. 14(4): 583-604 (2003) |