Xinming Ou

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

9EEJohn Homer, Xinming Ou: SAT-solving approaches to context-aware enterprise network security management. IEEE Journal on Selected Areas in Communications 27(3): 315-322 (2009)
8EEReginald E. Sawilla, Xinming Ou: Identifying Critical Attack Assets in Dependency Attack Graphs. ESORICS 2008: 18-34
7EEJohn Homer, Ashok Varikuti, Xinming Ou, Miles A. McQueen: Improving Attack Graph Visualization through Data Reduction and Attack Grouping. VizSEC 2008: 68-79
6EEXinming Ou, Wayne F. Boyer, Miles A. McQueen: A scalable approach to attack graph generation. ACM Conference on Computer and Communications Security 2006: 336-345
5EEK. 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
4 Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker: Dynamic Typing with Dependent Types. IFIP TCS 2004: 437-450
3EECormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
2EEWei 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
1EEWei Liu, Weimin Zheng, Meiming Shen, Xinming Ou, Min Wu: An Effective File Migration Algorithm in Cluster File Systems. ICPP Workshops 2000: 329-336

Coauthor Index

1Wayne F. Boyer [6]
2Cormac Flanagan [3]
3John Homer [7] [9]
4Rajeev Joshi [3]
5K. Rustan M. Leino [5]
6Wei Liu [1] [2]
7Yitzhak Mandelbaum [4]
8Miles A. McQueen [6] [7]
9Madan Musuvathi [5]
10Reginald E. Sawilla [8]
11James B. Saxe [3]
12Meiming Shen [1] [2]
13Gang Tan [4]
14Ashok Varikuti [7]
15David Walker [4]
16Min Wu [1] [2]
17Weimin Zheng [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)