Aiguo Xie - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2010

Study on Public Participation in Public Project Decision under E-government EnvironmentAiguo Xie, Yingzong Liu. icee 2010: 4609-4611 [doi]

Virtual Organization Project Management Capability for Large Scale Engineering ProjectAiguo Xie, Yingzong Liu. icee 2010: 5013-5015 [doi]

2007

Design closure driven delay relaxation based on convex cost network flowChuan Lin, Aiguo Xie, Hai Zhou. date 2007: 63-68 [doi]

2002

Performance Analysis of Asynchronous Circuits Using Markov ChainsPeter A. Beerel, Aiguo Xie. ac 2002: 313-344 [doi]

2000

Implicit enumeration of strongly connected components and anapplication to formal verificationAiguo Xie, Peter A. Beerel. tcad, 19(10):1225-1230, 2000. [doi]

1999

Implicit enumeration of strongly connected componentsAiguo Xie, Peter A. Beerel. iccad 1999: 37-40 [doi]

Accelerating Markovian analysis of asynchronous systems using state compressionAiguo Xie, Peter A. Beerel. tcad, 18(7):869-888, 1999. [doi]

Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with ChoiceAiguo Xie, Sangyun Kim, Peter A. Beerel. async 1999: 94-107 [doi]

1998

Accelerating Markovian Analysis of Asynchronous Systems using String- based State CompressionAiguo Xie, Peter A. Beerel. async 1998: 247 [doi]

Efficient State Classification of Finite State Markov ChainsAiguo Xie, Peter A. Beerel. dac 1998: 605-610 [doi]

Efficient state classification of finite-state Markov chainsAiguo Xie, Peter A. Beerel. tcad, 17(12):1334-1339, 1998. [doi]

1997

Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of EventsAiguo Xie, Peter A. Beerel. async 1997: 64-75 [doi]

Sign in or sign up to see more results.

runs on WebDSL