| |
| 2006 | ||
|---|---|---|
| 2 | EE | Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262 |
| 1 | EE | Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers: Formal techniques in a remote voting system. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 1 | Patrice Chalin | [2] |
| 2 | Dermot Cochran | [1] [2] |
| 3 | Fintan Fairmichael | [2] |
| 4 | Engelbert Hubbers | [1] [2] |
| 5 | Joseph Kiniry (Joseph R. Kiniry) | [1] [2] |
| 6 | Martijn Oostdijk | [1] [2] |