| 2003 |
| 6 | EE | Xinyu Zang,
Dazhi Wang,
Hairong Sun,
Kishor S. Trivedi:
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.
IEEE Trans. Computers 52(12): 1608-1618 (2003) |
| 2001 |
| 5 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
Performance of broadcast and unknown server (BUS) in ATM LAN emulation.
IEEE/ACM Trans. Netw. 9(3): 361-372 (2001) |
| 2000 |
| 4 | EE | Christophe Hirel,
Robin A. Sahner,
Xinyu Zang,
Kishor S. Trivedi:
Reliability and Performability Modeling Using SHARPE 2000.
Computer Performance Evaluation / TOOLS 2000: 345-349 |
| 1999 |
| 3 | EE | Xinyu Zang,
Hairong Sun,
Kishor S. Trivedi:
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.
FTCS 1999: 330-337 |
| 2 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
The effect of Web caching on network planning.
Computer Communications 22(14): 1343-1350 (1999) |
| 1 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
A stochastic reward net model for performance analysis of prioritized DQDB MAN.
Computer Communications 22(9): 858-870 (1999) |