Several election districts in the US have recently moved to ranked-choice voting (RCV) to
decide the results of local elections. RCV allows voters to rank their choices, and the results …

We analyze how numerical experiments regarding elections were conducted within the
computational social choice literature (focusing on papers published in the IJCAI, AAAI, and …

Ranked Choice Voting (RCV) and Single Transferable Voting (STV) are widely valued; but
are complex to understand due to intricate per-round vote transfers. Questions like …

An important question in elections is the determine whether a candidate can be a winner
when some votes are absent. We study this determining winner with the absent votes (WAV) …

Given a large number of users' preferences (numerical or ordinal scores, ranked order) over
a large number of objects, returning top-k results entails selecting a small list/set containing …

In the context of increasing automation of Australian electoral processes, and accusations of
deliberate interference in elections in Europe and the USA, it is worthwhile understanding …

This paper explains the main principles and some of the technical details for auditing the
scanning and digitisation of the Australian Senate ballot papers. We give a short summary of …

In early December 2021, the Australian state of New South Wales (NSW) conducted one of
the largest-ever Internet voting runs in the world, 3 receiving more than 650,000 votes over …

In the context of increasing automation of Australian electoral processes, and accusations of
deliberate interference in elections in Europe and the USA, it is worthwhile understanding …