| 2013 | Feasible Combinatorial Matrix Theory. | Ariel Germn Fernndez, Michael Soltys |
| 2013 | Reachability Analysis of Recursive Quantum Markov Chains. | Yuan Feng, Nengkun Yu, Mingsheng Ying |
| 2013 | On the Recognition of Four-Directional Orthogonal Ray Graphs. | Stefan Felsner, George B. Mertzios, Irina Mustata |
| 2013 | Rent or Buy Problems with a Fixed Time Horizon. | Leah Epstein, Hanan Zebedat-Haider |
| 2013 | Bin Packing Games with Selfish Items. | Leah Epstein |
| 2013 | In-Place Binary Counters. | Amr Elmasry, Jyrki Katajainen |
| 2013 | Noninterference with Local Policies. | Sebastian Eggert, Henning Schnoor, Thomas Wilke |
| 2013 | Linear-Space Data Structures for Range Frequency Queries on Arrays and Trees. | Stephane Durocher, Rahul Shah, Matthew Skala, Sharma V. Thankachan |
| 2013 | Guarding Orthogonal Art Galleries Using Sliding Cameras: Algorithmic and Hardness Results. | Stephane Durocher, Saeed Mehrabi |
| 2013 | Complexity of Checking Bisimilarity between Sequential and Parallel Processes. | Wojciech Czerwinski, Petr Jancar, Martin Kot, Zdenek Sawa |
| 2013 | Paradigms for Parameterized Enumeration. | Nadia Creignou, Arne Meier, Julian-Steffen Mller, Johannes Schmidt, Heribert Vollmer |
| 2013 | Minimal Indices for Successor Search - (Extended Abstract). | Sarel Cohen, Amos Fiat, Moshik Hershcovitch, Haim Kaplan |
| 2013 | On Stochastic Games with Multiple Objectives. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche |
| 2013 | Probabilistic Automata with Isolated Cut-Points. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2013 | Alternation Trading Proofs and Their Limitations. | Sam Buss |
| 2013 | Learning Reductions to Sparse Sets. | Harry Buhrman, Lance Fortnow, John M. Hitchcock, Bruno Loff |
| 2013 | Semilinearity and Context-Freeness of Languages Accepted by Valence Automata. | P. Buckheister, Georg Zetzsche |
| 2013 | Random Shortest Paths: Non-euclidean Instances for Metric Optimization Problems. | Karl Bringmann, Christian Engels, Bodo Manthey, B. V. Raghavendra Rao |
| 2013 | Bringing Order to Special Cases of Klee's Measure Problem. | Karl Bringmann |
| 2013 | New Polynomial Cases of the Weighted Efficient Domination Problem. | Andreas Brandstdt, Martin Milanic, Ragnar Nevries |
| 2013 | Auctions for Partial Heterogeneous Preferences. | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
| 2013 | Validity of Tree Pattern Queries with Respect to Schema Information. | Henrik Bjrklund, Wim Martens, Thomas Schwentick |
| 2013 | On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing. | Christoph Berkholz, Oleg Verbitsky |
| 2013 | Determinacy and Rewriting of Top-Down and MSO Tree Transformations. | Michael Benedikt, Joost Engelfriet, Sebastian Maneth |
| 2013 | A Constant Factor Approximation for the Generalized Assignment Problem with Minimum Quantities and Unit Size Items. | Marco Bender, Clemens Thielen, Stephan Westphal |