| 2016 | ECAI | Boolean Negotiation Games. | Nils Bulling, Koen V. Hindriks |
| 2016 | ECAI | Boolean Negotiation Games. | Nils Bulling, Koen V. Hindriks |
| 2016 | ECAI | Distributed Controllers for Norm Enforcement. | Bas Testerink, Mehdi Dastani, Nils Bulling |
| 2015 | IJCAI | On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. | Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen |
| 2015 | PRIMA | Model Checking Resource Bounded Systems with Shared Resources via Alternating Bchi Pushdown Systems. | Nils Bulling, Hoang Nga Nguyen |
| 2014 | ECAI | ATL* With Truly Perfect Recall: Expressivity and Validities. | Nils Bulling, Wojciech Jamroga, Matei Popovici |
| 2013 | PRIMA | Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. | Nils Bulling, Sujata Ghosh, Rineke Verbrugge |
| 2011 | IJCAI | Verifying Normative Behaviour via Normative Mechanism Design. | Nils Bulling, Mehdi Dastani |
| 2011 | IJCAI | Alternating Epistemic Mu-Calculus. | Nils Bulling, Wojciech Jamroga |
| 2011 | IJCAI | Comparing Variants of Strategic Ability. | Wojciech Jamroga, Nils Bulling |
| 2010 | ECAI | On the (Un-)Decidability of Model Checking Resource-Bounded Agents. | Nils Bulling, Berndt Farwer |