Aiguo Xie

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