Towards Model Checking of Voting Protocols in Uppaal. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski; Peter Y. A. Ryan (E-VOTE-ID, 2020)

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski; Peter Y. A. Ryan (CoRR, 2020)

Computational Classification of Tubular Algebras. - Piotr Dowbor; Yan Kim (Fundam. Informaticae, 2020)

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. - Damian Kurpiewski; Witold Pazderski; Wojciech Jamroga; Yan Kim (AAMAS, 2021)

Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. - Yan Kim; Wojciech Jamroga; Peter Y. A. Ryan (STAST, 2022)

Practical Model Reductions for Verification of Multi-Agent Systems. - Wojciech Jamroga; Yan Kim (IJCAI, 2023)

Practical Abstraction for Model Checking of Multi-Agent Systems. - Wojciech Jamroga; Yan Kim (KR, 2023)

"You Shall Not Abstain!" A Formal Study of Forced Participation. - Wojciech Jamroga; Peter B. Roenne; Yan Kim; Peter Y. A. Ryan (FC Workshops, 2024)

Scalable Verification of Social Explainable AI by Variable Abstraction. - Wojciech Jamroga; Yan Kim; Damian Kurpiewski (ICAART (1), 2024)

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. - Yan Kim; Wojciech Jamroga; Wojciech Penczek; Laure Petrucci (AAMAS, 2025)