 | 2012 |
| 14 |  | Stefan Lessmann,
Ming-Chien Sung,
Johnnie E. V. Johnson,
Tiejun Ma:
A new methodology for generating and combining statistical forecasting models to enhance competitive event prediction.
European Journal of Operational Research 218(1): 163-174 (2012) |
| 2011 |
| 13 |  | JaeSeung Song,
Tiejun Ma,
Cristian Cadar,
Peter Pietzuch:
Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.
ICCCN 2011: 1-8 |
| 12 |  | Tiejun Ma,
Peter R. Pietzuch:
Femtocell Coverage Optimisation Using Statistical Verification.
Networking (1) 2011: 343-354 |
| 11 |  | Yong Zhang,
Hua Bai,
Yongqing Cai,
Tiejun Ma,
Hongxia Xie:
Simulation and Design of a Constant-Current-Controlled Spot Welding inverter with the Fuzzy Neural Network.
Journal of Circuits, Systems, and Computers 20(5): 821-834 (2011) |
| 2010 |
| 10 |  | Dave Colling,
Andrew Stephen McGough,
Tiejun Ma,
Vesso Novov,
Jazz Mack Smith,
David Wallom,
Xin Xiong:
Adding Standards Based Job Submission to a Commodity Grid Broker.
CIT 2010: 1530-1535 |
| 9 |  | Tiejun Ma,
Xin Xiong,
David Wallom:
A Framework for Sharing Heterogeneous Grid Resources in a Campus Environment.
CIT 2010: 2524-2531 |
| 8 |  | Tiejun Ma,
Yehia El-khatib,
Michael Mackay,
Christopher Edwards:
Characterising a grid site's traffic.
HPDC 2010: 707-716 |
| 7 |  | JaeSeung Song,
Tiejun Ma,
Peter R. Pietzuch:
Towards automated verification of autonomous networks: A case study in self-configuration.
PerCom Workshops 2010: 582-587 |
| 6 |  | Tiejun Ma,
Jane Hillston,
Stuart Anderson:
On the Quality of Service of Crash-Recovery Failure Detectors.
IEEE Trans. Dependable Sec. Comput. 7(3): 271-283 (2010) |
| 2009 |
| 5 |  | Xiao Dong Wang,
Mike Jones,
Jens Jensen,
Andrew Richards,
David Wallom,
Tiejun Ma,
Robert Frank,
David Spence,
Steven Young,
Claire Devereux,
Neil Geddes:
Shibboleth Access for Resources on the National Grid Service (SARoNGS).
IAS 2009: 338-341 |
| 4 |  | Ségolène M. Tarte,
David Wallom,
Pin Hu,
Kang Tang,
Tiejun Ma:
An Image Processing Portal and Web-Service for the Study of Ancient Documents.
eScience 2009: 14-19 |
| 2008 |
| 3 |  | Dave Colling,
Andrew Stephen McGough,
Jazz Mack Smith,
Vesso Novov,
Tiejun Ma,
David Wallom,
Xin Xiong:
Adding Standards Based Job Submission to a Commodity Grid Broker.
eScience 2008: 380-381 |
| 2007 |
| 2 |  | Tiejun Ma,
Jane Hillston,
Stuart Anderson:
On the Quality of Service of Crash-Recovery Failure Detectors.
DSN 2007: 739-748 |
| 1 |  | Tiejun Ma,
Jane Hillston,
Stuart Anderson:
Evaluation of the QoS of crash-recovery failure detection.
SAC 2007: 538-542 |