 | 2011 |
|---|
| 9 |       | Parag Kulkarni,
Sedat Gormus,
Woon Hau Chin,
Russell J. Haines:
Distributed resource allocation in small cellular networks - Test-bed experiments and results.
IWCMC 2011: 1262-1267 |
| 2009 |
|---|
| 8 | | Tim Lewis,
Russell J. Haines:
Formal verification to enhance evolution of protocols.
GECCO 2009: 1889-1890 |
| 7 | | Sadia Quadri,
Russell J. Haines:
Industrial Prototyping: A Common Architecture and Case Study of IEEE 802.11n Transmit Beamforming.
VTC Spring 2009 |
| 2007 |
|---|
| 6 | | Russell J. Haines,
Neil Fanning,
Tim Lewis,
Justin P. Coon:
Bandwidth Optimization in Centralized WLANs for Different Traffic Types.
EURASIP J. Wireless Comm. and Networking 2007: (2007) |
| 5 | | Russell J. Haines,
Gary Clemo,
Alistair D. Munro:
Petri-nets for formal verification of MAC protocols.
IET Software 1(2): 39-47 (2007) |
| 2006 |
|---|
| 4 | | Russell J. Haines,
Tim Lewis,
Gary Clemo:
Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract).
ISCC 2006: 3-7 |
| 3 | | Russell J. Haines,
Gary Clemo,
Alistair Munro:
Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF.
VTC Fall 2006: 1-5 |
| 2 | | Russell J. Haines,
Alistair Munro,
Gary Clemo:
Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.
VTC Spring 2006: 1171-1175 |
| 1 | | Russell J. Haines,
Tim Lewis,
Justin P. Coon,
Neil Fanning:
Non-Linear Optimization of IEEE802.11e Super-frame Configuration.
VTC Spring 2006: 1211-1215 |
Data released under the ODC-BY 1.0 license — See also our legal information page