• 23 Citations
1980 …2011

Research output per year

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

Fingerprint Dive into the research topics where C. (Kees) Hemerik is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Research Output

Component-based development of software language engineering tools

Ssanyu, J. & Hemerik, C., 2011, In : International Journal of Computing & ICT Research. 5, special issue, p. 7-16

Research output: Contribution to journalArticleAcademicpeer-review

  • 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

  • 2 Citations (Scopus)
    1 Downloads (Pure)

    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
  • 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

  • 4 Citations (Scopus)

    FoolProof : a component toolkit for abstract syntax with variable bindings

    Hemerik, C., 2008, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computer science reports; vol. 0816)

    Research output: Book/ReportReportAcademic

    Open Access
    File

    Student theses

    $\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

    Author: van Dommelen, R., 31 Aug 1992

    Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

    Student thesis: Master

    Acceptor algoritmen voor reguliere talen

    Author: Geelen, J., 31 Jan 1988

    Supervisor: Hemerik, C. (Supervisor 1)

    Student thesis: Master

    A graphical user interface for the proof assistant yarrow

    Author: Raijmakers, E., 31 Aug 1999

    Supervisor: Hemerik, C. (Supervisor 1) & Zwanenburg, J. (External person) (Supervisor 2)

    Student thesis: Master

    A hierarchy of general parser algorithms

    Author: de Visser, P., 31 Oct 1989

    Supervisor: Hemerik, C. (Supervisor 1) & Zwaan, G. (Supervisor 2)

    Student thesis: Master

    Algebraische beschrijving en implementatie van een circuit-compiler

    Author: Peeters, E., 31 Aug 1990

    Supervisor: Hemerik, C. (Supervisor 1) & Mak, R. (Supervisor 2)

    Student thesis: Master