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

Computing the Nucleolus of Weighted Voting Games
(with Dmitrii Pasechnik), SODA'09
Available at arXiv

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

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

Manipulating the Quota in Weighted Voting Games
(with Yoram Bachrach, Piotr Faliszewski, Michael Zuckerman), AAAI'08
Abstract

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

Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
(with Leslie Ann Goldberg, Paul Goldberg, and Michael Wooldridge),
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

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