| 2008 | ||
|---|---|---|
| 9 | EE | Marc Pauly: Formal Methods and the Theory of Social Choice. RelMiCS 2008: 1-2 |
| 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 |
| 1 | Paul Dekker | [2] |
| 2 | Helle Hvid Hansen | [5] |
| 3 | Rohit Parikh | [6] [7] |