2018, Article in monograph or in proceedings (Marr, S. (ed.), Programming'18: Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France — April 09 - 12, 2018, pp. 93-98)
2018, Article in monograph or in proceedings (Millham, R. (ed.), ICTAS: 2018 Conference on Information Communications Technology and Society, 8-9 March 2018 Durban, South Africa. Proceedings, pp. 1-6)
2018, Part of book or chapter of book (Ciucci, D. (ed.), Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018. Proceedings, pp. 50-63)
2018, Article in monograph or in proceedings (Haddad, H.H. (ed.), SAC18: The 17th edition of the Computer Security track at the 33rd ACM Symposium on Applied Computing, 9-13 April 2018, Pau, France, pp. 1629-1637)
2016, Part of book or chapter of book (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
2016, Part of book or chapter of book (Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39)
2016, Part of book or chapter of book (Gruner, S. (ed.), ICT Education: 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers, pp. 160-167)
2016, Article in monograph or in proceedings (Cavoukian, A. (ed.), SAI Computing Conference 2016 : proceedings of the 2016 SAI Computing Conference 2016, 13-15 July, 2016, London, United Kingdom, pp. 1068-1075)
2016, Article in monograph or in proceedings (CSERC '16 : Proceedings CSERC 2016 July 5 and 6, 2016 Computer Science Education Research Conference Pretoria, South Africa, pp. 1-52)
2016, Part of book or chapter of book (Celesti, A.; Leitner, P. (ed.), Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, pp. 93-110)
2015, Part of book or chapter of book (Zvacek, S.; Restivo, M.; Uhomoibhi, J. (ed.), Computer Supported Education : 6th International Conference, CSEDU 2014 Barcelona, Spain, April 1–3, 2014, Revised Selected Papers, pp. 84-98)
2015, Part of book or chapter of book (Geuvers, H.; Messink, N.; Wiedijk, F. (ed.), Liber Amicorum : in honor of Henk Barendregt on the occasion of his valedictory lecture October 1, 2015, pp. 26-27)
2015, Article in monograph or in proceedings (Bertolino, A. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th International Conference on Software Engineering, 16-24 May 2015, Florence, Italy. Proceedings, pp. 109-118)
2015, Article in monograph or in proceedings (Kellenberger, P. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 16-24 May, 2015, Firenze, Italy. Proceedings, pp. 303-306)
2015, Part of book or chapter of book (Chiba, Y. (ed.), WPTE 2015 : Proceedings of the Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation, affiliated with RDP 2015. Warsaw, Poland, 2015, pp. 47-61)
2014, Article in monograph or in proceedings (Bella, G. (ed.), STAST 2014 : 4th Workshop on Socio-Technical Aspects in Security and Trust : Proceedings, pp. 40-47)
2014, Part of book or chapter of book (Zvacek, S. (ed.), CSEDU 2014 : Proceedings of the 6th International Conference on Computer Supported Education, Barcelona, Spain, pp. 97-104)
2014, Article in monograph or in proceedings (Barendsen, E. (ed.), CSERC '14 Proceedings of the Computer Science Education Research Conference, pp. 9-20)