Marc Pauly

18 papers B 2Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2014 J jnl
Can strategizing in round-robin subtournaments be avoided?
Soc. Choice Welf.
Marc Pauly
2012 — ch.
What Is Social Software?
Games, Actions and Social Software
Rohit Parikh, Marc Pauly
2009 — ed.
30th Annual Conference of the European Association for Computer Graphics, Eurographics 2009 - State of the Art Reports, Munich, Germany, March 30 - April 3, 2009
Eurographics (State of the Art Reports)
Marc Pauly, Günther Greiner
2008 J jnl
Decision framing in judgment aggregation.
Synth.
Fabrizio Cariani, Marc Pauly, Josh Snyder
2008 — conf
Formal Methods and the Theory of Social Choice.
RelMiCS
Marc Pauly
2008 J jnl
On the role of language in social choice theory.
Synth.
Marc Pauly
2007 J jnl
Axiomatizing collective judgment sets in a minimal logical language.
Synth.
Marc Pauly
2007 — ch.
Modal logic for games and information.
Handbook of Modal Logic
Wiebe van der Hoek, Marc Pauly
2006 J jnl
Logical Constraints on Judgement Aggregation.
J. Philos. Log.
Marc Pauly, Martin van Hees
2005 J jnl
Programming and Verifying Subgame-Perfect Mechanisms.
J. Log. Comput.
Marc Pauly
2003 J jnl
Editorial Introduction.
Stud Logica
Marc Pauly, Rohit Parikh
2003 J jnl
Game Logic - An Overview.
Stud Logica
Marc Pauly, Rohit Parikh
2002 J jnl
A Modal Logic for Coalitional Power in Games.
J. Log. Comput.
Marc Pauly
2002 B conf
Axiomatising Nash-Consistent Coalition Logic.
JELIA
Helle Hvid Hansen, Marc Pauly
2002 J jnl
Editorial: Logic and Games.
J. Log. Lang. Inf.
Paul Dekker, Marc Pauly
2002 J jnl
On the Complexity of Coalitional Reasoning.
IGTR
Marc Pauly
2002 J jnl
Programming and Verifying Subgame Perfect Mechanisms
CoRR
Marc Pauly
2000 B conf
From Programs to Games: Invariance and Safety for Bisimulation.
CSL
Marc Pauly