Michelle L. Blom

CoRR, 2024

Explainable agency: human preferences for simple or complex explanations.

[BibT_eX]

[DOI]

CoRR, 2024

RLAs for 2-Seat STV Elections: Revisited.

[BibT_eX]

[DOI]

CoRR, 2024

Improving the Computational Efficiency of Adaptive Audits of IRV Elections.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 9th International Joint Conference, 2024

2023

Strategy Extraction in Single-Agent Games.

[BibT_eX]

[DOI]

Archana Vadakattu

CoRR, 2023

Risk-Limiting Audits for Condorcet Elections.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

2022

Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps.

[BibT_eX]

[DOI]

CoRR, 2022

Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit.

[BibT_eX]

[DOI]

CoRR, 2022

A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model.

[BibT_eX]

[DOI]

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2021

Auditing Hamiltonian Elections.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 6th International Joint Conference, 2021

2020

Random errors are not politically neutral.

[BibT_eX]

[DOI]

CoRR, 2020

You can do RLAs for IRV.

[BibT_eX]

[DOI]

CoRR, 2020

Random Errors Are Not Necessarily Politically Neutral.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

Shifting the Balance-of-Power in STV Elections.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Toward Computing the Margin of Victory in Single Transferable Vote Elections.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2019

Risk-Limiting Audits for IRV Elections.

[BibT_eX]

[DOI]

Vanessa Teague

CoRR, 2019

Election Manipulation with Partial Information.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 4th International Joint Conference, 2019

Election Manipulation 100.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2019

2018

Ballot-Polling Risk Limiting Audits for IRV Elections.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Computing the Margin of Victory in Preferential Parliamentary Elections.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

2017

Towards Computing Victory Margins in STV Elections.

[BibT_eX]

[DOI]

CoRR, 2017

An analysis of New South Wales electronic vote counting.

[BibT_eX]

[DOI]

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods.

[BibT_eX]

[DOI]

Manag. Sci., 2016

Auditing Australian Senate Ballots.

[BibT_eX]

[DOI]

CoRR, 2016

Efficient Computation of Exact IRV Margins.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2014

A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2014

2011

Arguments and actions: decoupling preference and planning through argumentation.

[BibT_eX]

[DOI]

PhD thesis, 2011

2010

Relaxing Regression for a Heuristic GOLOG.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2010, 2010

2009

An Argumentation-Based Interpreter for Golog Programs.

[BibT_eX]

[DOI]