| 2009 |
|---|
| 10 | EE | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
Tracking Unsatisfiable Subformulas from Reduced Refutation Proof.
JSW 4(1): 42-49 (2009) |
| 2008 |
|---|
| 9 | EE | Jianmin Zhang,
Zhaoyang Zhang,
Haiyan Luo,
Aiping Huang:
A Column Generation Approach for Spectrum Allocation in Cognitive Wireless Mesh Network.
GLOBECOM 2008: 3091-3095 |
| 2007 |
|---|
| 8 | EE | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.
ICCSA (3) 2007: 649-659 |
| 7 | EE | Jianmin Zhang,
ShengYu Shen,
Sikun Li:
Finding Unsatisfiable Subformulas with Stochastic Method.
IDEAL 2007: 385-394 |
| 2006 |
|---|
| 6 | EE | Jianmin Zhang,
Sikun Li,
ShengYu Shen:
Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm.
Australian Conference on Artificial Intelligence 2006: 847-856 |
| 5 | EE | Jianmin Zhang,
Ming Yan,
Sikun Li:
Debug Support for Scalable System-on-Chip.
MTV 2006: 83-87 |
| 2005 |
|---|
| 4 | EE | Jianfeng Chen,
Jianmin Zhang,
Alvin Harvey Kam,
Louis Shue:
An automatic acoustic bathroom monitoring system.
ISCAS (2) 2005: 1750-1753 |
| 3 | EE | Jianfeng Chen,
Alvin Harvey Kam,
Jianmin Zhang,
Ning Liu,
Louis Shue:
Bathroom Activity Monitoring Based on Sound.
Pervasive 2005: 47-61 |
| 2001 |
|---|
| 2 | EE | Bin Zhang,
Shenglong Dong,
Jingcheng Wang,
Jianmin Zhang,
Huihe Shao:
Getting complete rulebase from recorded data.
EUSFLAT Conf. 2001: 42-46 |
| 1991 |
|---|
| 1 | | Jianmin Zhang,
Peizhong Huang:
Development of the Robot Simulation in FMS.
ITAMS 1991: 173-178 |
