| 2012 | State Coverage: Software Validation Metrics beyond Code Coverage. | Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
| 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, Toms Pitner |
| 2012 | A Sufficient Condition for Sets Hitting the Class of Read-Once Branching Programs of Width 3 - (Extended Abstract). | Jir Sma, Stanislav Zk |
| 2012 | Cryptography from Learning Parity with Noise. | Krzysztof Pietrzak |
| 2012 | Securing the Future - An Information Flow Analysis of a Distributed OO Language. | Martin Pettai, Peeter Laud |
| 2012 | The SiMoL Modeling Language for Simulation and (Re-)Configuration. | Iulia Nica, Franz Wotawa |
| 2012 | The Complexity of Small Universal Turing Machines: A Survey. | Turlough Neary, Damien Woods |
| 2012 | A Quick Tour of Word Sense Disambiguation, Induction and Related Approaches. | Roberto Navigli |
| 2012 | Generic Heuristic Approach to General Game Playing. | Jacek Mandziuk, Maciej Swiechowski |
| 2012 | Leveraging Microblogs for Resource Ranking. | Toms Majer, Marin Simko |
| 2012 | A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs. | Andrzej Lingas, Dzmitry Sledneu |
| 2012 | Parikh's Theorem and Descriptional Complexity. | Giovanna J. Lavado, Giovanni Pighizzini |
| 2012 | Optimizing Segment Based Document Protection. | Miroslaw Kutylowski, Maciej Gebala |
| 2012 | Recent Challenges and Ideas in Temporal Synthesis. | Orna Kupferman |
| 2012 | On the Approximation Ratio of the Path Matching Christofides Algorithm. | Sacha Krug |
| 2012 | RESTGroups for Resilient Web Services. | Tadeusz Kobus, Pawel T. Wojciechowski |
| 2012 | Iterated Hairpin Completions of Non-crossing Words. | Lila Kari, Steffen Kopecki, Shinnosuke Seki |
| 2012 | Tree Based Domain-Specific Mapping Languages. | Elina Kalnina, Audris Kalnins, Agris Sostaks, Edgars Celms, Janis Iraids |
| 2012 | On the Formalization of UML Activities for Component-Based Protocol Design Specifications. | Prabhu Shankar Kaliappan, Hartmut Knig |
| 2012 | Design Pattern Support Based on the Source Code Annotations and Feature Models. | Peter Kajsa, Pavol Nvrat |
| 2012 | Counting Maximal Independent Sets in Subcubic Graphs. | Konstanty Junosza-Szaniawski, Michal Tuczynski |
| 2012 | Modeling and Predicting Students Problem Solving Times. | Petr Jarusek, Radek Pelnek |
| 2012 | A Fast Approximation Scheme for the Multiple Knapsack Problem. | Klaus Jansen |
| 2012 | Named Entity Disambiguation Based on Explicit Semantics. | Martin Jacala, Jozef Tvarozek |