| 2007 |
|---|
| 10 | EE | Chuan Lin,
Aiguo Xie,
Hai Zhou:
Design closure driven delay relaxation based on convex cost network flow.
DATE 2007: 63-68 |
| 2002 |
|---|
| 9 | EE | Peter A. Beerel,
Aiguo Xie:
Performance Analysis of Asynchronous Circuits Using Markov Chains.
Concurrency and Hardware Design 2002: 313-344 |
| 2000 |
|---|
| 8 | EE | Aiguo Xie,
Peter A. Beerel:
Implicit enumeration of strongly connected components and anapplication to formal verification.
IEEE Trans. on CAD of Integrated Circuits and Systems 19(10): 1225-1230 (2000) |
| 1999 |
|---|
| 7 | EE | Aiguo Xie,
Sangyun Kim,
Peter A. Beerel:
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice.
ASYNC 1999: 94-107 |
| 6 | EE | Aiguo Xie,
Peter A. Beerel:
Implicit enumeration of strongly connected components.
ICCAD 1999: 37-40 |
| 5 | EE | Aiguo Xie,
Peter A. Beerel:
Accelerating Markovian analysis of asynchronous systems using state compression.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 869-888 (1999) |
| 1998 |
|---|
| 4 | EE | Aiguo Xie,
Peter A. Beerel:
Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression.
ASYNC 1998: 247- |
| 3 | EE | Aiguo Xie,
Peter A. Beerel:
Efficient State Classification of Finite State Markov Chains.
DAC 1998: 605-610 |
| 2 | EE | Aiguo Xie,
Peter A. Beerel:
Efficient state classification of finite-state Markov chains.
IEEE Trans. on CAD of Integrated Circuits and Systems 17(12): 1334-1339 (1998) |
| 1997 |
|---|
| 1 | EE | Aiguo Xie,
Peter A. Beerel:
Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events.
ASYNC 1997: 64-75 |
