Author:
Dolev Shlomi,Panagopoulou Panagiota N.,Rabie Mikaël,Schiller Elad M.,Spirakis Paul G.
Publisher
Springer International Publishing
Reference32 articles.
1. Aumann, R.J.: Subjectivity and correlation in randomized strategies. J. Math. Econ. 1(1), 67–96 (1974)
2. Bertot, Y., Castéran, P., Huet, G., Paulin-Mohring, C., Pierre, C.: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions. Springer, New York (2004)
3. Brânzei, S., Procaccia, A.D.: Verifiably truthful mechanisms. CoRR abs/1412.0056 (2014)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence),2007
5. Coy, P.: The secret to google’s success. Business Week/Bloomberg L.P., 6 March 2006. (ts innovative auction system has ad revenues soaring)