2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57)
2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019, pp. 58-65)
2017, Article in monograph or in proceedings (Barendsen, E. (ed.), WiPSCE '17: Proceedings of the 12th Workshop on Primary and Secondary Computing Education, Nijmegen, Netherlands — November 08 - 10, 2017, pp. 25-34)
2016, Article in monograph or in proceedings (Sheard, J. (ed.), Koli Calling '16: proceedings of the 16th Koli Calling International Conference on Computing Education Research, Koli, Finland - November 24-27, 2016, pp. 160-164)
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)
Bernstein, D.; Gastel, B. van; Janssen, W.; Lange, T.; Schwabe, P.; Smetsers, S.
2015, Article in monograph or in proceedings (Aranha, D.F.; Menezes, A. (ed.), Progress in Cryptology - LATINCRYPT 2014 : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014, pp. 64-83)
2014, Article in monograph or in proceedings (Kinnunen, P. (ed.), Koli Calling '14 : Proceedings of the 14th Koli Calling International Conference on Computing Education Research, November 20-23, 2014 Koli, Finland, pp. 99-108)
2013, Article in monograph or in proceedings (O'Conner, L. (ed.), TASE 2013 : 2013 International Symposium on Theoretical Aspects of Software Engineering, 1-3 July, 2013 Proceedings, pp. 199-206)
2013, Part of book or chapter of book (Loidl, H.-W. (ed.), Trends in Functional Programming : 13th International Symposium, TFP 2012 St. Andrews, UK, June 12-14, 2012 : Revised Selected Papers, pp. 85-100)
2013, Article in monograph or in proceedings (Brat, G.; Rungta, N.; Venet, A. (ed.), NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, pp. 63-77)
2013, Part of book or chapter of book (Bois, A. du (ed.), Programming languages : 17th brazilian symposium, sblp 2013, brasília, brazil, september 29- october 4, 2013, proceedings, pp. 46-60)
2012, Part of book or chapter of book (Derrick, J.; Latella, D. (ed.), Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June, 18-21,2012 Proceedings, pp. 174-190)
2011, Part of book or chapter of book (Reiniers, M.A.; Sobocinski, P. (ed.), Proceedings Eight Workshop on Structural Operational Semantics 2011 (SOS'11), Aachen, Germany, 5th September 2011, pp. 17-30)
2010, Article in monograph or in proceedings (Majkic, Z. (ed.), Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS10), pp. 135-142)
2009, Article in monograph or in proceedings (Cofer, D.; Fantechi, A. (ed.), Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 85-102)
2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164)
2008, Article in monograph or in proceedings (Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132)
2008, Article in monograph or in proceedings (Morazán, Marco (ed.), Trends in Functional Programming : Selected Papers of the 8th International Symposium on Trends in Functional Programming (TFP'07), New York, USA, pp. 36-53)
2007, Part of book or chapter of book (E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 29-40)
2005, Article in monograph or in proceedings (Butterfield, A. (ed.), Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, pp. 142-159)
2005, Article in monograph or in proceedings (Hermenegildo, Manuel; Cabeza, Daniel (ed.), Proceedings of Seventh International Symposium on Practical Aspects of Declarative Languages, pp. 203-218)
2005, Article in monograph or in proceedings (Leijen, Daan (ed.), Proceedings of the ACM SIGPLAN urlhttp://www.cs.uu.nl/ daan/hw2005/2005 Haskell Workshop, pp. 86-97)
2004, Article in monograph or in proceedings (Proceedings Seventh International Conference on Mathematics of Program Construction (MPC 2004), pp. 16-31)
2003, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers, pp. 51-67)
2002, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), IFL 2002: Proceedings of the 14th International Workshop on Implementation of Functional Languages, Madrid, Spain, September 16-18, 2002, pp. 68-84)