| 2013 | Outsourced Pattern Matching. | Sebastian Faust, Carmit Hazay, Daniele Venturi |
| 2013 | Stochastic Context-Free Grammars, Regular Languages, and Newton's Method. | Kousha Etessami, Alistair Stewart, Mihalis Yannakakis |
| 2013 | A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market. | Ran Duan, Kurt Mehlhorn |
| 2013 | Clustering in the Boolean Hypercube in a List Decoding Regime. | Irit Dinur, Elazar Goldenberg |
| 2013 | Deterministic Polynomial Approach in the Plane. | Yoann Dieudonn, Andrzej Pelc |
| 2013 | Fast Collaborative Graph Exploration. | Dariusz Dereniowski, Yann Disser, Adrian Kosowski, Dominik Pajak, Przemyslaw Uznanski |
| 2013 | Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2013 | On the Complexity of Verifying Regular Properties on Flat Counter Systems, . | Stphane Demri, Amit Kumar Dhar, Arnaud Sangnier |
| 2013 | The Two-Handed Tile Assembly Model Is Not Intrinsically Universal. | Erik D. Demaine, Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller, Scott M. Summers, Damien Woods |
| 2013 | Combining Binary Search Trees. | Erik D. Demaine, John Iacono, Stefan Langerman, zgr zkan |
| 2013 | A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry. | Anindya De, Ilias Diakonikolas, Rocco A. Servedio |
| 2013 | Localization for a System of Colliding Robots. | Jurek Czyzowicz, Evangelos Kranakis, Eduardo Pacheco |
| 2013 | Efficient Separability of Regular Languages by Subsequences and Suffixes. | Wojciech Czerwinski, Wim Martens, Toms Masopust |
| 2013 | Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree. | Marek Cygan, Marcin Pilipczuk |
| 2013 | Counting Matchings of Size k Is W[1]-Hard. | Radu Curticapean |
| 2013 | Component Reconfiguration in the Presence of Conflicts. | Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro |
| 2013 | Price of Stability in Polynomial Congestion Games. | George Christodoulou, Martin Gairing |
| 2013 | From Security Protocols to Pushdown Automata. | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2013 | On Integrality Ratios for Asymmetric TSP in the Sherali-Adams Hierarchy. | Joseph Cheriyan, Zhihan Gao, Konstantinos Georgiou, Sahil Singla |
| 2013 | Block-Sorted Quantified Conjunctive Queries. | Hubie Chen, Dniel Marx |
| 2013 | Maximum Edge-Disjoint Paths in k-Sums of Graphs. | Chandra Chekuri, Guyslain Naves, F. Bruce Shepherd |
| 2013 | Self-shuffling Words. | Emilie Charlier, Teturo Kamae, Svetlana Puzynina, Luca Q. Zamboni |
| 2013 | New Doubling Spanners: Better and Simpler. | T.-H. Hubert Chan, Mingfei Li, Li Ning, Shay Solomon |
| 2013 | On Revenue Maximization for Agents with Costly Information Acquisition - Extended Abstract. | L. Elisa Celis, Dimitrios C. Gklezakos, Anna R. Karlin |
| 2013 | Coalgebraic Announcement Logics. | Facundo Carreiro, Daniel Gorn, Lutz Schrder |