| 2006 |
|---|
| 6 | EE | Xinming Ou,
Wayne F. Boyer,
Miles A. McQueen:
A scalable approach to attack graph generation.
ACM Conference on Computer and Communications Security 2006: 336-345 |
| 2005 |
|---|
| 5 | EE | K. Rustan M. Leino,
Madan Musuvathi,
Xinming Ou:
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.
TACAS 2005: 334-348 |
| 2004 |
|---|
| 4 | | Xinming Ou,
Gang Tan,
Yitzhak Mandelbaum,
David Walker:
Dynamic Typing with Dependent Types.
IFIP TCS 2004: 437-450 |
| 2003 |
|---|
| 3 | EE | Cormac Flanagan,
Rajeev Joshi,
Xinming Ou,
James B. Saxe:
Theorem Proving Using Lazy Proof Explication.
CAV 2003: 355-367 |
| 2000 |
|---|
| 2 | EE | Wei Liu,
Min Wu,
Xinming Ou,
Weimin Zheng,
Meiming Shen:
Design of an I/O Balancing File System on Web Server Clusters.
ICPP Workshops 2000: 119-126 |
| 1 | EE | Wei Liu,
Weimin Zheng,
Meiming Shen,
Xinming Ou,
Min Wu:
An Effective File Migration Algorithm in Cluster File Systems.
ICPP Workshops 2000: 329-336 |
