On Modal Logic Interpretations of Games. - Paul Harrenstein; Wiebe van der Hoek; John-Jules Ch. Meyer; Cees Witteveen (ECAI, 2002)

A Modal Characterization of Nash Equilibrium. - Paul Harrenstein; Wiebe van der Hoek; John-Jules Ch. Meyer; Cees Witteveen (Fundam. Informaticae, 2003)

Commitment and extortion. - Paul Harrenstein; Felix Brandt 001; Felix A. Fischer (AAMAS, 2007)

A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios. - Felix Brandt 001; Felix A. Fischer; Paul Harrenstein; Yoav Shoham (IJCAI, 2007)

Recognizing Members of the Tournament Equilibrium Set is NP-hard - Felix Brandt 001; Felix A. Fischer; Paul Harrenstein (CoRR, 2007)

Computational aspects of Shapley's saddles. - Felix Brandt 001; Markus Brill; Felix A. Fischer; Paul Harrenstein (AAMAS (1), 2009)

A qualitative vickrey auction. - Paul Harrenstein; Mathijs de Weerdt; Vincent Conitzer (EC, 2009)

Ranking games. - Felix Brandt 001; Felix A. Fischer; Paul Harrenstein; Yoav Shoham (Artif. Intell., 2009)

The Computational Complexity of Choice Sets. - Felix Brandt 001; Felix A. Fischer; Paul Harrenstein (Math. Log. Q., 2009)

Computing Shapley's saddles. - Felix Brandt 001; Markus Brill; Felix A. Fischer; Paul Harrenstein; Jan Hoffmann 002 (SIGecom Exch., 2009)

Monotone cooperative games and their threshold versions. - Haris Aziz 001; Felix Brandt 001; Paul Harrenstein (AAMAS, 2010)

A computational analysis of the tournament equilibrium set. - Felix Brandt 001; Felix A. Fischer; Paul Harrenstein; Maximilian Mair (Soc. Choice Welf., 2010)

Set-rationalizable choice and self-stability. - Felix Brandt 001; Paul Harrenstein (J. Econ. Theory, 2011)

On the Complexity of Iterated Weak Dominance in Constant-Sum Games. - Felix Brandt 001; Markus Brill; Felix A. Fischer; Paul Harrenstein (Theory Comput. Syst., 2011)

Individual-based stability in hedonic games depending on the best or worst players. - Haris Aziz 001; Paul Harrenstein; Evangelia Pyrga (AAMAS, 2012)

It only takes a few: on the hardness of voting with a constant number of agents. - Felix Brandt 001; Paul Harrenstein; Keyvan Kardel; Hans Georg Seedig (AAMAS, 2013)

Verifiable Equilibria in Boolean Games. - Thomas Ågotnes; Paul Harrenstein; Wiebe van der Hoek; Michael J. Wooldridge (IJCAI, 2013)

Boolean Games with Epistemic Goals. - Thomas Ågotnes; Paul Harrenstein; Wiebe van der Hoek; Michael J. Wooldridge (LORI, 2013)

The Joy of Matching. - Paul Harrenstein; David F. Manlove; Michael J. Wooldridge (IEEE Intell. Syst., 2013)

Pareto optimality in coalition formation. - Haris Aziz 001; Felix Brandt 001; Paul Harrenstein (Games Econ. Behav., 2013)

Testing substitutability of weak preferences. - Haris Aziz 001; Markus Brill; Paul Harrenstein (Math. Soc. Sci., 2013)

On the Rate of Convergence of Fictitious Play. - Felix Brandt 001; Felix A. Fischer; Paul Harrenstein (Theory Comput. Syst., 2013)

Fractional hedonic games. - Haris Aziz 001; Felix Brandt 001; Paul Harrenstein (AAMAS, 2014)

Hard and soft equilibria in boolean games. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (AAMAS, 2014)

Strategy-proof contract auctions and the role of ties. - Mathijs Michiel de Weerdt; Paul Harrenstein; Vincent Conitzer (Games Econ. Behav., 2014)

Minimal retentive sets in tournaments. - Felix Brandt 001; Markus Brill; Felix A. Fischer; Paul Harrenstein (Soc. Choice Welf., 2014)

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (AAMAS, 2015)

Expresiveness and Complexity Results for Strategic Reasoning. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CONCUR, 2015)

Iterated Boolean games. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Inf. Comput., 2015)

Possible and Necessary Winners of Partial Tournaments. - Haris Aziz 001; Markus Brill; Felix A. Fischer; Paul Harrenstein; Jérôme Lang; Hans Georg Seedig (J. Artif. Intell. Res., 2015)

Rational Verification: From Model Checking to Equilibrium Checking. - Michael J. Wooldridge; Julian Gutierrez 001; Paul Harrenstein; Enrico Marchioni; Giuseppe Perelli; Alexis Toumi (AAAI, 2016)

Boolean Hedonic Games. - Haris Aziz 001; Paul Harrenstein; Jérôme Lang; Michael J. Wooldridge (KR, 2016)

Hard and Soft Preparation Sets in Boolean Games. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (Stud Logica, 2016)

A note on the McKelvey uncovered set and Pareto optimality. - Felix Brandt 001; Christian Geist; Paul Harrenstein (Soc. Choice Welf., 2016)

Tournament Solutions. - Felix Brandt 001; Markus Brill; Paul Harrenstein (Handbook of Computational Social Choice, 2016)

Characterising the Manipulability of Boolean Games. - Paul Harrenstein; Paolo Turrini; Michael J. Wooldridge (IJCAI, 2017)

From model checking to equilibrium checking: Reactive modules for rational verification. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Artif. Intell., 2017)

Reasoning about equilibria in game-like concurrent systems. - Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Ann. Pure Appl. Log., 2017)

k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters. - Georg Bachmeier; Felix Brandt 001; Christian Geist; Paul Harrenstein; Keyvan Kardel; Dominik Peters; Hans Georg Seedig (CoRR, 2017)

Minimal extending sets in tournaments. - Felix Brandt 001; Paul Harrenstein; Hans Georg Seedig (Math. Soc. Sci., 2017)

Local Equilibria in Logic-Based Multi-Player Games. - Julian Gutierrez 001; Paul Harrenstein; Thomas Steeples; Michael J. Wooldridge (AAMAS, 2018)

Efficient Computation of Semivalues for Game-Theoretic Network Centrality. - Mateusz Krzysztof Tarkowski; Piotr L. Szczepanski; Tomasz P. Michalak; Paul Harrenstein; Michael J. Wooldridge (J. Artif. Intell. Res., 2018)

Extending tournament solutions. - Felix Brandt 001; Markus Brill; Paul Harrenstein (Soc. Choice Welf., 2018)

A Mathematical Analysis of an Election System Proposed by Gottlob Frege. - Paul Harrenstein; Marie-Louise Lackner; Martin Lackner (CoRR, 2019)

k-Majority digraphs and the hardness of voting with a constant number of voters. - Georg Bachmeier; Felix Brandt 001; Christian Geist; Paul Harrenstein; Keyvan Kardel; Dominik Peters; Hans Georg Seedig (J. Comput. Syst. Sci., 2019)

Nash Equilibrium and Bisimulation Invariance. - Julian Gutierrez 001; Paul Harrenstein; Giuseppe Perelli; Michael J. Wooldridge (Log. Methods Comput. Sci., 2019)

Fractional Hedonic Games. - Haris Aziz 001; Florian Brandl; Felix Brandt 001; Paul Harrenstein; Martin Olsen; Dominik Peters (ACM Trans. Economics and Comput., 2019)

Delegating Decisions in Strategic Settings. - Paul E. Dunne; Paul Harrenstein; Sarit Kraus; Michael J. Wooldridge (IEEE Trans. Artif. Intell., 2020)

A Hotelling-Downs Framework for Party Nominees. - Paul Harrenstein; Grzegorz Lisowski; Ramanujan Sridharan; Paolo Turrini (AAMAS, 2021)

Rational verification: game-theoretic verification of multi-agent systems. - Alessandro Abate; Julian Gutierrez 001; Lewis Hammond; Paul Harrenstein; Marta Kwiatkowska; Muhammad Najib; Giuseppe Perelli; Thomas Steeples; Michael J. Wooldridge (Appl. Intell., 2021)

Behavioural strategies in weighted Boolean games. - Dongge Han; Paul Harrenstein; Steven Nugent; Jonathan Philpott; Michael J. Wooldridge (Inf. Comput., 2021)

Expressiveness and Nash Equilibrium in Iterated Boolean Games. - Julian Gutierrez 001; Paul Harrenstein; Giuseppe Perelli; Michael J. Wooldridge (ACM Trans. Comput. Log., 2021)

Computing Nash Equilibria for District-based Nominations. - Paul Harrenstein; Paolo Turrini (AAMAS, 2022)

Partial Order Games. - Valeria Zahoransky; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (Games, 2022)

k-Prize Weighted Voting Game. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (AAMAS, 2023)

k-Prize Weighted Voting Games. - Wei-Chen Lee; David Hyland; Alessandro Abate; Edith Elkind; Jiarui Gan; Julian Gutierrez 001; Paul Harrenstein; Michael J. Wooldridge (CoRR, 2023)

On Imperfect Recall in Multi-Agent Influence Diagrams. - James Fox; Matt MacDermott; Lewis Hammond; Paul Harrenstein; Alessandro Abate; Michael J. Wooldridge (TARK, 2023)