Marc Pauly

2008
12	EE	Marc Pauly: Formal Methods and the Theory of Social Choice. RelMiCS 2008: 1-2
11	EE	Fabrizio Cariani, Marc Pauly, Josh Snyder: Decision framing in judgment aggregation. Synthese 163(1): 1-24 (2008)
10	EE	Marc Pauly: On the role of language in social choice theory. Synthese 163(2): 227-243 (2008)
2007
9	EE	Marc Pauly: Axiomatizing collective judgment sets in a minimal logical language. Synthese 158(2): 233-250 (2007)
2005
8	EE	Marc Pauly: Programming and Verifying Subgame-Perfect Mechanisms. J. Log. Comput. 15(3): 295-316 (2005)
2003
7	EE	Marc Pauly, Rohit Parikh: Editorial Introduction. Studia Logica 75(2): 163-164 (2003)
6	EE	Marc Pauly, Rohit Parikh: Game Logic - An Overview. Studia Logica 75(2): 165-182 (2003)
2002
5	EE	Helle Hvid Hansen, Marc Pauly: Axiomatising Nash-Consistent Coalition Logic. JELIA 2002: 394-406
4	EE	Marc Pauly: Programming and Verifying Subgame Perfect Mechanisms CoRR cs.LO/0211002: (2002)
3	EE	Marc Pauly: A Modal Logic for Coalitional Power in Games. J. Log. Comput. 12(1): 149-166 (2002)
2		Paul Dekker, Marc Pauly: Editorial: Logic and Games. Journal of Logic, Language and Information 11(3): 287-288 (2002)
2000
1	EE	Marc Pauly: From Programs to Games: Invariance and Safety for Bisimulation. CSL 2000: 485-496

Coauthor Index

1	Fabrizio Cariani	[11]
2	Paul Dekker	[2]
3	Helle Hvid Hansen	[5]
4	Rohit Parikh	[6] [7]
5	Josh Snyder	[11]

Colors in the list of coauthors