2009 |
16 | EE | Zhenhai Jing,
Baoming Bai,
Xiao Ma,
Ying Li:
Interference Avoidance Game in the Gaussian Interference Channel: Sub-Optimal and Optimal Schemes
CoRR abs/0901.1924: (2009) |
15 | EE | Zhenhai Jing,
Baoming Bai,
Xiao Ma:
Using Distributed Rate-Splitting Game to Approach Rate Region Boundary of the Gaussian Interference Channel
CoRR abs/0902.4577: (2009) |
14 | EE | Xiujie Huang,
Aleksandar Kavcic,
Xiao Ma:
Upper Bounds on the Capacities of Non-Controllable Finite-State Channels with/without Feedback
CoRR abs/0904.1150: (2009) |
2008 |
13 | EE | Ding Yuan,
Kyuhyung Lee,
Hong Cheng,
Gopal Krishna,
Zhenmin Li,
Xiao Ma,
Yuanyuan Zhou,
Jiawei Han:
CISpan: Comprehensive Incremental Mining Algorithms of Closed Sequential Patterns for Multi-Versional Software Mining.
SDM 2008: 84-95 |
12 | EE | Lin Tan,
Xiaolan Zhang,
Xiao Ma,
Weiwei Xiong,
Yuanyuan Zhou:
AutoISES: Automatically Inferring Security Specification and Detecting Violations.
USENIX Security Symposium 2008: 379-394 |
2007 |
11 | EE | Xiao Ma,
J. Jenny Li,
David M. Weiss:
Prioritized Constraints with Data Sampling Scores for Automatic Test Data Generation.
SNPD (3) 2007: 1129-1134 |
10 | EE | Shan Lu,
Soyeon Park,
Chongfeng Hu,
Xiao Ma,
Weihang Jiang,
Zhenmin Li,
Raluca A. Popa,
Yuanyuan Zhou:
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.
SOSP 2007: 103-116 |
2005 |
9 | EE | João W. Cangussu,
Kendra Cooper,
W. Eric Wong,
Xiao Ma:
A Run-Time Adaptable Persistency Service using the SMART Framework.
HICSS 2005 |
8 | EE | W. Eric Wong,
Yu Lei,
Xiao Ma:
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.
ICECCS 2005: 539-548 |
7 | | J. Jenny Li,
W. Eric Wong,
Xiao Ma,
David M. Weiss:
A Constraint Solver for Code-based Test Data Generation.
SEKE 2005: 300-305 |
6 | EE | Aleksandar Kavcic,
Xiao Ma,
Nedeljko Varnica:
Matched information rate codes for Partial response channels.
IEEE Transactions on Information Theory 51(3): 973-989 (2005) |
2004 |
5 | EE | Xiao Ma,
Li Ping:
Coded modulation using superimposed binary codes.
IEEE Transactions on Information Theory 50(12): 3331-3343 (2004) |
2003 |
4 | | Xiao Ma,
Aleksandar Kavcic:
Path partitions and forward-only trellis algorithms.
IEEE Transactions on Information Theory 49(1): 38-52 (2003) |
3 | | Aleksandar Kavcic,
Xiao Ma,
Michael Mitzenmacher:
Binary intersymbol interference channels: Gallager codes, density evolution, and code performance bounds.
IEEE Transactions on Information Theory 49(7): 1636-1652 (2003) |
2000 |
2 | | Xiao Ma,
Xin-mei Wang:
On the minimal interpolation problem and decoding RS codes.
IEEE Transactions on Information Theory 46(4): 1573-1580 (2000) |
1 | | Xiao Ma,
Xiao-Yi Zhang:
Correction to "Entropy bounds for constrained two-dimensional random fields".
IEEE Transactions on Information Theory 46(7): 2763 (2000) |