2020, Article in monograph or in proceedings (Benzmüller, C. (ed.), Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, pp. 271-277)
2020, Article in monograph or in proceedings (Albert, E. (ed.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 138-150)
2019, Article in monograph or in proceedings (Geuvers, H. (ed.), FSCD 2019: 4th International Conference on Formal Structures for Computation and Deduction, June 24-30, 2019, Dortmund, Germany, pp. 1:1-34:18)
Frumin, D.; Geuvers, H.; Gondelman, L.; Weide, N.M. van der
2018, Article in monograph or in proceedings (Andronick, J. (ed.), CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018, pp. 201-214)
2018, Article in monograph or in proceedings (Abel, A. (ed.), TYPES 2017: 23rd International Conference on Types for Proofs and Programs, pp. 3:1-3:39)
2017, Article in monograph or in proceedings (Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings, pp. 462-478)
2017, Article in monograph or in proceedings (Ghosh, S.; Prasad, S. (ed.), Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 123-138)
2016, Article in monograph or in proceedings (Koskinen, S. (ed.), LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA — July 05 - 08, 2016, pp. 327-336)
2016, Article in monograph or in proceedings (Ghilezan, S. (ed.), TYPES 2016 : 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia, 23-26 May 2016, pp. 21-22)
Geuvers, H.; Geraedts, W.; Geron, B.; Stegeren, J. van
2014, Part of book or chapter of book (Oliva, P. (ed.), Proceedings Fifth International Workshop on Classical Logic and Computation Vienna, Austria, July 13, 2014, pp. 1-17)
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)
2013, Part of book or chapter of book (de'Liguoro, U. (ed.), Proceedings first workshop on control operators and their semantics eindhoven, the netherlands, june 24-25, 2013, pp. 66-85)
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)
2011, Article in monograph or in proceedings (KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, pp. 42-51)
2011, Article in monograph or in proceedings (Proceedings of the Eleventh SIAM International Conference on Data Mining, Mesa, Arizona, April 28 - 30, 2011, pp. 795-803)
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. 298-300)
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)
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, pp. 455-469)
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)
2009, Article in monograph or in proceedings (Bove, A.; Soares Barbosa, L.; Pardo, A. (ed.), Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, pp. 1-56)
2009, Article in monograph or in proceedings (Carette, J.; Dixon, L.; Coen, Claudio Sacerdoti (ed.), Proceedings of 8th International Conference (MKM2009), pp. 405-421)
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 (Mackie, I.; Plump, D. (ed.), Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), pp. 93-108)
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)