| 2008 |
|---|
| 5 | EE | Amitabha Roy,
Keir Fraser,
Steven Hand:
A transactional approach to lock scalability.
SPAA 2008: 101-103 |
| 2006 |
|---|
| 4 | EE | Amitabha Roy,
Stephan Zeisset,
Charles J. Fleckenstein,
John C. Huang:
Fast and Generalized Polynomial Time Memory Consistency Verification.
CAV 2006: 503-516 |
| 3 | EE | Amitabha Roy,
Stephan Zeisset,
Charles J. Fleckenstein,
John C. Huang:
Fast and Generalized Polynomial Time Memory Consistency Verification
CoRR abs/cs/0605039: (2006) |
| 2005 |
|---|
| 2 | EE | Amitabha Roy,
K. Gopinath:
Improved Probabilistic Models for 802.11 Protocol Verification.
CAV 2005: 239-252 |
| 2004 |
|---|
| 1 | EE | Amitabha Roy,
K. Gopinath:
Scalable Probabilistic Models for 802.11 Protocol Verification
CoRR cs.LO/0403044: (2004) |
