| |
| 2007 | ||
|---|---|---|
| 3 | EE | Alwyn Goodloe, Carl A. Gunter: Reasoning about Concurrency for Security Tunnels. CSF 2007: 64-78 |
| 2005 | ||
| 2 | EE | Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr: Formal prototyping in early stages of protocol design. WITS 2005: 67-80 |
| 2002 | ||
| 1 | EE | Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur: Predictable programs in barcodes. CASES 2002: 298-303 |
| 1 | Rajeev Alur | [1] |
| 2 | Carl A. Gunter | [1] [2] [3] |
| 3 | Michael McDougall | [1] |
| 4 | Mark-Oliver Stehr | [2] |