Marc Pauly

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Topics

Scheduling Policies

Digital Libraries

Graph Colouring

Top Venues

Soc. Choice Welf.

Publications

Marc Pauly
Can strategizing in round-robin subtournaments be avoided? Soc. Choice Welf. 43 (1) (2014)
Fabrizio Cariani, Marc Pauly, Josh Snyder
Decision framing in judgment aggregation. Synth. 163 (1) (2008)
Marc Pauly
On the role of language in social choice theory. Synth. 163 (2) (2008)
Marc Pauly
Formal Methods and the Theory of Social Choice. RelMiCS (2008)
Marc Pauly
Axiomatizing collective judgment sets in a minimal logical language. Synth. 158 (2) (2007)
Marc Pauly, Martin van Hees
Logical Constraints on Judgement Aggregation. J. Philos. Log. 35 (6) (2006)
Marc Pauly
Programming and Verifying Subgame-Perfect Mechanisms. J. Log. Comput. 15 (3) (2005)
Marc Pauly, Rohit Parikh
Editorial Introduction. Stud Logica 75 (2) (2003)
Marc Pauly, Rohit Parikh
Game Logic - An Overview. Stud Logica 75 (2) (2003)
Marc Pauly
On the Complexity of Coalitional Reasoning. IGTR 4 (3) (2002)
Paul Dekker, Marc Pauly
Editorial: Logic and Games. J. Log. Lang. Inf. 11 (3) (2002)
Helle Hvid Hansen, Marc Pauly
Axiomatising Nash-Consistent Coalition Logic. JELIA (2002)
Marc Pauly
A Modal Logic for Coalitional Power in Games. J. Log. Comput. 12 (1) (2002)
Marc Pauly
Programming and Verifying Subgame Perfect Mechanisms CoRR (2002)
Marc Pauly
From Programs to Games: Invariance and Safety for Bisimulation. CSL (2000)