| 1999 | ECRTS | Finding the minimum available transmission time for the timed token medium access control protocol. | Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang |
| 1999 | LCN | The Worst-Case Scenario for Transmission of Synchronous Traffic in an FDDI Network. | Sijing Zhang, E. Stewart Lee |
| 1999 | RTCSA | Efficient Global Allocation of Synchronous Bandwidths for Hard Real-Time Communication with the Timed Token MAC Protocol. | Sijing Zhang, E. Stewart Lee |
| 1997 | SP | A General Theory of Security Properties. | Aris Zakinthinos, E. Stewart Lee |
| 1994 | CCS | The Compatibility of Policies. | Heather M. Hinton, E. Stewart Lee |
| 1992 | ESORICS | Verification and Modelling of Authentication Protocols. | Ralf C. Hauser, E. Stewart Lee |
| 1990 | ESORICS | An Architecture for a Trusted Network. | E. Stewart Lee, Brian W. Thomson, Peter I. P. Boulton, Michael Stumm |
| 1990 | ESORICS | Using Deducibility in Secure Network Modelling. | Brian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis |
| 1979 | SIGCSE | Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer. | Howard Trickey, E. Stewart Lee |