Aiguo Xie

Publication Activity (10 Years)

Years Active: 1997-2010
Publications (10 Years): 0

Publications

Aiguo Xie, Yingzong Liu
Virtual Organization Project Management Capability for Large Scale Engineering Project. ICEE (2010)
Aiguo Xie, Yingzong Liu
Study on Public Participation in Public Project Decision under E-government Environment. ICEE (2010)
Chuan Lin, Aiguo Xie, Hai Zhou
Design closure driven delay relaxation based on convex cost network flow. DATE (2007)
Peter A. Beerel, Aiguo Xie
Performance Analysis of Asynchronous Circuits Using Markov Chains. Concurrency and Hardware Design (2002)
Aiguo Xie, Peter A. Beerel
Implicit enumeration of strongly connected components and anapplication to formal verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (10) (2000)
Aiguo Xie, Peter A. Beerel
Accelerating Markovian analysis of asynchronous systems using state compression. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (7) (1999)
Aiguo Xie, Sangyun Kim, Peter A. Beerel
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice. ASYNC (1999)
Aiguo Xie, Peter A. Beerel
Implicit enumeration of strongly connected components. ICCAD (1999)
Aiguo Xie, Peter A. Beerel
Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression. ASYNC (1998)
Aiguo Xie, Peter A. Beerel
Efficient state classification of finite-state Markov chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (12) (1998)
Aiguo Xie, Peter A. Beerel
Efficient State Classification of Finite State Markov Chains. DAC (1998)
Aiguo Xie, Peter A. Beerel
Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events. ASYNC (1997)