Authors: Xie, AG Beerel, PA

Citation: Ag. Xie et Pa. Beerel, Implicit enumeration of strongly connected components and an application to formal verification, IEEE COMP A, 19(10), 2000, pp. 1225-1230

Authors: Gao, X Jie, YX Xia, CY Wei, MS Yang, Y Zhang, SY Zhao, JY Hu, LQ Zhu, YB Luo, JR Zhao, YP Qiu, N Li, JG Wan, BN Kuang, GL Zhang, XD Liu, XN Gong, XZ Bao, Y Lin, BL Wu, ZW Li, YD Shi, YJ Song, M Fu, P Zhang, XM Zeng, M Xie, AG Cui, NZ Ruan, HL Wang, L Sheng, B Liu, S Ye, WW Yang, K Liu, JK Cheng, YF Fan, HY Liu, SX Tong, XD Mao, JS Gu, XM Xie, JK Wan, YX

Citation: X. Gao et al., High density operation on the HT-7 superconducting tokamak, NUCL FUSION, 40(11), 2000, pp. 1875-1883

Authors: Gao, X Luo, JR Zhao, YP Qiu, N Jie, YX Yang, Y Xia, CY Wan, BN Kuang, GL Zhang, XD Li, JG Yin, FX Liu, XN Gong, XZ Zhang, SY Zhao, JY Hu, LQ Wu, ZW Li, YD Yang, K Bao, Y Ye, WW Chen, L Fan, HY Liu, SX Chen, YF Lin, BL Xu, YH Shi, YJ Song, M Zhang, XM Wei, MS Zeng, M Xie, AG Cui, NZ Ruan, HL Wang, L Sheng, B Liu, S Tong, XD Gu, XM Mao, JS Xie, JK Wan, YX

Citation: X. Gao et al., MARFE phenomena in the HT-7 tokamak, J NUCL MAT, 279(2-3), 2000, pp. 330-334

Authors: Xie, AG Beerel, PA

Citation: Ag. Xie et Pa. Beerel, Performance analysis of asynchronous circuits and systems using stochastictimed Petri nets, HARDWARE DESIGN AND PETRI NETS, 2000, pp. 239-268

Authors: Xie, AG Beerel, PA

Citation: Ag. Xie et Pa. Beerel, Accelerating Markovian analysis of asynchronous systems using state compression, IEEE COMP A, 18(7), 1999, pp. 869-888

Authors: Xie, AG Beerel, PA

Citation: Ag. Xie et Pa. Beerel, Efficient state classification of finite-state Markov chains, IEEE COMP A, 17(12), 1998, pp. 1334-1339