A. Zegeling, Robert E. Kooij (2018), Quadratic systems with a symmetrical solution, In Electronic Journal of Qualitative Theory of Differential Equations Volume 2018 p.1-18.

Dan Frumin, Robbert Krebbers, Lars Birkedal (2018), ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency, In LICS'18 p.442-451, Association for Computing Machinery (ACM).

Ibbad Hafeez, Aaron Yi Ding, Markku Antikainen, Sasu Tarkoma (2018), Real-time IoT Device Activity Detection in Edge Networks, In Proceedings of the 12th International International Conference on Network and System Security (NSS 2018) Volume 11058 p.221-236.

Martijn de Vos, Johan Pouwelse (2018), Real-time Money Routing by Trusting Strangers with your Funds, In 2018 IFIP Networking p.361 - 369.

Yiming Wan, Tamas Keviczky (2018), Real-time fault-tolerant moving horizon air data estimation for the RECONFIGURE benchmark, In IEEE Transactions on Control Systems Technology Volume 27 (2019) p.997-1011.

Bram Klievink, Marijn Janssen, Haiko van der Voort, Sélinde van Engelenburg (2018), Regulatory compliance and over-compliant information sharing – Changes in the B2G landscape, In Electronic Government - 17th IFIP WG 8.5 International Conference, EGOV 2018, Proceedings p.249-260.

Z. Mustaffa, P. V. Gelder, A. W. Dawotola, S. Y. Yu, D. K. Kim (2018), Reliability assessment for corroded pipelines in series considering length-scale effects, In International Journal of Automotive and Mechanical Engineering Volume 15 p.5607-5624.

Bas Kolen, P. H.A.J.M. van Gelder (2018), Risk-based decision-making for evacuation in case of imminent threat of flooding, In Water (Switzerland) Volume 10.

Samaneh Tajalizadehkhoob, Rainer Böhme, Carlos Gañán, Maciej Korczyński, Michel Van Eeten (2018), Rotten apples or bad harvest? What we are measuring when we are measuring abuse, In ACM Transactions on Internet Technology Volume 18.

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer (2018), RustBelt: securing the foundations of the rust programming language, In Proceedings of the ACM on Programming Languages Volume 2 p.66:1-66:34.