| 2013 | A Formal Framework for Property-Driven Obfuscation Strategies. Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi |
| 2013 | An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals. Eleftherios Matsikoudis, Edward A. Lee |
| 2013 | An O *(1.84 k ) Parameterized Algorithm for the Multiterminal Cut Problem. Yixin Cao, Jianer Chen, Jia-Hao Fan |
| 2013 | Approximation Algorithms for the Antenna Orientation Problem. Evangelos Kranakis, Fraser MacQuarrie, Oscar Morales-Ponce |
| 2013 | Cancellation-Free Circuits in Unbounded and Bounded Depth. Joan Boyar, Magnus Gausdal Find |
| 2013 | Complexity of Finding Maximum Regular Induced Subgraphs with Prescribed Degree. Yuichi Asahiro, Hiroshi Eto, Takehiro Ito, Eiji Miyano |
| 2013 | Decision Problems for Linear Recurrence Sequences. Joël Ouaknine |
| 2013 | Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks. Tomasz Jurdzinski, Dariusz R. Kowalski, Grzegorz Stachowiak |
| 2013 | Domination Analysis of Algorithms for Bipartite Boolean Quadratic Programs. Abraham P. Punnen, Piyashat Sripratak, Daniel Karapetyan |
| 2013 | Efficient Sampling of Non-strict Turnstile Data Streams. Neta Barkay, Ely Porat, Bar Shalem |
| 2013 | Expressivity of Time-Varying Graphs. Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita |
| 2013 | Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings Leszek Gasieniec, Frank Wolter |
| 2013 | Groups with a Recursively Enumerable Irreducible Word Problem. Gabriela Asli Rino Nesin, Richard M. Thomas |
| 2013 | Guarding Thin Orthogonal Polygons Is Hard. Ana Paula Tomás |
| 2013 | Improved Approximation Algorithms for Constrained Fault-Tolerant Resource Allocation - (Extended Abstract). Kewen Liao, Hong Shen, Longkun Guo |
| 2013 | Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree. Steven Chaplick, Jirí Fiala, Pim van 't Hof, Daniël Paulusma, Marek Tesar |
| 2013 | New Sequential and Parallel Algorithms for Computing the β-Spectrum. Miroslaw Kowaluk, Gabriela Majewska |
| 2013 | On Independence Domination. Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang |
| 2013 | On the Average Size of Glushkov and Equation Automata for KAT Expressions. Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
| 2013 | On the Complexity of Finding a Largest Common Subtree of Bounded Degree. Tatsuya Akutsu, Takeyuki Tamura, Avraham A. Melkman, Atsuhiro Takasu |
| 2013 | On the Isomorphism Problem for Decision Trees and Decision Lists. Vikraman Arvind, Johannes Köbler, Sebastian Kuhnert, Gaurav Rattan, Yadu Vasudev |
| 2013 | On the Structure of Equilibria in Basic Network Formation. Sotiris E. Nikoletseas, Panagiota N. Panagopoulou, Christoforos L. Raptopoulos, Paul G. Spirakis |
| 2013 | One Alternation Can Be More Powerful Than Randomization in Small and Fast Two-Way Finite Automata. Kaspars Balodis |
| 2013 | Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy. Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Elli Zavou |
| 2013 | Parameterized Complexity of Weak Odd Domination Problems. David Cattanéo, Simon Perdrix |
| 2013 | Randomized Distributed Decision (Invited Lecture Abstract). David Peleg |
| 2013 | Real-Time Vector Automata. Özlem Salehi, Abuzer Yakaryilmaz, A. C. Cem Say |
| 2013 | The Frequent Items Problem in Online Streaming under Various Performance Measures. Joan Boyar, Kim S. Larsen, Abyayananda Maiti |
| 2013 | The Lazy Bureaucrat Problem with Common Arrivals and Deadlines: Approximation and Mechanism Design. Laurent Gourvès, Jérôme Monnot, Aris Pagourtzis |
| 2013 | Together or Separate? Algorithmic Aggregation Problems. Marek Chrobak |