| 2012 | Strong Bridges and Strong Articulation Points of Directed Graphs. | Giuseppe F. Italiano |
| 2012 | Cost-Sensitive Classification with Unconstrained Influence Diagrams. | Jir Isa, Zuzana Reitermanov, Ondrej Skora |
| 2012 | What Is an Algorithm? | Yuri Gurevich |
| 2012 | Computing q-Gram Non-overlapping Frequencies on SLP Compressed Texts. | Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda |
| 2012 | 4-Coloring H-Free Graphs When H Is Small. | Petr A. Golovach, Danil Paulusma, Jian Song |
| 2012 | Consistent Consequence for Boolean Equation Systems. | Maciej Gazda, Tim A. C. Willemse |
| 2012 | A Generalization of Spira's Theorem and Circuits with Small Segregators or Separators. | Anna Gl, Jing-Tang Jang |
| 2012 | Visibly Pushdown Transducers with Look-Ahead. | Emmanuel Filiot, Frdric Servais |
| 2012 | Multitape NFA: Weak Synchronization of the Input Heads. | mer Egecioglu, Oscar H. Ibarra, Nicholas Q. Trn |
| 2012 | Complexity of Model Checking for Modal Dependence Logic. | Johannes Ebbing, Peter Lohmann |
| 2012 | Randomized Group Testing Both Query-Optimal and Minimal Adaptive. | Peter Damaschke, Azam Sheikh Muhammad |
| 2012 | The Legacy of Turing in Numerical Analysis. | Felipe Cucker |
| 2012 | Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration. | Jean-Franois Couturier, Pinar Heggernes, Pim van 't Hof, Dieter Kratsch |
| 2012 | Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs. | Panagiotis Cheilaris, Balzs Keszegh, Dmtr Plvlgyi |
| 2012 | Towards a Smart, Self-scaling Cooperative Web Cache. | Toms Cern, Petr Praus, Slvka Jaromersk, Lubos Matl, Michael J. Donahoo |
| 2012 | Properties of SLUR Formulae. | Ondrej Cepek, Petr Kucera, Vclav Vlcek |
| 2012 | A Turing Machine Resisting Isolated Bursts of Faults. | Ilir apuni, Pter Gcs |
| 2012 | A Fully Generic Approach for Realizing the Adaptive Web. | Paul De Bra, David Smits |
| 2012 | Knowledge Compilation with Empowerment. | Lucas Bordeaux, Joo Marques-Silva |
| 2012 | Turing Machines for Dummies - Why Representations Do Matter. | Peter van Emde Boas |
| 2012 | Complexity Insights of the Minimum Duplication Problem. | Guillaume Blin, Paola Bonizzoni, Riccardo Dondi, Romeo Rizzi, Florian Sikora |
| 2012 | Factorization for Component-Interaction Automata. | Nikola Benes, Ivana Cern, Filip Stefanak |
| 2012 | MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. | Roman Bartk, Con Sheahan, Ann Sheahan |
| 2012 | The Equational Theory of Weak Complete Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | Information Leakage Analysis by Abstract Interpretation. | Matteo Zanioli, Agostino Cortesi |