2008 |
21 | EE | Qiang Guo,
John Derrick,
Csaba Hoch:
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.
FORTE 2008: 201-217 |
20 | EE | Wang Ding,
Songnian Yu,
Qianfeng Wang,
Jiaqi Yu,
Qiang Guo:
A Novel Naive Bayesian Text Classifier.
ISIP 2008: 78-82 |
2007 |
19 | EE | Qiang Guo,
John Derrick:
Verification of timed Erlang/OTP components using the process algebra mucrl.
Erlang Workshop 2007: 55-64 |
18 | EE | Qiang Guo:
Verifying Erlang/OTP Components in mu CRL.
FORTE 2007: 227-246 |
17 | EE | Jingchang Pan,
Qiang Guo,
Bin Jiang,
Zhenping Yi:
Wavelet Packet Transform Based Minimum Risk Denoising Algorithm for Astronomical Spectra.
FSKD (4) 2007: 694-698 |
16 | EE | Qiang Guo,
Yuqing Liu:
Hand Grasping Motion Simulation for Astronauts Training.
HCI (12) 2007: 101-109 |
15 | EE | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test., Verif. Reliab. 17(1): 41-57 (2007) |
2006 |
14 | EE | Qiang Guo,
Xingzhou Zhang,
Zheng Li:
A Novel Joint De-Interleaving/Recognition System of Radar Pulse Sequence.
ICICIC (3) 2006: 365-368 |
13 | EE | Qiang Guo,
Wanhai Chen,
Xingzhou Zhang,
Zheng Li,
Di Guan:
Signal Sorting Based on SVC & K-Means Clustering in ESM Systems.
ICONIP (2) 2006: 596-603 |
12 | EE | Qiang Guo,
Xingzhou Zhang,
Zheng Li:
A Novel Sorting Method of Radar Signals Based on Support Vector Clustering and Delaminating Coupling.
IEEE ICCI 2006: 839-844 |
11 | | Qiang Guo,
Xingzhou Zhang,
Zheng Li,
Yabin Zhang:
Structure Function and Empirical Mode Decomposition based Feature Extraction Method for Radar Pulse Sequences.
SPPRA 2006: 50-55 |
10 | EE | Karnig Derderian,
Robert M. Hierons,
Mark Harman,
Qiang Guo:
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
Comput. J. 49(3): 331-344 (2006) |
9 | EE | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Improving test quality using robust unique input/output circuit sequences (UIOCs).
Information & Software Technology 48(8): 696-707 (2006) |
2005 |
8 | EE | Karnig Derderian,
Robert M. Hierons,
Mark Harman,
Qiang Guo:
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms.
GECCO 2005: 1081-1082 |
7 | EE | Xiaochun Zeng,
Jiaoyan Zeng,
Qiang Guo:
Research of trust on B2C electronic commerce.
ICEC 2005: 221-225 |
6 | EE | Qiang Guo,
Xin Yang,
Ming Zhu,
Kun Sun:
Anisotropic 3D Reconstruction and Restoration for Rotation-Scanning 4D Echocardiographic Images Based on MAP-MRF.
IbPRIA (2) 2005: 487-494 |
2004 |
5 | EE | Karnig Derderian,
Robert M. Hierons,
Mark Harman,
Qiang Guo:
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).
GECCO (2) 2004: 1429-1430 |
4 | | Xianghua Xu,
Jie Zhu,
Qiang Guo:
Methods for improving robustness of decision tree in Mandarin speech recognition.
ICME 2004: 1975-1978 |
3 | EE | Hongfang Wang,
Mei Zhao,
Qiang Guo:
Vibration fatigue experiments of SMT solder joint.
Microelectronics Reliability 44(7): 1143-1156 (2004) |
2003 |
2 | EE | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms.
FATES 2003: 164-177 |
1 | EE | Bo Dai,
Guiran Chang,
Wandan Zeng,
Jiyue Wen,
Qiang Guo:
Some Views on Building Computational Grids Infrastructure.
GCC (1) 2003: 813-816 |