| 2011 | A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem. | Dai Tri Man Le, Stephen A. Cook, Yuli Ye |
| 2011 | Trees in Trees: Is the Incomplete Information about a Tree Consistent?. | Eryk Kopczynski |
| 2011 | Coalgebraic Derivations in Logic Programming. | Ekaterina Komendantskaya, John Power |
| 2011 | Decidability Issues for Two-Variable Logics with Several Linear Orders. | Emanuel Kieronski |
| 2011 | A Pumping Lemma for Collapsible Pushdown Graphs of Level 2. | Alexander Kartzow |
| 2011 | The Church Synthesis Problem with Metric. | Mark Jenkins, Jol Ouaknine, Alexander Rabinovich, James Worrell |
| 2011 | The Lax Braided Structure of Streaming I/O. | Alan Jeffrey, Julian Rathke |
| 2011 | L-Recursion and a new Logic for Logarithmic Space. | Martin Grohe, Berit Gruien, Andr Hernich, Bastian Laubner |
| 2011 | Degrees of Lookahead in Context-free Infinite Games. | Wladimir Fridman, Christof Lding, Martin Zimmermann |
| 2011 | Unifying Bchi Complementation Constructions. | Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke |
| 2011 | System T and the Product of Selection Functions. | Martn Htzel Escard, Paulo Oliva, Thomas Powell |
| 2011 | Non-Definability Results for Randomised First-Order Logic. | Kord Eickmeyer |
| 2011 | Resource Lambda-Calculus: the Differential Viewpoint. | Thomas Ehrhard |
| 2011 | On Constraint Satisfaction Problems below P. | Lszl Egri |
| 2011 | Enumeration Complexity of Logical Query Problems with Second-order Variables. | Arnaud Durand, Yann Strozecki |
| 2011 | A Semantic Approach to Illative Combinatory Logic. | Lukasz Czajka |
| 2011 | The Focused Calculus of Structures. | Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straburger |
| 2011 | Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2011 | A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo |
| 2011 | Tight Upper Bounds for Streett and Parity Complementation. | Yang Cai, Ting Zhang |
| 2011 | Full Abstraction for Resource Calculus with Tests. | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
| 2011 | Determinizing Discounted-Sum Automata. | Udi Boker, Thomas A. Henzinger |
| 2011 | Algebraic Characterization of FO for Scattered Linear Orderings. | Alexis Bs, Olivier Carton |
| 2011 | Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism. | Alexis Bernadet, Stphane Lengrand |
| 2011 | A Non-Standard Semantics for Kahn Networks in Continuous Time. | Romain Beauxis, Samuel Mimram |