Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

Bernhard Beckert; Thorsten Bormer; Rajeev Gore; Michael Kirsten; Tom Meumann

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten, Tom Meumann

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014
Place of Publication	TBC
Publisher	Conference Organising Committee
Pages	1-19
Publication status	Published - 2014
Event	8th International Verification Workshop (VERIFY) - Vienna, Austria, Australia Duration: 1 Jan 2014 → …

Conference

Conference	8th International Verification Workshop (VERIFY)
Country/Territory	Australia
Period	1/01/14 → …
Other	23-24 July 2014

Cite this

@inproceedings{5e8a9f4a6f484dfa97eb4fc2b2b3d6fa,

title = "Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods",

author = "Bernhard Beckert and Thorsten Bormer and Rajeev Gore and Michael Kirsten and Tom Meumann",

year = "2014",

language = "English",

pages = "1--19",

booktitle = "Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014",

publisher = "Conference Organising Committee",

note = "8th International Verification Workshop (VERIFY) ; Conference date: 01-01-2014",

}

Beckert, B, Bormer, T, Gore, R, Kirsten, M & Meumann, T 2014, Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods. in Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014. Conference Organising Committee, TBC, pp. 1-19, 8th International Verification Workshop (VERIFY), Australia, 1/01/14.

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods. / Beckert, Bernhard; Bormer, Thorsten; Gore, Rajeev et al.
Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014. TBC: Conference Organising Committee, 2014. p. 1-19.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

AU - Beckert, Bernhard

AU - Bormer, Thorsten

AU - Gore, Rajeev

AU - Kirsten, Michael

AU - Meumann, Tom

PY - 2014

Y1 - 2014

M3 - Conference contribution

SP - 1

EP - 19

BT - Proceedings, 8th International Verification Workshop (VERIFY)in connection with IJCAR 2014 at FLoC 2014

PB - Conference Organising Committee

CY - TBC

T2 - 8th International Verification Workshop (VERIFY)

Y2 - 1 January 2014

ER -