| 2014 | A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers. Jingchao Chen |
| 2014 | A Categorical Treatment of Malicious Behavioral Obfuscation. Romain Péchoux, Thanh Dinh Ta |
| 2014 | A Dynamic Approach to Frequent Flyer Program. Rajiv Veeraraghavan, Rakesh Kashyap, Archita Chopde, Swapan Bhattacharya |
| 2014 | A Local-Global Approach to Solving Ideal Lattice Problems. Yuan Tian, Rongxin Sun, Xueyong Zhu |
| 2014 | A Personalized Privacy Preserving Method for Publishing Social Network Data. Jia Jiao, Peng Liu, Xianxian Li |
| 2014 | A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic. Michael François, David Defour, Pascal Berthomé |
| 2014 | A Roadmap for TAMC. T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper |
| 2014 | A Tight Lower Bound Instance for k-means++ in Constant Dimension. Anup Bhattacharya, Ragesh Jaiswal, Nir Ailon |
| 2014 | An Improved Upper-Bound for Rivest et al.'s Half-Lie Problem. Bala Ravikumar, Duncan Innes |
| 2014 | An Incremental Algorithm for Computing Prime Implicates in Modal Logic. Manoj K. Raut |
| 2014 | Approximation Algorithms for the Weight-Reducible Knapsack Problem. Marc Goerigk, Yogish Sabharwal, Anita Schöbel, Sandeep Sen |
| 2014 | Complexity Information Flow in a Multi-threaded Imperative Language. Jean-Yves Marion, Romain Péchoux |
| 2014 | Efficient Algorithms for the Label Cut Problems. Peng Zhang |
| 2014 | Finding Optimal Strategies of Almost Acyclic Simple Stochastic Games. David Auger, Pierre Coucheney, Yann Strozecki |
| 2014 | Fine-Tuning Decomposition Theorem for Maximum Weight Bipartite Matching. Shibsankar Das, Kalpesh Kapoor |
| 2014 | Finite State Incompressible Infinite Sequences. Cristian S. Calude, Ludwig Staiger, Frank Stephan |
| 2014 | Generalized Finite Automata over Real and Complex Numbers. Klaus Meer, Ameen Naif |
| 2014 | Intersection Dimension of Bipartite Graphs. Steven Chaplick, Pavol Hell, Yota Otachi, Toshiki Saitoh, Ryuhei Uehara |
| 2014 | Modular Form Approach to Solving Lattice Problems. Yuan Tian, Xueyong Zhu, Rongxin Sun |
| 2014 | On Representations of Abstract Systems with Partial Inputs and Outputs. Ievgen Ivanov |
| 2014 | On the Parameterized Complexity for Token Jumping on Graphs. Takehiro Ito, Marcin Kaminski, Hirotaka Ono, Akira Suzuki, Ryuhei Uehara, Katsuhisa Yamanaka |
| 2014 | Polynomial-Time Algorithms for Subgraph Isomorphism in Small Graph Classes of Perfect Graphs. Matsuo Konagaya, Yota Otachi, Ryuhei Uehara |
| 2014 | Reversibility of Elementary Cellular Automata under Fully Asynchronous Update. Biswanath Sethi, Nazim Fatès, Sukanta Das |
| 2014 | Self-stabilizing Minimal Global Offensive Alliance Algorithm with Safe Convergence in an Arbitrary Graph. Yihua Ding, James Z. Wang, Pradip K. Srimani |
| 2014 | Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems. Min Lu, Tian Liu, Weitian Tong, Guohui Lin, Ke Xu |
| 2014 | Space Complexity of Optimization Problems in Planar Graphs. Samir Datta, Raghav Kulkarni |
| 2014 | The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes. David Cattanéo, Simon Perdrix |
| 2014 | Theory and Applications of Models of Computation - 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper |
| 2014 | Universality of Spiking Neural P Systems with Anti-spikes. Venkata Padmavati Metta, Alica Kelemenová |