| 2012 | A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs. Martin Nehéz, Daniel Olejár, Michal Demetrian |
| 2012 | A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks. Jin Li, Weiyi Liu, Kun Yue |
| 2012 | A Refined Exact Algorithm for Edge Dominating Set. Mingyu Xiao, Hiroshi Nagamochi |
| 2012 | A Structural Approach to Prophecy Variables. Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li |
| 2012 | A Surprisingly Simple Way of Reversing Trace Distance via Entanglement. Jun Yan |
| 2012 | An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval. Xiao Yang, Florian Sikora, Guillaume Blin, Sylvie Hamel, Romeo Rizzi, Srinivas Aluru |
| 2012 | An Application of 1-Genericity in the $\Pi^0_2$ Enumeration Degrees. Liliana Badillo, Charles M. Harris |
| 2012 | An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. Shuling Wang, Naijun Zhan, Dimitar P. Guelev |
| 2012 | Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms. Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire |
| 2012 | Asymptotic Limits of a New Type of Maximization Recurrence with an Application to Bioinformatics. Kun-Mao Chao, An-Chiang Chu, Jesper Jansson, Richard S. Lemence, Alban Mancheron |
| 2012 | Automatic Verification of Real-Time Systems with Rich Data: An Overview. Ernst-Rüdiger Olderog |
| 2012 | Bisection (Band)Width of Product Networks with Application to Data Centers. Jordi Arjona Aroca, Antonio Fernández Anta |
| 2012 | Computationally-Fair Group and Identity-Based Key-Exchange. Andrew C. Yao, Yunlei Zhao |
| 2012 | Computing Bits of Algebraic Numbers. Samir Datta, Rameshwar Pratap |
| 2012 | Computing Error Distance of Reed-Solomon Codes. Guizhen Zhu, Daqing Wan |
| 2012 | Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. Denys Duchier, Jérôme Durand-Lose, Maxime Senot |
| 2012 | Constant-Time Approximation Algorithms for the Knapsack Problem. Hiro Ito, Susumu Kiyoshima, Yuichi Yoshida |
| 2012 | Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields. Jun Zhang, Fang-Wei Fu |
| 2012 | Coordination Mechanisms for Selfish Parallel Jobs Scheduling - (Extended Abstract). Deshi Ye, Guochuan Zhang |
| 2012 | Deterministic Distributed Data Aggregation under the SINR Model. Nathaniel Hobbs, Yuexuan Wang, Qiang-Sheng Hua, Dongxiao Yu, Francis C. M. Lau |
| 2012 | Electron Tomography and Multiscale Biology. Albert F. Lawrence, Sebastien Phan, Mark H. Ellisman |
| 2012 | Energy-Efficient Network Routing with Discrete Cost Functions. Lin Wang, Antonio Fernández Anta, Fa Zhang, Chenying Hou, Zhiyong Liu |
| 2012 | FPT Results for Signed Domination. Ying Zheng, Jianxin Wang, Qilong Feng, Jianer Chen |
| 2012 | Finite Automata over Structures - (Extended Abstract). Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
| 2012 | From Turing Machine to Morphogenesis: Forming and Informing Computation. S. Barry Cooper |
| 2012 | Hardness and Approximation of the Asynchronous Border Minimization Problem - (Extended Abstract). Alexandru Popa, Prudence W. H. Wong, Fencol C. C. Yung |
| 2012 | Holographic Algorithms on Domain Size k > 2. Zhiguo Fu, Jin-Yi Cai |
| 2012 | Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations. Beate Bollig, Marc Gillé, Tobias Pröger |
| 2012 | Improved FPT Algorithms for Rectilinear k-Links Spanning Path. Jianxin Wang, Jinyi Yao, Qilong Feng, Jianer Chen |
| 2012 | Interaction and Collective Intelligence on the Internet. Deyi Li, Liwei Huang |
| 2012 | Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices. Jingguo Bi, Qi Cheng |
| 2012 | Minimum Certificate Dispersal with Tree Structures. Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada |
| 2012 | Multiple Usage of Random Bits in Finite Automata. Rusins Freivalds |
| 2012 | On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data. Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2012 | On the Impact of Turing Machines. John E. Hopcroft |
| 2012 | Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines. Sheng Yu, Jude-Thaddeus Ojiaku, Prudence W. H. Wong, Yinfeng Xu |
| 2012 | Online Optimization of Busy Time on Parallel Machines - (Extended Abstract). Mordechai Shalom, Ariella Voloshin, Prudence W. H. Wong, Fencol C. C. Yung, Shmuel Zaks |
| 2012 | Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions. Michal Cerný, Miroslav Rada |
| 2012 | Principles of Network Computing. Yicheng Pan |
| 2012 | Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract). Deepak Kapur |
| 2012 | Proving Liveness Property under Strengthened Compassion Requirements. Teng Long, Wenhui Zhang |
| 2012 | Quantum Computing: A Great Science in the Making. Andrew Chi-Chih Yao |
| 2012 | R-Calculus: A Logical Inference System for Scientific Discovery. Wei Li |
| 2012 | Realizing Monads in Interaction Nets via Generic Typed Rules. Eugen Jiresch, Bernhard Gramlich |
| 2012 | Speed Scaling Problems with Memory/Cache Consideration. Weiwei Wu, Minming Li, He Huang, Enhong Chen |
| 2012 | Stopping Set Distributions of Algebraic Geometry Codes from Elliptic Curves. Jun Zhang, Fang-Wei Fu, Daqing Wan |
| 2012 | Submodular Minimization via Pathwidth. Hiroshi Nagamochi |
| 2012 | Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication. Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
| 2012 | The Convergence of Social and Technological Networks. Jon M. Kleinberg |
| 2012 | The Small Community Phenomenon in Networks: Models, Algorithms and Applications. Pan Peng |
| 2012 | The Worst Case Behavior of Randomized Gossip. Hervé Baumann, Pierre Fraigniaud, Hovhannes A. Harutyunyan, Rémi de Joannis de Verclos |
| 2012 | Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings Manindra Agrawal, S. Barry Cooper, Angsheng Li |
| 2012 | Theory of Computation as an Enabling Tool for the Sciences. Richard M. Karp |
| 2012 | Timed Encryption with Application to Deniable Key Exchange. Shaoquan Jiang |
| 2012 | Towards an Axiomatization of Simple Analog Algorithms. Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich |
| 2012 | Vertex-Pursuit in Hierarchical Social Networks. Anthony Bonato, Dieter Mitsche, Pawel Pralat |
| 2012 | What Computers Do: Model, Connect, Engage. Butler W. Lampson |