( en | de | ru )

 

Disambiguation of "Xie, Aiguo"

Author of the publication

copydeleteadd this publication to your clipboard
Implicit enumeration of strongly connected components and anapplication to formal verification.

, and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (10): 1225-1230 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aiguo Wang

Jian Xie

Qian Xie

Mingliang Xie

Zhenwei Xie

 

Other publications of authors with the same name

Efficient state classification of finite-state Markov chains., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17 (12): 1334-1339 (1998)Implicit enumeration of strongly connected components., and . ICCAD, page 37-40. IEEE Computer Society, (1999)Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice., , and . ASYNC, page 94-107. IEEE Computer Society, (1999)Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression., and . ASYNC, page 247-. IEEE Computer Society, (1998)Virtual Organization Project Management Capability for Large Scale Engineering Project., and . ICEE, page 5013-5015. IEEE Computer Society, (2010)Performance Analysis of Asynchronous Circuits Using Markov Chains., and . Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, page 313-344. Springer, (2002)Design closure driven delay relaxation based on convex cost network flow., , and . DATE, page 63-68. EDA Consortium, San Jose, CA, USA, (2007)Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events., and . ASYNC, page 64-75. IEEE Computer Society, (1997)Study on Public Participation in Public Project Decision under E-government Environment., and . ICEE, page 4609-4611. IEEE Computer Society, (2010)Accelerating Markovian analysis of asynchronous systems using state compression., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (7): 869-888 (1999)