| 1 | -- | 0 | Faron Moller. Formal Methods in Computation |
| 2 | -- | 11 | Howard Barringer, Donal Fellows, Graham Gough, Alan Williams. Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design |
| 12 | -- | 18 | Doug Edwards, Andrew Bardsley. Balsa: An Asynchronous Hardware Synthesis Language |
| 19 | -- | 26 | Stephen B. Furber. Validating the AMULET Microprocessors |
| 27 | -- | 36 | Michael J. C. Gordon. Relating Event and Trace Semantics of Hardware Description Languages |
| 37 | -- | 45 | Michael Norrish, Konrad Slind. A Thread of HOL Development |
| 46 | -- | 54 | Susan Older, Shiu-Kai Chin. Formal Methods for Assuring Security of Protocols |
| 55 | -- | 61 | Muffy Calder, Savi Maharaj, Carron Shankland. A Modal Logic for Full LOTOS based on Symbolic Transition Systems |
| 62 | -- | 67 | Chris M. N. Tofts. Traffic Modelling and Probabilistic Process Abstraction |
| 72 | -- | 87 | Chung-Ming Huang, Yu-Chang Chao. Differentiated Information Presentations for Heterogeneous I/O Devices using a Single Mark-up Language Approach |
| 88 | -- | 100 | Ali Shatnawi, M. Omair Ahmad, M. N. S. Swamy. Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms |
| 101 | -- | 110 | Shih-Lin Wu, Yu-Chee Tseng, Chih-Yu Lin, Jang-Ping Sheu. A Multi-channel MAC Protocol with Power Control for Multi-hop Mobile Ad Hoc Networks |
| 111 | -- | 128 | Xudong He, Yi Deng. A Framework for Developing and Analyzing Software Architecture Specifications in SAM |