Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events. - Aiguo Xie; Peter A. Beerel (ASYNC, 1997)

Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression. - Aiguo Xie; Peter A. Beerel (ASYNC, 1998)

Efficient state classification of finite-state Markov chains. - Aiguo Xie; Peter A. Beerel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice. - Aiguo Xie; Sangyun Kim 001; Peter A. Beerel (ASYNC, 1999)

Implicit enumeration of strongly connected components. - Aiguo Xie; Peter A. Beerel (ICCAD, 1999)

Accelerating Markovian analysis of asynchronous systems using state compression. - Aiguo Xie; Peter A. Beerel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Implicit enumeration of strongly connected components and anapplication to formal verification. - Aiguo Xie; Peter A. Beerel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Performance Analysis of Asynchronous Circuits Using Markov Chains. - Peter A. Beerel; Aiguo Xie (Concurrency and Hardware Design, 2002)

Design closure driven delay relaxation based on convex cost network flow. - Chuan Lin 002; Aiguo Xie; Hai Zhou 001 (DATE, 2007)

Study on Public Participation in Public Project Decision under E-government Environment. - Aiguo Xie; Yingzong Liu (ICEE, 2010)

Virtual Organization Project Management Capability for Large Scale Engineering Project. - Aiguo Xie; Yingzong Liu (ICEE, 2010)