|
Search the dblp DataBase
Emmanuel M. Tadjouddine:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Frank Guerin, Emmanuel M. Tadjouddine
Realising Common Knowledge Assumptions in Agent Auctions. [Citation Graph (0, 0)][DBLP] IAT, 2006, pp:579-586 [Conf]
- Emmanuel M. Tadjouddine
Complexity of Verifying Game Equilibria. [Citation Graph (0, 0)][DBLP] CEEMAS, 2007, pp:103-112 [Conf]
- Emmanuel M. Tadjouddine, Frank Guerin
Verifying Dominant Strategy Equilibria in Auctions. [Citation Graph (0, 0)][DBLP] CEEMAS, 2007, pp:288-297 [Conf]
Abstractions for model-checking game-theoretic properties of auctions. [Citation Graph (, )][DBLP]
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. [Citation Graph (, )][DBLP]
Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|