| |
| 2008 | ||
|---|---|---|
| 4 | EE | Hanbing Liu, Hongyi Su, Shouyi Zhan: Study on model resource semantic-based dynamic discovery in military oriented simulation grid. CSCWD 2008: 529-534 |
| 2007 | ||
| 3 | EE | Hanbing Liu, Baisheng Wang: An Association Rule Mining Algorithm Based on a Boolean Matrix. Data Science Journal 6: 559-565 (2007) |
| 2005 | ||
| 2 | EE | Hanbing Liu, J. Strother Moore: Executable JVM model for analytical reasoning: A study. Sci. Comput. Program. 57(3): 253-274 (2005) |
| 2004 | ||
| 1 | EE | Hanbing Liu, J. Strother Moore: Java Program Verification via a JVM Deep Embedding in ACL2. TPHOLs 2004: 184-200 |
| 1 | J. Strother Moore | [1] [2] |
| 2 | Hongyi Su | [4] |
| 3 | Baisheng Wang | [3] |
| 4 | Shouyi Zhan | [4] |