From Programs to Games: Invariance and Safety for Bisimulation. - Marc Pauly (CSL, 2000)

Axiomatising Nash-Consistent Coalition Logic. - Helle Hvid Hansen; Marc Pauly (JELIA, 2002)

On the Complexity of Coalitional Reasoning. - Marc Pauly (IGTR, 2002)

Editorial: Logic and Games. - Paul Dekker; Marc Pauly (J. Log. Lang. Inf., 2002)

A Modal Logic for Coalitional Power in Games. - Marc Pauly (J. Log. Comput., 2002)

Editorial Introduction. - Marc Pauly; Rohit Parikh (Stud Logica, 2003)

Game Logic - An Overview. - Marc Pauly; Rohit Parikh (Stud Logica, 2003)

Programming and Verifying Subgame-Perfect Mechanisms. - Marc Pauly (J. Log. Comput., 2005)

Logical Constraints on Judgement Aggregation. - Marc Pauly; Martin van Hees (J. Philos. Log., 2006)

Modal logic for games and information. - Wiebe van der Hoek; Marc Pauly (Handbook of Modal Logic, 2007)

Axiomatizing collective judgment sets in a minimal logical language. - Marc Pauly (Synth., 2007)

Formal Methods and the Theory of Social Choice. - Marc Pauly (RelMiCS, 2008)

Decision framing in judgment aggregation. - Fabrizio Cariani; Marc Pauly; Josh Snyder (Synth., 2008)

On the role of language in social choice theory. - Marc Pauly (Synth., 2008)

What Is Social Software? - Rohit Parikh; Marc Pauly (Games, Actions and Social Software, 2012)

Can strategizing in round-robin subtournaments be avoided? - Marc Pauly (Soc. Choice Welf., 2014)