2015, Part of book or chapter of book (Davis, M.; Fehnker, A.; McIver, A. (ed.), Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 88-96)
2015, Article in monograph or in proceedings (Yang, Q. (ed.), IJCAI 2015 : Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp. 3084-3090)
2015, Part of book or chapter of book (Kerber, M.; Carette, J.; Kaliszyk, C. (ed.), Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings, pp. 288-295)
2015, Part of book or chapter of book (Lutz, C.; Ranise, S. (ed.), Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, pp. 341-356)
2015, Part of book or chapter of book (Urban, C.; Zhang, X. (ed.), Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings, pp. 227-233)
2015, Part of book or chapter of book (Felty, A.P.; Middeldorp, A. (ed.), Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 389-398)
2015, Article in monograph or in proceedings (Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs, pp. 59-66)
2014, Part of book or chapter of book (Verbeek, F. (ed.), ACL2 2014 : Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014, pp. 77-85)
2013, Part of book or chapter of book (McMillan, K.; Middeldorp, A.; Voronkov, A. (ed.), Logic for programming, artificial intelligence, and reasoning, pp. 503-517)
2013, Article in monograph or in proceedings (Blazy, S. (ed.), Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 451-456)
2012, Article in monograph or in proceedings (Fontaine, P. (ed.), PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning June 30 & July 1, 2012 A liated with the 6th International Joint Conference on Automated Reasoning (IJCAR 201), Manchester, pp. 72-81)
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, Article in monograph or in proceedings (Kauers, Manuel; Kerber, Manfred; Miner, Robert (ed.), Towards Mechanized Mathematical Assistants, pp. 221-234)
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)
2006, Article in monograph or in proceedings (Autexier, S.; Benzm"uller, C. (ed.), Proceedings of the FLoCs Workshop on User Interfaces for Theorem Provers (UITP-06), Seattle, pp. 53-64)