Agents, beliefs, and plausible behavior in a temporal setting. - Nils Bulling; Wojciech Jamroga (AAMAS, 2007)

A framework for reasoning about rational agents. - Wojciech Jamroga; Nils Bulling (AAMAS, 2007)

A Logic for Reasoning about Rational Agents. - Wojciech Jamroga; Nils Bulling (CLIMA, 2007)

An Argumentative Approach for Modelling Coalitions Using ATL. - Nils Bulling; Carlos Iván Chesñevar; Jürgen Dix (ArgMAS, 2008)

Modelling coalitions: ATL + argumentation. - Nils Bulling; Jürgen Dix; Carlos Iván Chesñevar (AAMAS (2), 2008)

Reasoning about temporal properties of rational play. - Nils Bulling; Wojciech Jamroga; Jürgen Dix (Ann. Math. Artif. Intell., 2008)

Rational play and rational beliefs under uncertainty. - Nils Bulling; Wojciech Jamroga (AAMAS (1), 2009)

Expressing Properties of Resource-Bounded Systems: The Logics RTL* and RTL. - Nils Bulling; Berndt Farwer (CLIMA, 2009)

Towards a Verification Framework for Communicating Rational Agents. - Nils Bulling; Koen V. Hindriks (MATES, 2009)

What Agents Can Probably Enforce. - Nils Bulling; Wojciech Jamroga (Fundam. Informaticae, 2009)

On the (Un-)Decidability of Model Checking Resource-Bounded Agents. - Nils Bulling; Berndt Farwer (ECAI, 2010)

Modellierung und Verifikation von Fähigkeiten rationaler Agenten. - Nils Bulling (Ausgezeichnete Informatikdissertationen, 2010)

Modelling and Verifying Coalitions using Argumentation and ATL. - Nils Bulling; Jürgen Dix (Inteligencia Artif., 2010)

Verifying agents with memory is harder than it seemed. - Nils Bulling; Wojciech Jamroga (AI Commun., 2010)

Modelling and verifying abilities of rational agents. - Nils Bulling (Papierflieger-Verlag, 2010)

Normative programs and normative mechanism design. - Nils Bulling; Mehdi Dastani (AAMAS, 2011)

Taming the complexity of linear time BDI logics. - Nils Bulling; Koen V. Hindriks (AAMAS, 2011)

Verifying Normative Behaviour via Normative Mechanism Design. - Nils Bulling; Mehdi Dastani (IJCAI, 2011)

Alternating Epistemic Mu-Calculus. - Nils Bulling; Wojciech Jamroga (IJCAI, 2011)

Comparing Variants of Strategic Ability. - Wojciech Jamroga; Nils Bulling (IJCAI, 2011)

A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. - Nils Bulling; Michael Köster; Matei Popovici (CLIMA, 2012)

Monitoring norm violations in multi-agent systems. - Nils Bulling; Mehdi Dastani; Max Knobbout (AAMAS, 2013)

Coalitional Responsibility in Strategic Settings. - Nils Bulling; Mehdi Dastani (CLIMA, 2013)

Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games. - Nils Bulling; Sujata Ghosh; Rineke Verbrugge (PRIMA, 2013)

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) - Nils Bulling; Valentin Goranko (SR, 2013)

Agents with truly perfect recall in alternating-time temporal logic. - Nils Bulling; Wojciech Jamroga; Matei Popovici (AAMAS, 2014)

ATL* With Truly Perfect Recall: Expressivity and Validities. - Nils Bulling; Wojciech Jamroga; Matei Popovici (ECAI, 2014)

A Boolean Game Based Modeling of Socio-Technical Systems. - Nils Bulling (MATES, 2014)

Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. - Nils Bulling; Wojciech Jamroga (Auton. Agents Multi Agent Syst., 2014)

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). - Thomas Ågotnes; Nils Bulling (Dagstuhl Reports, 2014)

Special Issue on Multi-Agent Decision Making. - Nils Bulling (Künstliche Intell., 2014)

A Survey of Multi-Agent Decision Making. - Nils Bulling (Künstliche Intell., 2014)

Interview with Professor Sarit Kraus. - Nils Bulling (Künstliche Intell., 2014)

Practical Run-Time Norm Enforcement with Bounded Lookahead. - Natasha Alechina; Nils Bulling; Mehdi Dastani; Brian Logan 001 (AAMAS, 2015)

A Model for Collaborative Runtime Verification. - Bas Testerink; Nils Bulling; Mehdi Dastani (AAMAS, 2015)

Security and Robustness for Collaborative Monitors. - Bas Testerink; Nils Bulling; Mehdi Dastani (COIN@AAMAS/IJCAI, 2015)

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (IJCAI, 2015)

Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. - Nils Bulling; Hoang Nga Nguyen (PRIMA, 2015)

A game-theoretic approach to compute stable topologies in mobile ad hoc networks. - Nils Bulling; Matei Popovici (J. Log. Comput., 2015)

Logics for Reasoning About Strategic Abilities in Multi-player Games. - Nils Bulling; Valentin Goranko; Wojciech Jamroga (Models of Strategic Reasoning, 2015)

Boolean Negotiation Games. - Nils Bulling; Koen V. Hindriks (ECAI, 2016)

Distributed Controllers for Norm Enforcement. - Bas Testerink; Mehdi Dastani; Nils Bulling (ECAI, 2016)

Norm-based mechanism design. - Nils Bulling; Mehdi Dastani (Artif. Intell., 2016)

Special issue on multi-agent systems. - Nils Bulling (Ann. Math. Artif. Intell., 2016)

Special Issue on Logical Aspects of Multi-Agent Systems. - Nils Bulling; Wiebe van der Hoek (Stud Logica, 2016)

The virtues of idleness: A decidable fragment of resource agent logic. - Natasha Alechina; Nils Bulling; Brian Logan 001; Hoang Nga Nguyen (Artif. Intell., 2017)

On the complexity of resource-bounded logics. - Natasha Alechina; Nils Bulling; Stéphane Demri; Brian Logan 001 (Theor. Comput. Sci., 2018)

Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. - Nils Bulling; Wojciech Jamroga; Matei Popovici (ACM Trans. Comput. Log., 2019)

Combining quantitative and qualitative reasoning in concurrent multi-player games. - Nils Bulling; Valentin Goranko (Auton. Agents Multi Agent Syst., 2022)