| 2012 | Complexity of Complexity and Maximal Plain versus Prefix-Free Kolmogorov Complexity. | Bruno Bauwens |
| 2012 | Nearly Simultaneously Resettable Black-Box Zero Knowledge. | Joshua Baron, Rafail Ostrovsky, Ivan Visconti |
| 2012 | Secretary Problems with Convex Costs. | Siddharth Barman, Seeun Umboh, Shuchi Chawla, David L. Malec |
| 2012 | On the Locality of Some NP-Complete Problems. | Leonid Barenboim |
| 2012 | Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs. | Reuven Bar-Yehuda, Erez Kantor, Shay Kutten, Dror Rawitz |
| 2012 | On Multiple Keyword Sponsored Search Auctions with Budgets. | Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi, Martin Starnberger |
| 2012 | Clustering under Perturbation Resilience. | Maria-Florina Balcan, Yingyu Liang |
| 2012 | Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups - (Extended Abstract). | Lszl Babai, Paolo Codenotti, Youming Qiao |
| 2012 | Efficient Submodular Function Maximization under Linear Packing Constraints. | Yossi Azar, Iftah Gamzu |
| 2012 | Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers. | Albert Atserias, Anuj Dawar |
| 2012 | Causal Graph Dynamics. | Pablo Arrighi, Gilles Dowek |
| 2012 | Quantum Strategies Are Better Than Classical in Almost Any XOR Game. | Andris Ambainis, Arturs Backurs, Kaspars Balodis, Dmitrijs Kravcenko, Raitis Ozols, Juris Smotrovs, Madars Virza |
| 2012 | Streaming Tree Transducers. | Rajeev Alur, Loris D'Antoni |
| 2012 | The NOF Multiparty Communication Complexity of Composed Functions. | Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen |
| 2012 | Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method. | Dimitris Achlioptas, Ricardo Menchaca-Mndez |
| 2012 | Algebraic Synchronization Trees and Processes. | Luca Aceto, Arnaud Carayol, Zoltn sik, Anna Inglfsdttir |
| 2011 | Automata-Based CSL Model Checking. | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
| 2011 | A Progress Measure for Explicit-State Probabilistic Model-Checkers. | Xin Zhang, Franck van Breugel |
| 2011 | On the Power of Lower Bound Methods for One-Way Quantum Communication Complexity. | Shengyu Zhang |
| 2011 | On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids. | Georg Zetzsche |
| 2011 | Buyback Problem - Approximate Matroid Intersection with Cancellation Costs. | Ashwinkumar Badanidiyuru Varadaraja |
| 2011 | Programming with Infinitesimals: A While-Language for Hybrid System Modeling. | Kohei Suenaga, Ichiro Hasuo |
| 2011 | An Introduction to Randomness Extractors. | Ronen Shaltiel |
| 2011 | Multiply-Recursive Upper Bounds with Higman's Lemma. | Sylvain Schmitz, Philippe Schnoebelen |
| 2011 | Krivine Machines and Higher-Order Schemes. | Sylvain Salvati, Igor Walukiewicz |