- Stefan Kuhn 0001, Irek Ulidowski. Local reversibility in a Calculus of Covalent Bonding. Science of Computer Programming, 151:18-47, 2018.
- Cyrille Artho, Peter Csaba Ölveczky. Formal Techniques for Safety-Critical Systems (FTSCS 2015). Science of Computer Programming, 154:1-2, 2018.
- Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu. Context-aware reconfiguration in evolving software product lines. Science of Computer Programming, 163:139-159, 2018.
- Stefan Fehrenbach, James Cheney. Exploration of language specifications by compilation to first-order logic. Science of Computer Programming, 155:103-145, 2018.
- Nevena Milojkovic, Clément Béra, Mohammad Ghafari, Oscar Nierstrasz. Mining inline cache data to order inferred types in dynamic languages. Science of Computer Programming, 161:105-121, 2018.
- Glenn Cavarlé, Alain Plantec, Steven Costiou, Vincent Ribaud. A feature-oriented model-driven engineering approach for the early validation of feature-based applications. Science of Computer Programming, 161:18-33, 2018.
- Michael J. Butler, Klaus-Dieter Schewe. Introduction to the ABZ 2016 Special issue. Science of Computer Programming, 158:1-2, 2018.
- Kamil Kedzia, Wojtek Ptak, Jacek Sroka, Andrzej M. Kierzek. Industrial applications of the PetriDotNet modelling and analysis tool. Science of Computer Programming, 157:3-16, 2018.
- Mario Andrés Paredes-Valverde, María del Pilar Salas-Zárate, Ricardo Colomo Palacios, Juan Miguel Gómez Berbís, Rafael Valencia-García. An ontology-based approach with which to assign human resources to software projects. Science of Computer Programming, 156:90-103, 2018.
- Germán Vidal. Preface for SCP special issue on Principles and Practice of Declarative Programming. Science of Computer Programming, 155:1-2, 2018.