Browsing by Author Beckert, Bernhard
Showing results 1 to 5 of 5
Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System
Author(s) | Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | June 9-14 2013 |
On the Specification and Verification of Voting Schemes
Author(s) | Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | July 17-19 2013 |
Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
Author(s) | Beckert, Bernhard; Bormer, Thorsten; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | 23-24 July 2014 |
Second-order principles in specification languages for object-oriented programs
Author(s) | Beckert, Bernhard; Trentleman, Kerry |
---|---|
Type | Book chapter |
Date Published | 2005 |
Date Created | - |
Verifying voting schemes
Author(s) | Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten, et al |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator