Project Details
Description
Dermot Cochran's PhD work, initially funded by Lero in Ireland, now funded by ITU.
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/2010 → 01/01/2012 |
Keywords
- e-voting
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Conference article
-
Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections
Cochran, D. R. & Kiniry, J. R., 2010, In: Karlsruhe Reports in Informatics. 2010, 13, p. 235-252 17 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review