| 2019 | AAAI | Partial Verification as a Substitute for Money. | Sofia Ceppi, Ian A. Kash, Rafael M. Frongillo |
| 2017 | SAC | SmartOrch: an adaptive orchestration system for human-machine collectives. | Michael Rovatsos, Dimitrios I. Diochnos, Zhenyu Wen, Sofia Ceppi, Pavlos Andreadis |
| 2016 | IJCAI | Online Mechanism Design for Vehicle-to-Grid Car Parks. | Enrico H. Gerding, Sebastian Stein, Sofia Ceppi, Valentin Robu |
| 2016 | WWW | Mechanism Design for Mixed Bidders. | Yoram Bachrach, Sofia Ceppi, Ian A. Kash, Peter B. Key, Mohammad Reza Khani |
| 2014 | AAAI | Mechanism Design for Mobile Geo-Location Advertising. | Nicola Gatti, Marco Rocco, Sofia Ceppi, Enrico H. Gerding |
| 2012 | AAMAS | Merging multiple information sources in federated sponsored search auctions. | Sofia Ceppi, Enrico H. Gerding, Nicola Gatti |
| 2012 | WWW | A revenue sharing mechanism for federated search and advertising. | Marco Brambilla, Sofia Ceppi, Nicola Gatti, Enrico H. Gerding |
| 2011 | AAAI | Mechanism Design for Federated Sponsored Search Auctions. | Sofia Ceppi, Nicola Gatti, Enrico H. Gerding |
| 2010 | AAAI | Mathematical Programming Formulations to Compute Steady States in Two-Player Extensive-Form Games. | Nicola Gatti, Sofia Ceppi, Fabio Panozzo |