- Steffen Zschaler, Birgit Demuth, Lothar Schmitz. Salespoint: A Java Framework for Teaching Object-Oriented Software Development. Science of Computer Programming, in press . Science of Computer Programming, , 2012.
- Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser. A pure embedding of attribute grammars. Science of Computer Programming, , 2012.
- Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich. FeatureIDE: An Extensible Framework for Feature-Oriented Software Development. Science of Computer Programming, , 2012.
- Lorenzo Bettini, Viviana Bono, Betti Venneri. Delegation by object composition. Science of Computer Programming, 76(11):992-1014, 2011.
- Anders Møller, Michael I. Schwartzbach. XML graphs in program analysis. Science of Computer Programming, 76(6):492-515, 2011.
- Christian Krause, Ziyan Maraikar, Alexander Lazovik, Farhad Arbab. Modeling dynamic reconfigurations in Reo using high-level replacement systems. Science of Computer Programming, 76(1):23-36, 2011.
- Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen. Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming, 76(10):915-941, 2011.
- Benjamin Weiß. Predicate abstraction in a program logic calculus. Science of Computer Programming, 76(10):861-876, 2011.
- Roland Carl Backhouse, João F. Ferreira. On Euclid s algorithm and elementary number theory. Science of Computer Programming, 76(3):160-180, 2011.
- Carlos Canal, Pascal Poizat, Marjan Sirjani. Preface. Science of Computer Programming, 76(8):631-632, 2011.