Search the dblp DataBase

Publications of Author

1. Steven Gordon, Jonathan Billington
   Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2000, pp:207-226 [Conf]
   
2. Steven Gordon, Lars Michael Kristensen, Jonathan Billington
   Verification of a Revised WAP Wireless Transaction Protocol. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2002, pp:182-202 [Conf]
   
3. Li Zheng, Arek Dadej, Steven Gordon
   Hybrid Quality of Service Architecture for Wireless/Mobile Environment. [Citation Graph (0, 0)][DBLP]
   INTERWORKING, 2002, pp:341-352 [Conf]
   
4. Steven Gordon, Arek Dadej
   Design of High Capacity Wireless LANs Based on 802.11b Technology. [Citation Graph (0, 0)][DBLP]
   INTERWORKING, 2002, pp:133-144 [Conf]
   
5. David A. Joiner, Steven Gordon, Scott Lathrop, Marilyn McClelland, D. E. Stevenson
   Applying verification, validation, and accreditation processes to digital libraries. [Citation Graph (0, 0)][DBLP]
   JCDL, 2005, pp:382- [Conf]
   
6. Steven Gordon, Jonathan Billington
   Modelling the WAP Transaction Service using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   MDA, 1999, pp:109-118 [Conf]
   
7. Ha Hoang Duong, Arek Dadej, Steven Gordon
   Proactive context transfer in WLAN-based access networks. [Citation Graph (0, 0)][DBLP]
   WMASH, 2004, pp:61-70 [Conf]
   
8. Ha Duong, Arek Dadej, Steven Gordon
   Proactive context transfer and forced handover in IEEE 802.11 wireless LAN based access networks. [Citation Graph (0, 0)][DBLP]
   Mobile Computing and Communications Review, 2005, v:9, n:3, pp:32-44 [Journal]
   
9. Steven Gordon, Jonathan Billington
   Analysing a Missile Simulator with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   STTT, 1998, v:2, n:2, pp:144-159 [Journal]
   
10. 
    Formal Analysis of PANA Authentication and Authorisation Protocol. [Citation Graph (, )][DBLP]
    
    
11. 
    A General Framework for Context Transfer in Mobile IP Networks. [Citation Graph (, )][DBLP]