- 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.
- Stefan Fehrenbach, James Cheney. Exploration of language specifications by compilation to first-order logic. Science of Computer Programming, 155:103-145, 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, 2018.
- Nick Benton, Martin Hofmann 0001, Vivek Nigam. Effect-dependent transformations for concurrent programs. Science of Computer Programming, 155:27-51, 2018.
- Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord. Combining range and inequality information for pointer disambiguation. Science of Computer Programming, 152:161-184, 2018.
- Fabrice Kordon, Daniel Moldt. Introduction to the special issue from Petri Nets 2016. Science of Computer Programming, 157, 2018.
- Janna-Lynn (Weber) Dupree, Edward Lank, Daniel M. Berry. A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users. Science of Computer Programming, 152:1-37, 2018.