- John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller. Visualizing Proof Search for Theorem Prover Development. Electronic Notes in Theoretical Computer Science, 226:23-38, 2009.
- Diomidis Spinellis, Georgios Gousios, Vassilios Karakoidas, Panagiotis Louridas, Paul J. Adams, Ioannis Samoladas, Ioannis Stamelos. Evaluating the Quality of Open Source Software. Electronic Notes in Theoretical Computer Science, 233:5-28, 2009.
- Andreas Abel, Christian Urban. Preface. Electronic Notes in Theoretical Computer Science, 228:1, 2009.
- Fabrizio Baiardi, Dario Maggiari, Daniele Sgandurra, Francesco Tamberi. Transparent Process Monitoring in a Virtual Environment. Electronic Notes in Theoretical Computer Science, 236:85-100, 2009.
- Cillian Ó Tuama, James P. Gleeson. Combined Effects of Frequency Quantization and Additive Input Noise in a First-order Digital PLL. Electronic Notes in Theoretical Computer Science, 225:255-268, 2009.
- Thierry Vallée, Joseph Manning. Reconstruction of Partial Orders and List Representation as Random Structures. Electronic Notes in Theoretical Computer Science, 225:441-456, 2009.
- Lei Li, Koya Hattori. An Asymptotic Approach for Testing P::0::-Matrices. Electronic Notes in Theoretical Computer Science, 225:195-200, 2009.
- Filippo Del Tedesco, Carla Piazza. External Control in Process Algebra for Systems Biology. Electronic Notes in Theoretical Computer Science, 227:161-177, 2009.
- Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electronic Notes in Theoretical Computer Science, 235:71-105, 2009.
- Guido Rößling, J. Ángel Velázquez-Iturbide. Preface. Electronic Notes in Theoretical Computer Science, 224:1-2, 2009.