- José Félix Costa, Jerzy Mycka. What Lies Beyond the Mountains?. Bulletin of the EATCS, 85:179-189, 2005.
- Harry Buhrman, Leen Torenvliet. A Post s Program for Complexity Theory. Bulletin of the EATCS, 85:41-51, 2005.
- David G. Mitchell. A SAT Solver Primer. Bulletin of the EATCS, 85:112-132, 2005.
- Catuscia Palamidessi, Frank D. Valencia. Recursion vs Replication in Process Calculi: Expressiveness. Bulletin of the EATCS, 87:105-125, 2005.
- Simon J. Gay. Quantum Programming Languages: Survey and Bibliography. Bulletin of the EATCS, 86:176-196, 2005.
- Peter Høyer, Robert Spalek. Lower Bounds on Quantum Query Complexity. Bulletin of the EATCS, 87:78-103, 2005.
- Michael Domaratzki. More Words on Trajectories. Bulletin of the EATCS, 86:107-145, 2005.
- Yasubumi Sakakibara. Development of a Bacteria Computer: From in silico Finite Automata to in virto AND in vivo. Bulletin of the EATCS, 87:165-178, 2005.
- Olivier Finkel. On Decision Problems for Timed Automata. Bulletin of the EATCS, 87:185-190, 2005.
- Costas Busch, Marios Mavronicolas, Paul G. Spirakis. An Application of the Monotone Linearizability Lemma. Bulletin of the EATCS, 85:70-80, 2005.