| 2012 | Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields. | Jun Zhang, Fang-Wei Fu |
| 2012 | Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines. | Sheng Yu, Jude-Thaddeus Ojiaku, Prudence W. H. Wong, Yinfeng Xu |
| 2012 | Coordination Mechanisms for Selfish Parallel Jobs Scheduling - (Extended Abstract). | Deshi Ye, Guochuan Zhang |
| 2012 | Computationally-Fair Group and Identity-Based Key-Exchange. | Andrew C. Yao, Yunlei Zhao |
| 2012 | Quantum Computing: A Great Science in the Making. | Andrew Chi-Chih Yao |
| 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 | A Surprisingly Simple Way of Reversing Trace Distance via Entanglement. | Jun Yan |
| 2012 | A Refined Exact Algorithm for Edge Dominating Set. | Mingyu Xiao, Hiroshi Nagamochi |
| 2012 | Speed Scaling Problems with Memory/Cache Consideration. | Weiwei Wu, Minming Li, He Huang, Enhong Chen |
| 2012 | An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. | Shuling Wang, Naijun Zhan, Dimitar P. Guelev |
| 2012 | Improved FPT Algorithms for Rectilinear k-Links Spanning Path. | Jianxin Wang, Jinyi Yao, Qilong Feng, Jianer Chen |
| 2012 | Energy-Efficient Network Routing with Discrete Cost Functions. | Lin Wang, Antonio Fernndez Anta, Fa Zhang, Chenying Hou, Zhiyong Liu |
| 2012 | Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication. | Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima |
| 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 | Hardness and Approximation of the Asynchronous Border Minimization Problem - (Extended Abstract). | Alexandru Popa, Prudence W. H. Wong, Fencol C. C. Yung |
| 2012 | The Small Community Phenomenon in Networks: Models, Algorithms and Applications. | Pan Peng |
| 2012 | Principles of Network Computing. | Yicheng Pan |
| 2012 | Automatic Verification of Real-Time Systems with Rich Data: An Overview. | Ernst-Rdiger Olderog |
| 2012 | A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs. | Martin Nehz, Daniel Olejr, Michal Demetrian |
| 2012 | Submodular Minimization via Pathwidth. | Hiroshi Nagamochi |
| 2012 | Proving Liveness Property under Strengthened Compassion Requirements. | Teng Long, Wenhui Zhang |
| 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 | Interaction and Collective Intelligence on the Internet. | Deyi Li, Liwei Huang |
| 2012 | R-Calculus: A Logical Inference System for Scientific Discovery. | Wei Li |
| 2012 | Electron Tomography and Multiscale Biology. | Albert F. Lawrence, Sebastien Phan, Mark H. Ellisman |