Dr Carmine Ventre

Serafino, P. and Ventre, C., (2016). Heterogeneous facility location without money. Theoretical Computer Science. 636, 27-46

Krysta, P. and Ventre, C., (2015). Combinatorial auctions with verification are tractable. Theoretical Computer Science. 571 (C), 21-35

Krysta, P., Telelis, O. and Ventre, C., (2015). Mechanisms for Multi-unit Combinatorial Auctions with a Few Distinct Goods. Journal of Artificial Intelligence Research. 53, 721-744

Penna, P. and Ventre, C., (2014). Optimal collusion-resistant mechanisms with verification. Games and Economic Behavior. 86, 491-509

Grandoni, F., Krysta, P., Leonardi, S. and Ventre, C., (2014). Utilitarian Mechanism Design for Multiobjective Optimization. SIAM Journal on Computing. 43 (4), 1263-1290

Ventre, C., (2014). Truthful optimization using mechanisms with verification. Theoretical Computer Science. 518, 64-79

Goldberg, PW., Savani, R., Sørensen, TB. and Ventre, C., (2013). On the approximation performance of fictitious play in finite games. International Journal of Game Theory. 42 (4), 1059-1083

Goldberg, LA., Goldberg, PW., Krysta, P. and Ventre, C., (2013). Ranking games that have competitiveness-based strategies. Theoretical Computer Science. 476, 24-37

Briest, P., Gualà, L., Hoefer, M. and Ventre, C., (2012). On stackelberg pricing with computationally bounded customers. Networks. 60 (1), 31-44

Penna, P. and Ventre, C., (2012). Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions. ACM Transactions on Computation Theory. 4 (2), 1-17

Auletta, V., Penna, P., Persiano, G. and Ventre, C., (2011). Alternatives to truthfulness are hard to recognize. Autonomous Agents and Multi-Agent Systems. 22 (1), 200-216

Auletta, V., Penna, P., Persiano, G. and Ventre, C., (2011). A response to “Mechanism Design with Partial Verification and Revelation Principle”. Autonomous Agents and Multi-Agent Systems. 22 (1), 224-224

Ferrante, A., Parlato, G., Sorrentino, F. and Ventre, C., (2009). Fast payment schemes for truthful mechanisms with verification. Theoretical Computer Science. 410 (8-10), 886-899

Penna, P. and Ventre, C., (2004). Sharing the cost of multicast transmissions in wireless networks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3104, 255-266

Ferraioli, D. and Ventre, C., (2017). Obvious strategyproofness needs monitoring for good approximations (extended abstract)

Ferraioli, D., Serafino, P. and Ventre, C., (2016). What to Verify for Optimal Truthful Mechanisms without Money

Gatti, N., Rocco, M., Serafino, P. and Ventre, C., (2016). Towards better models of externalities in sponsored search auctions

Serafino, P. and Ventre, C., (2015). Truthful mechanisms without money for non-utilitarian heterogeneous facility location

Ferraioli, D., Ventre, C. and Aranyi, G., (2015). A mechanism design approach to measure awareness

Kovács, A., Meyer, U. and Ventre, C., (2015). Mechanisms with monitoring for truthful RAM allocation

Krysta, P., Telelis, O. and Ventre, C., (2015). Near-optimal approximation mechanisms for multi-unit combinatorial auctions

Gatti, N., Rocco, M., Serafino, P. and Ventre, C., (2015). Cascade model with contextual externalities and bounded user memory for sponsored search auctions

Fotakis, D., Krysta, P. and Ventre, C., (2015). The power of verification for greedy mechanism design

Ferraioli, D. and Ventre, C., (2015). Metastability of asymptotically well-behaved potential games

Serafino, P. and Ventre, C., (2014). Heterogeneous facility location without money on the line

Serafino, P. and Ventre, C., (2014). Truthful mechanisms for the location of different facilities

Fotakis, D., Krysta, P. and Ventre, C., (2014). Combinatorial Auctions without money

Goldberg, PW. and Ventre, C., (2013). Using lotteries to approximate the optimal revenue

Krysta, P., Telelis, O. and Ventre, C., (2013). Mechanisms for multi-unit combinatorial auctions with a few distinct goods

Ferraioli, D., Goldberg, PW. and Ventre, C., (2012). Decentralized dynamics for finite opinion games

Goldberg, PW., Savani, R., Sørensen, TB. and Ventre, C., (2011). On the approximation performance of fictitious play in finite games

Grandoni, F., Krysta, P., Leonardi, S. and Ventre, C., (2010). Utilitarian mechanism design for multi-objective optimization

Goldberg, LA., Goldberg, PW., Krysta, P. and Ventre, C., (2010). Ranking games that have competitiveness-based strategies

Krysta, P. and Ventre, C., (2010). Combinatorial auctions with verification are tractable

Briest, P., Hoefer, M., Gualà, L. and Ventre, C., (2009). On stackelberg pricing with computationally bounded consumers

Ventre, C. and Visconti, I., (2009). Co-sound zero-knowledge with public keys

Penna, P. and Ventre, C., (2009). Optimal collusion-resistant mechanisms with verification

Ventre, C. and Visconti, I., (2008). Completely non-malleable encryption revisited

Auletta, V., Penna, P., Persiano, G. and Ventre, C., (2008). Alternatives to truthfulness are hard to recognize

Penna, P. and Ventre, C., (2008). Collusion-resistant mechanisms with verification yielding optimal solutions

Auletta, V., De Prisco, R., Penna, P., Persiano, G. and Ventre, C., (2006). New constructions of mechanisms with verification

Ventre, C., (2006). Mechanisms with verification for any finite domain

Penna, P. and Ventre, C., (2006). The algorithmic structure of group strategyproof budget-balanced cost-sharing mechanisms

Ferrante, A., Parlato, G., Sorrentino, F. and Ventre, C., (2006). Improvements for truthful mechanisms with verifiable one-parameter selfish agents

Penna, P. and Ventre, C., (2005). Free-riders in steiner tree cost-sharing games

Penna, P. and Ventre, C., (2005). More powerful and simpler cost-sharing methods (when cross-monotonicity is the wrong way)

Penna, P. and Ventre, C., (2004). Energy-efficient broadcasting in ad-hoc networks: Combining MSTs with shortest-path trees