Mathematics - Microsoft Research

Project

The Verification Corner

The Verification Corner is a video series on YouTube that explains different concepts of software verification. Stepwise refinement – 10/8/2010: In this episode, Kuat Yessenov and Rustan Leino, Principal Researcher in the Research in…

Publication

Beyond Equilibria: Mechanisms for Repeated Combinatorial Auctions

Brendan Lucier

Innovations in Theoretical Computer Science (ITCS) 2010 | January 2010

Publication

Incentives in Online Auctions via Linear Programming

Niv Buchbinder, Kamal Jain, Mohit Singh

In Proceedings of Sixth Workshop on Internet and Network Economics (WINE) | January 2010

Publication

The Probabilistic Niche Model Reveals the Niche Structure and Role of Body Size in a Complex Food Web

Drew Purves, Rich Williams

PLoS-One | January 2010, Vol 5

Publication

Measuring population growth around tropical protected areas: current issues and solutions

Lucas Joppa, Scott R. Loarie, Andrew Nelson

Tropical Conservation Science | January 2010, Vol 3: pp. 117-121

Publication

Re-assessing The Forest Impacts of Protection: The challenge of non-random location & a corrective method.

Lucas Joppa, Alexander Pfaff

Annual Review of Ecological Economics | January 2010, Vol 1185: pp. 135-149

Publication

Group decisions and individual differences: route fidelity predicts flight leadership in homing pigeons (Columba livia)

Biology Letters | January 2010

doi: 10.1098/rsbl.2010.0627

Publication

Querying Approximate Shortest Paths in Anisotropic Regions

Yajun Wang

SIAM J. COMPUTING | January 2010, Vol 39(5): pp. 1888-1918

Publication

Emergence of Cooperation in Anonymous Social Networks Through Social Capital

Nicole Immorlica, Brendan Lucier, Brian Rogers

ACM Conference on Electronic Commerce 2010 and Workshop on Information in Networks (WIN) 2010 | January 2010

Publication

Termination Graphs for Java Bytecode

Marc Brockschmidt, Carsten Otto, Christian von Essen, Juergen Giesl

Verification, Induction, Termination Analysis | January 2010