| 2013 | (1 + Mingfei Li, Chu Chung Christopher Ma, Li Ning |
| 2013 | A Notion of a Computational Step for Partial Combinatory Algebras. Nathanael L. Ackerman, Cameron E. Freer |
| 2013 | An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure. Mingyu Xiao, Hiroshi Nagamochi |
| 2013 | Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive. Raghav Kulkarni, Youming Qiao, Xiaoming Sun |
| 2013 | Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem. Andreas Bley, S. Mehdi Hashemi, Mohsen Rezapour |
| 2013 | Computing with and without Arbitrary Large Numbers. Michael Brand |
| 2013 | Efficient Self-pairing on Ordinary Elliptic Curves. Hongfeng Wu, Rongquan Feng |
| 2013 | Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimentional Arrays. Akira Suzuki, Kei Uchizawa, Xiao Zhou |
| 2013 | Grey-Box Public-Key Steganography. Hirotoshi Takebe, Keisuke Tanaka |
| 2013 | Group Nearest Neighbor Queries in the Hee-Kap Ahn, Sang Won Bae, Wanbin Son |
| 2013 | Linear Vertex-kernels for Several Dense Ranking Anthony Perez |
| 2013 | Minimax Regret 1-Sink Location Problems in Dynamic Path Networks. Siu-Wing Cheng, Yuya Higashikawa, Naoki Katoh, Guanqun Ni, Bing Su, Yinfeng Xu |
| 2013 | Modelling the Power Supply Network - Hardness and Approximation. Alexandru Popa |
| 2013 | Non-crossing Connectors in the Plane. Jan Kratochvíl, Torsten Ueckerdt |
| 2013 | Obnoxious Facility Game with a Bounded Service Range. Yukun Cheng, Qiaoming Han, Wei Yu, Guochuan Zhang |
| 2013 | On Efficient Constructions of Short Lists Containing Mostly Ramsey Graphs. Marius Zimand |
| 2013 | On Martin-Löf Convergence of Solomonoff's Mixture. Tor Lattimore, Marcus Hutter |
| 2013 | On Parameterized and Kernelization Algorithms for the Hierarchical Clustering Problem. Yixin Cao, Jianer Chen |
| 2013 | On the Boundedness Property of Semilinear Sets. Oscar H. Ibarra, Shinnosuke Seki |
| 2013 | On the Sublinear Processor Gap for Parallel Architectures. Alejandro López-Ortiz, Alejandro Salinger |
| 2013 | Online Scheduling on a CPU-GPU Cluster. Lin Chen, Deshi Ye, Guochuan Zhang |
| 2013 | Priority Queues and Sorting for Read-Only Data. Tetsuo Asano, Amr Elmasry, Jyrki Katajainen |
| 2013 | Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs. Andrew Chester, Riccardo Dondi, Anthony Wirth |
| 2013 | Selection by Recursively Enumerable Sets. Wolfgang Merkle, Frank Stephan, Jason Teutsch, Wei Wang, Yue Yang |
| 2013 | Temperature Aware Online Algorithms for Minimizing Flow Time. Martin Birks, Stanley P. Y. Fung |
| 2013 | The Algorithm for the Two-Sided Scaffold Filling Problem. Nan Liu, Daming Zhu |
| 2013 | Theory and Applications of Models of Computation, 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings T.-H. Hubert Chan, Lap Chi Lau, Luca Trevisan |
| 2013 | Throughput Maximization for Speed-Scaling with Agreeable Deadlines. Eric Angel, Evripidis Bampis, Vincent Chau, Dimitrios Letsios |
| 2013 | Trees in Graphs with Conflict Edges or Forbidden Transitions. Mamadou Moustapha Kanté, Christian Laforest, Benjamin Momège |
| 2013 | Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer. Olivier Bournez, Daniel Silva Graça, Amaury Pouly |
| 2013 | Vector Connectivity in Graphs. Endre Boros, Pinar Heggernes, Pim van 't Hof, Martin Milanic |
| 2013 | k-means++ under Approximation Stability. Manu Agarwal, Ragesh Jaiswal, Arindam Pal |