An Argumentation-Based Interpreter for Golog Programs. - Michelle L. Blom; Adrian R. Pearce (IJCAI, 2009)

Relaxing Regression for a Heuristic GOLOG. - Michelle L. Blom; Adrian R. Pearce (STAIRS, 2010)

Arguments and actions: decoupling preference and planning through argumentation. - Michelle L. Blom (2011)

A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines. - Michelle L. Blom; Christina N. Burt; Adrian R. Pearce; Peter J. Stuckey (INFORMS J. Comput., 2014)

Efficient Computation of Exact IRV Margins. - Michelle L. Blom; Vanessa Teague; Peter J. Stuckey; Ron Tidhar (ECAI, 2016)

Auditing Australian Senate Ballots. - Berj Chilingirian; Zara Perumal; Ronald L. Rivest; Grahame Bowland; Andrew Conway; Philip B. Stark; Michelle L. Blom; Chris Culnane; Vanessa Teague (CoRR, 2016)

A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods. - Michelle L. Blom; Adrian R. Pearce; Peter J. Stuckey (Manag. Sci., 2016)

An analysis of New South Wales electronic vote counting. - Andrew Conway; Michelle L. Blom; Lee Naish; Vanessa Teague (ACSW, 2017)

Towards Computing Victory Margins in STV Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (CoRR, 2017)

Computing the Margin of Victory in Preferential Parliamentary Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (E-Vote-ID, 2018)

Ballot-Polling Risk Limiting Audits for IRV Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (E-Vote-ID, 2018)

Election Manipulation 100. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (Financial Cryptography Workshops, 2019)

Election Manipulation with Partial Information. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (E-VOTE-ID, 2019)

Risk-Limiting Audits for IRV Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague (CoRR, 2019)

Toward Computing the Margin of Victory in Single Transferable Vote Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa J. Teague (INFORMS J. Comput., 2019)

Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa J. Teague (AAAI, 2020)

Shifting the Balance-of-Power in STV Elections. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa J. Teague (E-VOTE-ID, 2020)

Random Errors Are Not Necessarily Politically Neutral. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa J. Teague; Damjan Vukcevic (E-VOTE-ID, 2020)

You can do RLAs for IRV. - Michelle L. Blom; Andrew Conway; Dan King; Laurent Sandrolini; Philip B. Stark; Peter J. Stuckey; Vanessa Teague (CoRR, 2020)

Random errors are not politically neutral. - Michelle L. Blom; Andrew Conway; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2020)

Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. - Michelle L. Blom; Jurlind Budurushi; Ronald L. Rivest; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (E-VOTE-ID, 2021)

Auditing Hamiltonian Elections. - Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (Financial Cryptography Workshops, 2021)

Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. - Floyd Everest; Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (Financial Cryptography Workshops, 2022)

Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. - Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2022)

Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. - Floyd Everest; Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2022)

Risk-Limiting Audits for Condorcet Elections. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (FC Workshops, 2023)

Strategy Extraction in Single-Agent Games. - Archana Vadakattu; Michelle L. Blom; Adrian R. Pearce (CoRR, 2023)

Improving the Computational Efficiency of Adaptive Audits of IRV Elections. - Alexander Ek; Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Damjan Vukcevic (E-Vote-ID, 2024)

RLAs for 2-Seat STV Elections: Revisited. - Michelle L. Blom; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (FC Workshops, 2024)

Explainable agency: human preferences for simple or complex explanations. - Michelle L. Blom; Ronal Singh; Tim Miller 001; Liz Sonenberg; Kerry Trentelman; Adam Saulwick (CoRR, 2024)

Analysing Guarantees in Australian Senate Outcomes. - Michelle L. Blom (CoRR, 2024)

Idiosyncratic properties of Australian STV election counting. - Andrew Conway; Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa J. Teague; Damjan Vukcevic (CoRR, 2024)

Efficient Lower Bounding of Single Transferable Vote Election Margins. - Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2025)

3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. - Michelle L. Blom; Alexander Ek; Peter J. Stuckey; Vanessa Teague; Damjan Vukcevic (CoRR, 2025)

Doing More With Less: Mismatch-Based Risk-Limiting Audits. - Alexander Ek; Michelle L. Blom; Philip B. Stark; Peter J. Stuckey; Vanessa J. Teague; Damjan Vukcevic (CoRR, 2025)