If you made any changes in Pure these will be visible here soon.

Research Output 1980 2012

Filter
Conference contribution
2009
2 Citations (Scopus)

Forest FIRE: A taxonomy-based toolkit of tree automata and regular tree algorithms

Cleophas, L. G. W. A. & Hemerik, C., 2009, Implementation and Application of Automata (14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings). Maneth, S. (ed.). Berlin: Springer, p. 245-248 (Lecture Notes in Computer Science; vol. 5642)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Taxonomies
Trees (mathematics)
Pattern matching
1 Citation (Scopus)

Taxonomies of regular tree algorithms

Cleophas, L. G. W. A. & Hemerik, C., 2009, Proceedings of the Prague Stringology Conference 2009 (PSC'09, Prague, Czech Republic, August 31-September 2, 2009). Holub, J. & Zdarek, J. (eds.). Prague: Czech Technical University in Prague, p. 146-159

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Trees (mathematics)
Taxonomies
Pattern matching
Model checking
4 Citations (Scopus)

Towards a taxonomy for ECFG and RRPG parsing

Hemerik, C., 2009, Language and Automata Theory and Applications (3rd International Conference, LATA'09, Tarragona, Spain, April 2-8, 2009. Proceedings). Dediu, A. H., Ionescu, A. M. & Martín-Vide, C. (eds.). Berlin: Springer, p. 410-421 (Lecture Notes in Computer Science; vol. 5457)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Context free grammars
Taxonomies
2005
2 Citations (Scopus)

A missing link in root-to-frontier tree pattern matching

Cleophas, L. G. W. A., Hemerik, C. & Zwaan, G., 2005, Proceedings Tenth Prague Stringology Conference (PSC'05, Prague, Czech Republic, August 29-31, 2005). Holub, J. & Simánek, M. (eds.). Prague, Czech Republic: Czech Technical University in Prague, p. 215-229

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1992

Het ontwerp van een universitair informatica-curiculum

Kaldewaij, A. & Hemerik, C., 1992, Congresbundel Nederlands Informatica Onderwijs Congres (NIOC'90). Mulder, F. (ed.). Deventer: Kluwer Bedrijfswetenschappen, p. 383-411

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

1990

Types in lambda calculi and programming languages

Barendregt, H. P. & Hemerik, C., 1990, Proceedings 3rd European Symposium on Programming (ESOP'90, Copenhagen, Denmark, May 15-18, 1990). Jones, N. D. (ed.). Berlin: Springer, p. 1-35 (Lecture Notes in Computer Science; vol. 432)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1989

The construction of a CPO model for second order lambda calculus with recursion

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Computing Science in the Netherlands (CSN'89, Utrecht, The Netherlands, November 9-10, 1989). Amsterdam: Centrum voor Wiskunde en Informatica, p. 131-148

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review