Search the dblp DataBase
Marc Pauly: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Marc Pauly
From Programs to Games: Invariance and Safety for Bisimulation. [Citation Graph (0, 0)][DBLP]
CSL, 2000, pp:485-496 [Conf] - Helle Hvid Hansen, Marc Pauly
Axiomatising Nash-Consistent Coalition Logic. [Citation Graph (0, 0)][DBLP]
JELIA, 2002, pp:394-406 [Conf] - Marc Pauly
Programming and Verifying Subgame Perfect Mechanisms [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal] - Paul Dekker, Marc Pauly
Editorial: Logic and Games. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 2002, v:11, n:3, pp:287-288 [Journal] - Marc Pauly
A Modal Logic for Coalitional Power in Games. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2002, v:12, n:1, pp:149-166 [Journal] - Marc Pauly
Programming and Verifying Subgame-Perfect Mechanisms. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 2005, v:15, n:3, pp:295-316 [Journal] - Marc Pauly, Rohit Parikh
Editorial Introduction. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2003, v:75, n:2, pp:163-164 [Journal] - Marc Pauly, Rohit Parikh
Game Logic - An Overview. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2003, v:75, n:2, pp:165-182 [Journal]
Formal Methods and the Theory of Social Choice. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002