- Haiming Chen, Zhiwu Xu. Inclusion algorithms for one-unambiguous regular expressions and their applications. Science of Computer Programming, 193:102436, 2020.
- Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi. Polymorphic computation systems: Theory and practice of confluence with call-by-value. Science of Computer Programming, 187:102322, 2020.
- Harsh Beohar, Barbara König 0001, Sebastian Küpper, Alexandra Silva 0001. Conditional transition systems with upgrades. Science of Computer Programming, 186, 2020.
- Pietro Ferrara, Agostino Cortesi, Fausto Spoto. From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Science of Computer Programming, 191:102392, 2020.
- Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi. A logical characterization of differential privacy. Science of Computer Programming, 188:102388, 2020.
- Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty. Bidirectionality in flow-sensitive demand-driven analysis. Science of Computer Programming, 190:102391, 2020.
- Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico. Controller synthesis of service contracts with variability. Science of Computer Programming, 187:102344, 2020.
- Jim Davies, James Welch, David Milward, Steve Harris. A formal, scalable approach to semantic interoperability. Science of Computer Programming, 192:102426, 2020.
- Eduardo Silva, Thaís Batista, Flávio Oquendo. On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Science of Computer Programming, 192:102425, 2020.
- Bedir Tekinerdogan, Ferhat Erata. Automated reasoning framework for traceability management of system of systems. Science of Computer Programming, 191:102416, 2020.