- Paulo Borba, Leopoldo Teixeira, Rohit Gheyi. A Theory of Software Product Line Refinement. Theoretical Computer Science, (0), 2012.
- Arturo Carpi, Clelia de Felice. Combinatorics on words. Theoretical Computer Science, 412(27):2909-2910, 2011.
- Volker Turau, Bernd Hauck. A fault-containing self-stabilizing (3 - 2/(Delta+1))-approximation algorithm for vertex cover in anonymous networks. Theoretical Computer Science, 412(33):4361-4371, 2011.
- Martin Delacourt, Victor Poupet, Mathieu Sablik, Guillaume Theyssier. Directional dynamics along arbitrary curves in cellular automata. Theoretical Computer Science, 412(30):3800-3821, 2011.
- Robert Elsässer, Thomas Sauerwald. Tight bounds for the cover time of multiple random walks. Theoretical Computer Science, 412(24):2623-2641, 2011.
- Daniel Lenz, Zuzana Masáková, Edita Pelantová. Note on powers in three interval exchange transformations. Theoretical Computer Science, 412(29):3788-3794, 2011.
- Yumei Huo, Hairong Zhao. Bicriteria scheduling concerned with makespan and total completion time subject to machine availability constraints. Theoretical Computer Science, 412(12-14):1081-1091, 2011.
- Alexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé. Equations on palindromes and circular words. Theoretical Computer Science, 412(27):2922-2930, 2011.
- Robert Gray, António Malheiro. Finite complete rewriting systems for regular semigroups. Theoretical Computer Science, 412(8-10):654-661, 2011.
- Filip Malmberg, Joakim Lindblad, Natasa Sladoje, Ingela Nyström. A graph-based framework for sub-pixel image segmentation. Theoretical Computer Science, 412(15):1338-1349, 2011.