| 2010 | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
| 2010 | The Recognition of Tolerance and Bounded Tolerance Graphs. | George B. Mertzios, Ignasi Sau, Shmuel Zaks |
| 2010 | Online Correlation Clustering. | Claire Mathieu, Ocan Sankur, Warren Schudy |
| 2010 | Treewidth Reduction for Constrained Separation and Bipartization Problems. | Dniel Marx, Barry O'Sullivan, Igor Razgon |
| 2010 | Table of Contents - 27th International Symposium on Theoretical Aspects of Computer Science. | Jean-Yves Marion, Thomas Schwentick |
| 2010 | Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science. | Jean-Yves Marion, Thomas Schwentick |
| 2010 | Is Ramsey's Theorem omega-automatic?. | Dietrich Kuske |
| 2010 | Holant Problems for Regular Graphs with Complex Edge Functions. | Michael Kowalczyk, Jin-yi Cai |
| 2010 | Approximate Shortest Paths Avoiding a Failed Vertex: Optimal Size Data Structures for Unweighted Graphs. | Neelesh Khanna, Surender Baswana |
| 2010 | Collapsible Pushdown Graphs of Level 2 are Tree-Automatic. | Alexander Kartzow |
| 2010 | On Equations over Sets of Integers. | Artur Jez, Alexander Okhotin |
| 2010 | Randomized Algorithm for Agreeable Deadlines Packet Scheduling. | Lukasz Jez |
| 2010 | Weakening Assumptions for Deterministic Subexponential Time Non-Singular Matrix Completion. | Maurice J. Jansen |
| 2010 | On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity. | Edward A. Hirsch, Dmitry Itsykson |
| 2010 | Revisiting the Rice Theorem of Cellular Automata. | Pierre Guillon, Gatan Richard |
| 2010 | Collapsing and Separating Completeness Notions under Average-Case and Worst-Case Hypotheses. | Xiaoyang Gu, John M. Hitchcock, Aduri Pavan |
| 2010 | Evolving Multialgebras Unify All Usual Sequential Computation Models. | Serge Grigorieff, Pierre Valarcher |
| 2010 | Branching-time Model Checking of One-counter Processes. | Stefan Gller, Markus Lohrey |
| 2010 | An Efficient Quantum Algorithm for Some Instances of the Group Isomorphism Problem. | Franois Le Gall |
| 2010 | Inseparability and Strong Hypotheses for Disjoint NP Pairs. | Lance Fortnow, Jack H. Lutz, Elvira Mayordomo |
| 2010 | Finding Induced Subgraphs via Minimal Triangulations. | Fedor V. Fomin, Yngve Villanger |
| 2010 | The k-in-a-path Problem for Claw-free Graphs. | Jir Fiala, Marcin Kaminski, Bernard Lidick, Danil Paulusma |
| 2010 | Computing Least Fixed Points of Probabilistic Systems of Polynomials. | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
| 2010 | Improved Approximation Guarantees for Weighted Matching in the Semi-Streaming Model. | Leah Epstein, Asaf Levin, Julin Mestre, Danny Segev |
| 2010 | The Complexity of the List Homomorphism Problem for Graphs. | Lszl Egri, Andrei A. Krokhin, Benot Larose, Pascal Tesson |