- Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek (2019),
Applying Modern SAT-solvers to Solving Hard Problems. Fundam. Inform. - Etienne Andre, Wojciech Jamroga, Michał Knapik, Wojciech Penczek, Laure Petrucci (2019), Timed ATL: Forget Memory, Just Count. Accepted for Journal of Artificial Intelligence Research
- Wojciech Jamroga, Peter B. Roenne, Peter Y. A. Ryan, Philip B. Stark (2019), Risk-Limiting Tallies. Accepted for the International Joint Conference on Electronic Voting E-VOTE-ID 2019.
- Wojciech Jamroga, Michał Knapik (2019), Some Things are Easier for the Dumb and the Bright Ones (Beware of the Average!), IJCAI 2019
- Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano (2019), Strategy Logic with Simple Goals: Tractable Reasoning about Strategies, IJCAI 2019
- Damian Kurpiewski, Michał Knapik, Wojciech Jamroga (2019), STV: Model Checking for Strategies under Imperfect Information, AAMAS 2019
- Damian Kurpiewski, Michał Knapik, Wojciech Jamroga (2019), On Domination and Control in Strategic Ability, AAMAS 2019
- Wojciech Jamroga, Vadim Malvone, Aniello Murano (2019), Natural Strategic Ability under Imperfect Information, AAMAS 2019
- Vahid Yazdanpanah, Mehdi Dastani, Natasha Alechina, Brian Logan, Wojciech Jamroga (2019), Strategic Responsibility Under Imperfect Information, AAMAS 2019
- Nils Bulling, Wojciech Jamroga, Matei Popovici (2019), Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Transactions on Computational Logic
- Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michał Knapik (2019), Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. Accepted for Information & Computation.
- Wojciech Jamroga, Vadim Malvone, Aniello Murano (2019), Natural Strategic Ability. Accepted for Artificial Intelligence.
- Wojciech Jamroga, Michał Knapik, Damian Kurpiewski, Łukasz Mikulski (2019), Approximate Verification of Strategic Abilities under Imperfect Information. Accepted for Artificial Intelligence.
- Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek (2018),
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. Sci. Ann. Comp. Sci. - Artur Niewiadomski, Piotr Switalski, Marcin Kowalczyk, Wojciech Penczek (2018),
TripICS – a Web Service Composition System for Planning Trips and Travels. Fundam. Inform. - Gergei Bana, Rohit Chadha, Ajay Kumar Eeralla (2018), Formal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker, ESORICS 2018
- Wojciech Jamroga, Wojciech Penczek, Piotr Dembiński, Antoni W. Mazurkiewicz (2018), Towards Partial Order Reductions for Strategic Ability, AAMAS 2018
- Wojciech Penczek (2018),
Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic. CS&P 2018 - Artur Meski, Maciej Koutny, Wojciech Penczek (2018),
Reaction Mining for Reaction Systems. UCNC 2018 - Wojciech Jamroga (2018), Model Checking Strategic Ability – Why, What, and Especially: How? (Invited Paper), TIME 2018
- Wojciech Jamroga, Michał Knapik, Damian Kurpiewski (2018), Model Checking the SELENE E-Voting Protocol in Multi-agent Logics, E-Vote-ID 2018
- Gergei Bana (2017), Models of Objective Chance: An Analysis through Examples, European Studies in Philosophy of Science, Volume 6
- Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga (2017), SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems, Journal of Logic and Computation, Volume 27
- Wojciech Jamroga, Vadim Malvone, Aniello Murano (2017), Reasoning about Natural Strategic Ability, AAMAS 2017
- Wojciech Jamroga, Michał Knapik, Damian Kurpiewski (2017), Fixpoint Approximation of Strategic Abilities under Imperfect Information, AAMAS 2017
- Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones (2017), Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot, AAMAS 2017
- Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek (2017), Timed ATL: Forget Memory, Just Count, AAMAS 2017
- Wojciech Jamroga and Masoud Tabatabaei (2016), Preventing Coercion in E-Voting: Be Open and Commit. Proceedings of the International Joint Conference on Electronic Voting E-VOTE-ID 2016, Best Paper Award. Lecture Notes in Computer Science
