Efficient weighting schemes for auditing instant-runoff voting elections

Ek, A., Stark, P. B., Stuckey, P. J. & Vukcevic, D., 2025, Financial Cryptography and Data Security. FC 2024 International Workshops: Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4–8, 2024, Revised Selected Papers. Budurushi, J., Kulyk, O., Allen, S., Diamandis, T., Klages-Mundt, A., Bracciali, A., Goodell, G. & Matsuo, S. (eds.). Cham Switzerland: Springer, p. 18-32 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14746 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

Improving the computational efficiency of adaptive audits of IRV elections

Ek, A., Blom, M., Stark, P. B., Stuckey, P. J. & Vukcevic, D., 2025, Electronic Voting: 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2–4, 2024, Proceedings. Duenas-Cid, D., Roenne, P., Volkamer, M., Budurushi, J., Blom, M., Rodríguez-Pérez, A., Spycher-Krivonosova, I., Castellà Roca, J. & Barrat Esteve, J. (eds.). Cham Switzerland: Springer, p. 37-53 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15014 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE

Ek, A., Stark, P. B., Stuckey, P. J. & Vukcevic, D., 2023, Electronic Voting: 8th International Joint Conference, E-Vote-ID 2023, Proceedings. Volkamer, M., Duenas-Cid, D., Rønne, P., Ryan, P. Y. A., Budurushi, J., Kulyk, O., Rodriguez Pérez, A. & Spycher-Krivonosova, I. (eds.). 1st ed. Cham Switzerland: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14230 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

Explaining propagation for Gini and spread with variable mean

Ek, A., Schutt, A., Stuckey, P. J. & Tack, G., 2022, 28th International Conference on Principles and Practice of Constraint Programming, CP 2022. Solnon, C. (ed.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 235).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Aggregation and garbage collection for online optimization

Ek, A., Garcia de la Banda, M., Schutt, A., Stuckey, P. J. & Tack, G., 2020, 26th International Conference, CP 2020 Louvain-la-Neuve, Belgium, September 7–11, 2020 Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 231-247 17 p. (Lecture Notes in Computer Science ; vol. 12333 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review