| 2008 |
|---|
| 12 | EE | Steven Gordon:
Formal Analysis of PANA Authentication and Authorisation Protocol.
PDCAT 2008: 277-284 |
| 2006 |
|---|
| 11 | EE | Ha Duong,
Arek Dadej,
Steven Gordon:
A General Framework for Context Transfer in Mobile IP Networks.
VTC Spring 2006: 1017-1021 |
| 2005 |
|---|
| 10 | EE | David A. Joiner,
Steven Gordon,
Scott Lathrop,
Marilyn McClelland,
D. E. Stevenson:
Applying verification, validation, and accreditation processes to digital libraries.
JCDL 2005: 382 |
| 9 | | Steven Gordon,
Paul Mulligan:
Infocratic Perspective on the Delivery of Personal Financial Services.
Encyclopedia of Information Science and Technology (III) 2005: 1452-1457 |
| 8 | EE | Ha Duong,
Arek Dadej,
Steven Gordon:
Proactive context transfer and forced handover in IEEE 802.11 wireless LAN based access networks.
Mobile Computing and Communications Review 9(3): 32-44 (2005) |
| 2004 |
|---|
| 7 | EE | Ha Hoang Duong,
Arek Dadej,
Steven Gordon:
Proactive context transfer in WLAN-based access networks.
WMASH 2004: 61-70 |
| 2002 |
|---|
| 6 | EE | Steven Gordon,
Lars Michael Kristensen,
Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol.
ICATPN 2002: 182-202 |
| 5 | | Steven Gordon,
Arek Dadej:
Design of High Capacity Wireless LANs Based on 802.11b Technology.
INTERWORKING 2002: 133-144 |
| 4 | | Li Zheng,
Arek Dadej,
Steven Gordon:
Hybrid Quality of Service Architecture for Wireless/Mobile Environment.
INTERWORKING 2002: 341-352 |
| 2000 |
|---|
| 3 | EE | Steven Gordon,
Jonathan Billington:
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.
ICATPN 2000: 207-226 |
| 1999 |
|---|
| 2 | EE | Steven Gordon,
Jonathan Billington:
Modelling the WAP Transaction Service using Coloured Petri Nets.
MDA 1999: 109-118 |
| 1998 |
|---|
| 1 | EE | Steven Gordon,
Jonathan Billington:
Analysing a Missile Simulator with Coloured Petri Nets.
STTT 2(2): 144-159 (1998) |
