Aiguo Xie, Peter A. Beerel Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events. [Citation Graph (0, 0)][DBLP] ASYNC, 1997, pp:64-75 [Conf]
Aiguo Xie, Peter A. Beerel Implicit enumeration of strongly connected components and anapplication to formal verification. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:10, pp:1225-1230 [Journal]
Aiguo Xie, Peter A. Beerel Efficient state classification of finite-state Markov chains. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1998, v:17, n:12, pp:1334-1339 [Journal]
Aiguo Xie, Peter A. Beerel Accelerating Markovian analysis of asynchronous systems using state compression. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:7, pp:869-888 [Journal]