 | 2008 |
|---|
| 5 |       | Haiyan Zhang,
Xiuli Sun,
Shixuan Fan,
Xuerui Qi,
Xiao Liu,
Donghui Lu:
An Ultrasonic Signal Processing Technique for Extraction of Arrival Time from Lamb Waveforms.
ICIC (1) 2008: 704-711 |
| 4 | | Juncao Li,
Xiuli Sun,
Fei Xie,
Xiaoyu Song:
Component-Based Abstraction and Refinement.
ICSR 2008: 39-51 |
| 2005 |
|---|
| 3 | | Xiuli Sun,
Jinzhao Wu:
Operational Semantics for Real-Time Processes with Action Refinement.
SEFM 2005: 54-63 |
| 2004 |
|---|
| 2 | | Xiuli Sun,
Jinzhao Wu,
Xiaoyu Song,
Mila E. Majster-Cederbaum:
Formal Specification of an Asynchronous Processor via Action Refinement.
MTV 2004: 36-41 |
| 1 | | Xiuli Sun,
Wenyin Zhang,
Jinzhao Wu:
Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.
J. Comput. Sci. Technol. 19(6): 828-839 (2004) |
