| 2012 | What Computers Do: Model, Connect, Engage. | Butler W. Lampson |
| 2012 | The Convergence of Social and Technological Networks. | Jon M. Kleinberg |
| 2012 | Theory of Computation as an Enabling Tool for the Sciences. | Richard M. Karp |
| 2012 | Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract). | Deepak Kapur |
| 2012 | Realizing Monads in Interaction Nets via Generic Typed Rules. | Eugen Jiresch, Bernhard Gramlich |
| 2012 | Timed Encryption with Application to Deniable Key Exchange. | Shaoquan Jiang |
| 2012 | On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data. | Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2012 | Minimum Certificate Dispersal with Tree Structures. | Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada |
| 2012 | Constant-Time Approximation Algorithms for the Knapsack Problem. | Hiro Ito, Susumu Kiyoshima, Yuichi Yoshida |
| 2012 | On the Impact of Turing Machines. | John E. Hopcroft |
| 2012 | Deterministic Distributed Data Aggregation under the SINR Model. | Nathaniel Hobbs, Yuexuan Wang, Qiang-Sheng Hua, Dongxiao Yu, Francis C. M. Lau |
| 2012 | Finite Automata over Structures - (Extended Abstract). | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
| 2012 | Holographic Algorithms on Domain Size k > 2. | Zhiguo Fu, Jin-Yi Cai |
| 2012 | Multiple Usage of Random Bits in Finite Automata. | Rusins Freivalds |
| 2012 | Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms. | Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire |
| 2012 | Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. | Denys Duchier, Jrme Durand-Lose, Maxime Senot |
| 2012 | Computing Bits of Algebraic Numbers. | Samir Datta, Rameshwar Pratap |
| 2012 | From Turing Machine to Morphogenesis: Forming and Informing Computation. | S. Barry Cooper |
| 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 | Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions. | Michal Cern, Miroslav Rada |
| 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 | Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations. | Beate Bollig, Marc Gill, Tobias Prger |
| 2012 | Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices. | Jingguo Bi, Qi Cheng |
| 2012 | The Worst Case Behavior of Randomized Gossip. | Herv Baumann, Pierre Fraigniaud, Hovhannes A. Harutyunyan, Rmi de Joannis de Verclos |