2015, Article in monograph or in proceedings (Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs, pp. 15-27)
2014, Part of book or chapter of book (Klein, G. (ed.), Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, pp. 543-548)
2013, Article in monograph or in proceedings (Momiglinao, A. (ed.), LFMTP '13 : Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, September 25-27, Boston, MA, USA, pp. 25-36)
2011, Article in monograph or in proceedings (Hirschowitz, T. (ed.), Proceedings Types for Proofs and Programs, Revised Selected Papers Aussois, France, 12-15th May 2009, pp. 47-61)
2011, Part of book or chapter of book (Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings, pp. V-VI)
2011, Part of book or chapter of book (Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 301-303)
2010, Part of book or chapter of book (Autexier, S. (ed.), Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 440-454)
2010, Article in monograph or in proceedings (Crary, K.; Miculan, M. (ed.), Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Edinburgh, UK, 14th July 2010, pp. 53-68)
2008, Article in monograph or in proceedings (Schürmann, Carsten (ed.), Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, Ireland, pp. 33-47)
2008, Article in monograph or in proceedings (Lange, Christoph; Schaffert, Sebastian; Skaf-Molli, Hala (ed.), SemWiki 2008 – The Wiki Way of Semantics : Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), pp. 62-66)
2007, Part of book or chapter of book (Matuszwski, R.; Zalewska, A. (ed.), From Insight to Proof, Festschrift in Honour of Andrzej Trybulec, pp. 121-133)
2007, Article in monograph or in proceedings (M. Kauers, R. Miner; Windsteiger, W. (ed.), Towards Mechanized Mathematical Assistants, Calculemus 2007, Hagenberg, pp. 94-105)
2007, Article in monograph or in proceedings (Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50)
2004, Article in monograph or in proceedings (Sch"urmann, Carsten (ed.), LFM'04, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, Cork, pp. 32-45)
2000, Part of book or chapter of book (Aagaard, M.; Harrison, J. (ed.), Theorem Proving in Higher Order Logics :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings, pp. 162-178)