| 2006 |
|---|
| 7 | EE | Guoqiang Yu,
Jin Zhang,
Li Zhang,
Zhiqiang Chen,
Yuanjing Li:
Combining Iterative Inverse Filter with Shock Filter for Baggage Inspection Image Deblurring.
ACCV (2) 2006: 264-273 |
| 1999 |
|---|
| 6 | | Hussein Zedan,
Antonio Cau,
Zhiqiang Chen,
Hongji Yang:
ATOM: An Object-based Formal Method for Real-Time Systems.
Ann. Software Eng. 7: 235-256 (1999) |
| 5 | | Zhiqiang Chen,
Hussein Zedan,
Antonio Cau,
Hongji Yang:
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.
Inf. Sci. 118(1-4): 15-35 (1999) |
| 4 | EE | Zhiqiang Chen,
Antonio Cau,
Hussein Zedan,
Hongji Yang:
Integrating structured OO approaches with formal techniques for the development of real-time systems.
Information & Software Technology 41(7): 435-450 (1999) |
| 1998 |
|---|
| 3 | EE | Zhiqiang Chen,
Antonio Cau,
Hussein Zedan,
Xiaodong Liu,
Hongji Yang:
A Refinement Calculus for the Development of Real-Time Systems.
APSEC 1998: 61- |
| 1997 |
|---|
| 2 | EE | Xiaodong Liu,
Zhiqiang Chen,
Hongji Yang,
Hussein Zedan,
William C. Chu:
A Design Framework for System Re-Engineering.
APSEC 1997: 342- |
| 1995 |
|---|
| 1 | EE | Zhiqiang Chen,
Andrew T. Holle,
Bernard M. E. Moret,
Jared Saia,
Ali Boroujerdi:
Network Routing Models Applied to Aircraft Routing Problems.
Winter Simulation Conference 1995: 1200-1206 |
