| |
| 2006 | ||
|---|---|---|
| 6 | EE | Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006) |
| 2004 | ||
| 5 | EE | Stephen Paynter, Neil Henderson, James M. Armstrong: Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. Formal Asp. Comput. 16(4): 332-351 (2004) |
| 2003 | ||
| 4 | EE | Neil Henderson: Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. FME 2003: 244-263 |
| 2002 | ||
| 3 | EE | Neil Henderson, Stephen Paynter: The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. FME 2002: 350-369 |
| 2000 | ||
| 2 | Neil Henderson, Pieter H. Hartel: Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS 2000: 241-256 | |
| 1999 | ||
| 1 | EE | Sakaki Morishita, Neil Henderson: Homotopy and Intellectual Property. Computer Graphics International 1999: 156- |
| 1 | James M. Armstrong | [5] [6] |
| 2 | Pieter H. Hartel | [2] |
| 3 | Sakaki Morishita | [1] |
| 4 | Stephen Paynter | [3] [5] [6] |