Aiguo Xie

According to our database, Aiguo Xie authored at least 11 papers between 1997 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Virtual Organization Project Management Capability for Large Scale Engineering Project.

Aiguo Xie, Yingzong Liu

Proceedings of the International Conference on E-Business and E-Government, 2010

Study on Public Participation in Public Project Decision under E-government Environment.

Aiguo Xie, Yingzong Liu

Proceedings of the International Conference on E-Business and E-Government, 2010

2007

Design closure driven delay relaxation based on convex cost network flow.

Chuan Lin, Aiguo Xie, Hai Zhou

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2002

Performance Analysis of Asynchronous Circuits Using Markov Chains.

Peter A. Beerel, Aiguo Xie

Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002

2000

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

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.

Aiguo Xie, Peter A. Beerel

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice.

Aiguo Xie, Sangyun Kim, Peter A. Beerel

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Efficient state classification of finite-state Markov chains.

Aiguo Xie, Peter A. Beerel

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression.

Aiguo Xie, Peter A. Beerel

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998

1997

Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events.

Aiguo Xie, Peter A. Beerel

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997