Auctions

Approximating Mixed Nash Equilibria Using Smooth Fictitious Play in Simultaneous Auctions (short paper)
(with Enrico Gerding, Andrew Byde, Zinovi Rabinovich, and Nick Jennings),
7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08).
Abstract, PDF

Maximizing Revenue in Sequential Auctions (with Shaheen Fatima), WINE'07
Abstract, PDF

Frugality Ratios And Improved Truthful Mechanisms for Vertex Cover
(with Leslie Ann Goldberg and Paul W. Goldberg), ACM EC'07,
Abstract, available at arXiv

Designing And Learning Optimal Finite Support Auctions, SODA'07
(earlier version in DIMACS Workshop on Computational Issues in Auction Design, October 7 - 8, 2004)
Abstract, PDF, PS

True Costs of Cheap Labor Are Hard To Measure:
Edge Deletion and VCG Payments in Graphs, ACM EC'05
Abstract, PDF, PS

Frugality in Path Auctions (with Amit Sahai and Ken Steiglitz), SODA'04
Abstract, PDF, PS

Coalitional Games

The Cost of Stability and Its Application to Weighted Voting Games
(with Yoram Bachrach, Reshef Meir, Dmitrii Pasechnik, Michael Zuckerman, Joerg Rothe, and Jeffrey Rosenschein), SAGT'09

Simple Coalitional Games with Beliefs
(with Georgios Chalkiadakis and Nicholas R. Jennings), IJCAI'09

Hedonic Coalition Nets
(with Michael Wooldridge), AAMAS'09
PDF

Boolean Combinations of Weighted Voting Systems
(with Piotr Faliszewski and Michael Wooldridge), AAMAS'09
PDF

The Price of Democracy in Coalition Formation
(with Georgios Chalkiadakis, Maria Polukarov and Nicholas R. Jennings), AAMAS'09
PDF

Computing the Nucleolus of Weighted Voting Games
(with Dmitrii Pasechnik), SODA'09
HREF="http://arxiv.org/abs/0808.0298"> Available at arXiv

Overlapping Coalition Formation
(with Georgios Chalkiadakis, Vangelis Markakis, and Nicholas R. Jennings), WINE'08
Abstract, PDF

Coalition Structures in Weighted Voting Games
(with Georgios Chalkiadakis and Nicholas R. Jennings), ECAI'08
Abstract, PDF

On the Dimensionality of Voting Games
(with Leslie Ann Goldberg, Paul Goldberg, and Michael Wooldridge), AAAI'08
Abstract, PDF

Divide and Conquer: False-Name Manipulations in Weighted Voting Games (with Yoram Bachrach),
7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08).
Abstract, PDF

Computational Complexity of Weighted Threshold Games
(with Leslie Ann Goldberg, Paul W. Goldberg, and Michael Wooldridge), AAAI'07
Abstract, PDF

Graphical games

Computing Good Nash Equilibria in Graphical Games
(with Leslie Ann Goldberg and Paul W. Goldberg), ACM EC'07, available at arXiv

Nash Equilibria in Graphical Games on Trees Revisited
(with Leslie Ann Goldberg and Paul W. Goldberg), ACM EC'06, available at ECCC

Voting

Swap Bribery
(with Piotr Faliszewski and Arkadii Slinko), SAGT'09

On Distance Rationalizability of Some Voting Rules
(with Piotr Faliszewski and Arkadii Slinko), TARK'09

Hybrid Voting Protocols and Hardness of Manipulation (with Helger Lipmaa), ISAAC'05 (ps, pdf)
(also in SING'05, Maastricht, and COMSOC'06, Amsterdam)

Small Coalitions Cannot Manipulate Voting (with Helger Lipmaa),
Proc. Financial Cryptography (FC'05), 2005 (ps, pdf)
(earlier version in
DIMACS Workshop on Electronic Voting -- Theory and Practice, May 26-27, 2004,
under the title "How Hard Is It To Manipulate Voting?")

Formal methods

Quantifying the Discord: Order Discrepancies in Message Sequence Charts
(with Blaise Genest, Doron Peled, and Paola Spoletini), ATVA'07 (pdf)

On Commutativity Based Edge Lean Search
(with Dragan Bosnacki, Blaise Genest, and Doron Peled), ICALP'07 (Track A) (ps)

Detecting Races in Ensembles of Message Sequence Charts
(with Blaise Genest and Doron Peled), TACAS'07 (pdf)

Grey-Box Checking (with Blaise Genest, Doron Peled, and Hongyang Qu), FORTE'06 (ps)

Crypto

Interleaving Cryptography and Mechanism Design:
the Case of Online Auctions (with Helger Lipmaa),
Proc. Financial Cryptography (FC'04), 2004, available at ePrint

A Unified Methodology for Constructing Public-Key Encryption Schemes
Secure Against Adaptive Chosen-Ciphertext Attack (with Amit Sahai), available at ePrint