Chunming Rong, Marc X. Makkes, Martin Gilje Jaatun, Oskar Van Deventer, Tom Hacker, Ronald Jabangwe, Chunlei Li, Jan S. Rellermeyer, Torben Worm (2018), Message from international workshop on resource brokering with blockchain (RBchain 2018), In 2018 IEEE International Conference on Cloud Computing Technology and Science (CloudCom) p.XXVII - XXVII.

Haye Hazenberg, Jeroen van den Hoven, Scott Cunningham, Mark Alfano, Hadi Asghari, Emily Sullivan-Mumm, Amir Ebrahimi Fard, Elsa Turcios Rodriguez (2018), Micro-Targeting and ICT media in the Dutch Parliamentary system: Technological changes in Dutch Democracy.

Daco C. Harkes, Elmer van Chastelet, Eelco Visser (2018), Migrating Business Logic to an Incremental Computing DSL: A Case Study, D. Pearce , S. Friedrich , T. Mayerhofer (Eds.), In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.83-96, Association for Computing Machinery (ACM).

Jasper Denkers, Louis van Gool, Eelco Visser (2018), Migrating Custom DSL Implementations To a Language Workbench (Tool Demo), In Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.205-209, Association for Computing Machinery (ACM).

Gamze Tillem, Zekeriya Erkin, Reginald L. Lagendijk (2018), Mining Sequential Patterns from Outsourced Data via Encryption Switching, In 16th Annual Conference on Privacy, Security and Trust, PST 2018 p.1-10.

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer (2018), MoSeL: A general, extensible modal framework for interactive proofs in separation logic, In Proceedings of the ACM on Programming Languages Volume 2 p.77:1-77:30.

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer (2018), Mtac2: Typed tactics for backward reasoning in Coq, In Proceedings of the ACM on Programming Languages Volume 2 p.78:1-78:31.

Yi Yin, Anneke Zuiderwijk-van Eijk, Marijn Janssen, Xander de Ronde, Keith Jeffery (2018), Multidisciplinary Collaboration Through Online Virtual Research Environments (VREs): What do VRE users need?, In 10th International Workshop on Science Gateways, IWSG 2018) p.1-6.

Kate Labunets (2018), No Search Allowed: What Risk Modeling Notation to Choose?, In International Symposium on Empirical Software Engineering and Measurement.

Zakaria Najm, Dirmanto Jap, Bernhard Jungk, Stjepan Picek, Shivam Bhasin (2018), On Comparing Side-channel Properties of AES and ChaCha20 on Microcontrollers, In 2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) p.552-555.