2018, Article in monograph or in proceedings (Debruyne, C. (ed.), On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers, pp. 141-151)
2012, Article in monograph or in proceedings (Sandkuhl, K. (ed.), Emerging Topics in the Practice of Enterprise Modeling : short paper proceedings of 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling, Rostock, Germany, November 7-8, 2012, pp. 1-12)
2010, Article in monograph or in proceedings (Proceedings of the 1st International Workshop on Advances in Patent Information Retrieval at ECIR 2010, pp. 14-21)
2008, Article in monograph or in proceedings (Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (ed.) Theorem proving in higher order logic : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings, pp. 246-261)