- Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. Electronic Notes in Theoretical Computer Science, 229(5):39-56, 2011.
- Jaroslav Bauml, Premek Brada. Reconstruction of Type Information from Java Bytecode for Component Compatibility. Electronic Notes in Theoretical Computer Science, 264(4):3-18, 2011.
- Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana. Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electronic Notes in Theoretical Computer Science, 269:95-107, 2011.
- Juliana Kaizer Vizzotto, André Rauber Du Bois. Modelling Parallel Quantum Computing Using Transactional Memory. Electronic Notes in Theoretical Computer Science, 270(1):183-190, 2011.
- Cibele Matos Freire, Ana Teresa C. Martins. The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. Electronic Notes in Theoretical Computer Science, 269:71-82, 2011.
- Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski. On-The-Fly Path Reduction. Electronic Notes in Theoretical Computer Science, 274:3-16, 2011.
- Loïc Paulevé, Morgan Magnin, Olivier Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electronic Notes in Theoretical Computer Science, 272:43-56, 2011.
- Natarajan Shankar, Marc Vaucher. The Mechanical Verification of a DPLL-Based Satisfiability Solver. Electronic Notes in Theoretical Computer Science, 269:3-17, 2011.
- Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang. A Parallel Approach to Concolic Testing with Low-cost Synchronization. Electronic Notes in Theoretical Computer Science, 274:83-96, 2011.
- Venanzio Capretta, Conor McBride. Preface. Electronic Notes in Theoretical Computer Science, 229(5):1-2, 2011.