Modelling and Solving Online Optimisation Problems. - Alexander Ek; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (AAAI, 2020)

Aggregation and Garbage Collection for Online Optimization. - Alexander Ek; Maria Garcia de la Banda; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2020)

Explaining Propagation for Gini and Spread with Variable Mean. - Alexander Ek; Andreas Schutt; Peter J. Stuckey; Guido Tack (CP, 2022)

Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. - Alexander Ek; Philip B. Stark; Peter J. Stuckey; Damjan Vukcevic (E-Vote-ID, 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)

Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. - Alexander Ek; Philip B. Stark; Peter J. Stuckey; Damjan Vukcevic (FC Workshops, 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)