- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c7 |      | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219 |
| c6 | | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He: A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140 |
| c5 | | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye: Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226 |
| 2011 | ||
| c4 | | Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu: Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34 |
| c3 | | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi: Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE 2011: 142-149 |
| 2010 | ||
| j1 | | Chunjiao Yu, Longfei Zhu: Testing the validity of the purchasing power parity hypothesis: a study based on the RMB/USD exchange rate. IJNVO 7(4): 323-334 (2010) |
| 2009 | ||
| c2 | | Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu: Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) 2009: 813-819 |
| 2008 | ||
| c1 | | Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu: A Bigraphical Model of WSBPEL. TASE 2008: 117-120 |
| 1 | Huixing Fang | |
| 2 | Libo Feng | |
| 3 | Jian Guo | |
| 4 | Jifeng He | |
| 5 | Yanhong Huang | |
| 6 | Qin Li | |
| 7 | Geguang Pu | |
| 8 | Jianqi Shi | |
| 9 | Ling Shi | |
| 10 | Yifei Wang | |
| 11 | Fan Yang | |
| 12 | Xin Ye | |
| 13 | Chunjiao Yu | |
| 14 | Min Zhang | |
| 15 | Yongxin Zhao | |
| 16 | Huibiao Zhu |
Data released under the ODC-BY 1.0 license — See also our legal information page