| 2012 | 4-Coloring H-Free Graphs When H Is Small. Petr A. Golovach, Daniël Paulusma, Jian Song |
| 2012 | A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs. Andrzej Lingas, Dzmitry Sledneu |
| 2012 | A Fast Approximation Scheme for the Multiple Knapsack Problem. Klaus Jansen |
| 2012 | A Fully Generic Approach for Realizing the Adaptive Web. Paul De Bra, David Smits |
| 2012 | A Generalization of Spira's Theorem and Circuits with Small Segregators or Separators. Anna Gál, Jing-Tang Jang |
| 2012 | A Quick Tour of Word Sense Disambiguation, Induction and Related Approaches. Roberto Navigli |
| 2012 | A Sufficient Condition for Sets Hitting the Class of Read-Once Branching Programs of Width 3 - (Extended Abstract). Jirí Síma, Stanislav Zák |
| 2012 | A Turing Machine Resisting Isolated Bursts of Faults. Ilir Çapuni, Péter Gács |
| 2012 | An Algorithm for Probabilistic Alternating Simulation. Chenyi Zhang, Jun Pang |
| 2012 | Complete Problem for Perfect Zero-Knowledge Quantum Proof. Jun Yan |
| 2012 | Complexity Insights of the Minimum Duplication Problem. Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora |
| 2012 | Complexity of Model Checking for Modal Dependence Logic. Johannes Ebbing, Peter Lohmann |
| 2012 | Computing q-Gram Non-overlapping Frequencies on SLP Compressed Texts. Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda |
| 2012 | Consistent Consequence for Boolean Equation Systems. Maciej Gazda, Tim A. C. Willemse |
| 2012 | Cost-Sensitive Classification with Unconstrained Influence Diagrams. Jirí Isa, Zuzana Reitermanová, Ondrej Sýkora |
| 2012 | Counting Maximal Independent Sets in Subcubic Graphs. Konstanty Junosza-Szaniawski, Michal Tuczynski |
| 2012 | Cryptography from Learning Parity with Noise. Krzysztof Pietrzak |
| 2012 | Design Pattern Support Based on the Source Code Annotations and Feature Models. Peter Kajsa, Pavol Návrat |
| 2012 | Factorization for Component-Interaction Automata. Nikola Benes, Ivana Cerná, Filip Stefanak |
| 2012 | Generic Heuristic Approach to General Game Playing. Jacek Mandziuk, Maciej Swiechowski |
| 2012 | Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation. Jan Stolarek, Piotr Lipinski |
| 2012 | Inner Architecture of a Social Networking System. Jaroslav Skrabalek, Petr Kunc, Tomás Pitner |
| 2012 | Iterated Hairpin Completions of Non-crossing Words. Lila Kari, Steffen Kopecki, Shinnosuke Seki |
| 2012 | Knowledge Compilation with Empowerment. Lucas Bordeaux, João Marques-Silva |
| 2012 | Leveraging Microblogs for Resource Ranking. Tomás Majer, Marián Simko |
| 2012 | MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. Roman Barták, Con Sheahan, Ann Sheahan |
| 2012 | Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration. Jean-François Couturier, Pinar Heggernes, Pim van 't Hof, Dieter Kratsch |
| 2012 | Modeling and Predicting Students Problem Solving Times. Petr Jarusek, Radek Pelánek |
| 2012 | Multi Feature Indexing Network MUFIN for Similarity Search Applications. Pavel Zezula |
| 2012 | Multitape NFA: Weak Synchronization of the Input Heads. Ömer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trân |
| 2012 | Named Entity Disambiguation Based on Explicit Semantics. Martin Jacala, Jozef Tvarozek |
| 2012 | Not Another Look at the Turing Test! Kevin Warwick |
| 2012 | On the Approximation Ratio of the Path Matching Christofides Algorithm. Sacha Krug |
| 2012 | On the Formalization of UML Activities for Component-Based Protocol Design Specifications. Prabhu Shankar Kaliappan, Hartmut König |
| 2012 | Optimizing Segment Based Document Protection. Miroslaw Kutylowski, Maciej Gebala |
| 2012 | Parikh's Theorem and Descriptional Complexity. Giovanna J. Lavado, Giovanni Pighizzini |
| 2012 | Properties of SLUR Formulae. Ondrej Cepek, Petr Kucera, Václav Vlcek |
| 2012 | RESTGroups for Resilient Web Services. Tadeusz Kobus, Pawel T. Wojciechowski |
| 2012 | Randomized Group Testing Both Query-Optimal and Minimal Adaptive. Peter Damaschke, Azam Sheikh Muhammad |
| 2012 | Recent Challenges and Ideas in Temporal Synthesis. Orna Kupferman |
| 2012 | SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán |
| 2012 | Securing the Future - An Information Flow Analysis of a Distributed OO Language. Martin Pettai, Peeter Laud |
| 2012 | State Coverage: Software Validation Metrics beyond Code Coverage. Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
| 2012 | Strong Bridges and Strong Articulation Points of Directed Graphs. Giuseppe F. Italiano |
| 2012 | The Complexity of Small Universal Turing Machines: A Survey. Turlough Neary, Damien Woods |
| 2012 | The Equational Theory of Weak Complete Simulation Semantics over BCCSP. Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
| 2012 | The Legacy of Turing in Numerical Analysis. Felipe Cucker |
| 2012 | The SiMoL Modeling Language for Simulation and (Re-)Configuration. Iulia Nica, Franz Wotawa |
| 2012 | Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test. Jirí Wiedermann |
| 2012 | Towards a Smart, Self-scaling Cooperative Web Cache. Tomás Cerný, Petr Praus, Slávka Jaromerská, Lubos Matl, Michael J. Donahoo |
| 2012 | Tree Based Domain-Specific Mapping Languages. Elina Kalnina, Audris Kalnins, Agris Sostaks, Edgars Celms, Janis Iraids |
| 2012 | Turing Machines for Dummies - Why Representations Do Matter. Peter van Emde Boas |
| 2012 | Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs. Panagiotis Cheilaris, Balázs Keszegh, Dömötör Pálvölgyi |
| 2012 | Visibly Pushdown Transducers with Look-Ahead. Emmanuel Filiot, Frédéric Servais |
| 2012 | What Is an Algorithm? Yuri Gurevich |