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

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

  • 1 Similar Profiles
Taxonomies Engineering & Materials Science
Trees (mathematics) Engineering & Materials Science
Context free grammars Engineering & Materials Science
Pattern matching Engineering & Materials Science

Research Output 1980 2012

Performance, distribution, and development of Ericsson composition engine

Zhang, X. & Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST), 2012, Eindhoven: Technische Universiteit Eindhoven.

Research output: ThesisPd Eng ThesisAcademic

Engines
Chemical analysis
Scalability
Program processors
Communication

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

Software engineering
Processing
Chemical analysis
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

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

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