| 2026 | KR | Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking. | Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2025 | IJCAI | Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments. | Wojciech Jamroga, Michal Tomasz Godziszewski, Aniello Murano |
| 2025 | IJCAI | NatSTV: Towards Verification of Natural Strategic Ability. | Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga |
| 2025 | IJCAI | Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models. | Damian Kurpiewski, Wojciech Jamroga, Yan Kim |
| 2024 | ECAI | STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. | Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga |
| 2024 | FC | "You Shall Not Abstain!" A Formal Study of Forced Participation. | Wojciech Jamroga, Peter B. Roenne, Yan Kim, Peter Y. A. Ryan |
| 2024 | ICAART | Scalable Verification of Social Explainable AI by Variable Abstraction. | Wojciech Jamroga, Yan Kim, Damian Kurpiewski |
| 2023 | EUMAS | Pretty Good Strategies and Where to Find Them. | Wojciech Jamroga, Damian Kurpiewski |
| 2023 | ICAART | Towards Modelling and Verification of Social Explainable AI. | Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk |
| 2023 | IJCAI | Scalable Verification of Strategy Logic through Three-Valued Abstraction. | Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano |
| 2023 | IJCAI | Practical Model Reductions for Verification of Multi-Agent Systems. | Wojciech Jamroga, Yan Kim |
| 2023 | KR | Strategic Abilities of Forgetful Agents in Stochastic Environments. | Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano |
| 2023 | KR | Practical Abstraction for Model Checking of Multi-Agent Systems. | Wojciech Jamroga, Yan Kim |
| 2022 | PRIMA | STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. | Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga |
| 2022 | PRIMA | Assume-Guarantee Verification of Strategic Ability. | Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski |
| 2021 | KR | Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
| 2019 | IJCAI | Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. | Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2019 | IJCAI | Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). | Wojciech Jamroga, Michal Knapik |
| 2018 | TIME | Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). | Wojciech Jamroga |
| 2016 | ECAI | Iterative Judgment Aggregation. | Marija Slavkovik, Wojciech Jamroga |
| 2016 | ECAI | Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. | Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan |
| 2015 | PRIMA | Module Checking for Uncertain Agents. | Wojciech Jamroga, Aniello Murano |
| 2015 | SEC | Strategic Noninterference. | Wojciech Jamroga, Masoud Tabatabaei |
| 2014 | ECAI | ATL* With Truly Perfect Recall: Expressivity and Validities. | Nils Bulling, Wojciech Jamroga, Matei Popovici |
| 2014 | PRIMA | Multi-agency Is Coordination and (Limited) Communication. | Piotr Kazmierczak, Thomas gotnes, Wojciech Jamroga |
| 2013 | PRIMA | Defendable Security in Interaction Protocols. | Wojciech Jamroga, Matthijs Melissen, Henning Schnoor |
| 2012 | AAMAS | State and path coalition effectivity models for logics of multi-player games. | Valentin Goranko, Wojciech Jamroga |
| 2012 | AAMAS | Distance-based rules for weighted judgment aggregation. | Marija Slavkovik, Wojciech Jamroga |
| 2012 | ECAI | Concepts, Agents, and Coalitions in Alternating Time. | Wojciech Jamroga |
| 2011 | EPIA | Doubtful Deviations and Farsighted Play. | Wojciech Jamroga, Matthijs Melissen |
| 2011 | IJCAI | Alternating Epistemic Mu-Calculus. | Nils Bulling, Wojciech Jamroga |
| 2011 | IJCAI | Comparing Variants of Strategic Ability. | Wojciech Jamroga, Nils Bulling |
| 2011 | IJCAI | Agents, Actions and Goals in Dynamic Environments. | Peter Novk, Wojciech Jamroga |
| 2008 | PRIMA | A Temporal Logic for Stochastic Multi-Agent Systems. | Wojciech Jamroga |
| 2007 | TARK | Alternating-time temporal logics with irrevocable strategies. | Thomas gotnes, Valentin Goranko, Wojciech Jamroga |
| 2006 | EUMAS | Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. | Wojciech Jamroga, Jrgen Dix |
| 2006 | KI | On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. | Wojciech Jamroga |
| 2005 | EPIA | Intentions and Strategies in Game-Like Scenarios. | Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge |
| 2004 | ICAISC | Strategic Planning through Model Checking of ATL Formulae. | Wojciech Jamroga |
| 2001 | KI | A Defense Model for Games with Incomplete Information. | Wojciech Jamroga |