Formal Derivation of a List Processing Program. - C. Hemerik (Inf. Process. Lett., 1980)

Bottom-Up Tree Acceptors. - C. Hemerik; Joost-Pieter Katoen (Sci. Comput. Program., 1989)

Types in Lambda Calculi and Programming Languages. - Henk Barendregt; Kees Hemerik (ESOP, 1990)

CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. - Erik Poll; C. Hemerik; Huub M. M. ten Eikelder (RAIRO Theor. Informatics Appl., 1993)

A missing link in root-to-frontier tree pattern matching. - Loek G. Cleophas; Kees Hemerik; Gerard Zwaan (Stringology, 2005)

Two Related Algorithms for Root-to-frontier Tree Pattern Matching. - Loek G. Cleophas; Kees Hemerik; Gerard Zwaan (Int. J. Found. Comput. Sci., 2006)

Towards a Taxonomy for ECFG and RRPG Parsing. - Kees Hemerik (LATA, 2009)

Taxonomies of Regular Tree Algorithms. - Loek G. Cleophas; Kees Hemerik (Stringology, 2009)

Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. - Loek G. Cleophas; Kees Hemerik (CIAA, 2009)